UBOM:一个基于UML的本体建模工具

企业应用集成和跨企业的应用集成是当前企业信息系统面临的主要挑战,不同应用或系统之间的数据、信息、知识的交换和共享成为研究的焦点.作为概念的规范,本体为领域内人员之间、应用系统之间的通信、信息交换和知识共享提供了一个公共语义平台,是信息集成、应用集成的重要使能技术.DAML+OIL、OWL等基于XML面向WEB的本体描述语言得到了广泛重视,但却存在由于缺乏标准的元建模体系结构而导致语义不清晰等问题,也缺乏必要的可视化建模标准.另一方面,相对成熟的统一建模语言(UML)有明确的模型层次,清晰的语义,已经在软件工程、业务建模等领域得到了广泛使用.本文针对OWL存在的问题,以UML为基础,开发了一个本体建模元模型以及模型元素的可视化表示法,并在开放源代码项目ArgoUML的基础上,实现了一个支持DAML+OIL和OWL的本体建模工具UBOM,支持软件开发人员基于UML开发自有本体库,实现语义使能的应用集成.     

基于MDA的UML类模型转换XML Schema的方法

本文给出了统一建模语言(UML)类模型和XML Schema的转换方法,为模型驱动体系结构(MDA)的实现提供了基础.UML被MDA用来描述各种模型,成为建模语言事实上的标准;XML 以其结构性、标签性、可扩展性和可移植性成为数据交换方面的标准技术,广泛地应用于计算机软件.对用于实现MDA的UML类模型和XSD的转换进行了研究:分析了UML类图的关联、继承、组合和聚合关系,实现UML类模型和XML Schema的转换,最终生成XML文档.     

一个基于UML协作图的集成测试用例生成方法

UML协作图描述了系统的一个协作过程中参与对象之间的结构关系和交互行为,确认它们是否被正确实现是集成测试的工作.本文提出了一个基于UML协作图生成集成测试用例的方法,将表示设计的协作图作为测试模型,首先通过遍历每条消息的直接后继识别协作图中的表示用例实现的所有可能的场景路径,然后在遍历每条场景路径的过程中获取相应协作执行的路径条件、参数变量和预期方法调用序列,最后使用范畴-划分方法确定场景路径上的输入、输出、环境条件的合理组合作为覆盖该场景路径的测试用例,用于测试一个协作场景路径上的交互行为.该方法,集成了白盒方法和黑盒方法,在覆盖所有的测试需求的前提下,生成的测试用例较少.     

基于UML的软件建模工具的研制

本文讨论了基于UML的软件建模工具的设计和实现技术.介绍了面向对象的软件建模工具所应支持的概念与模型,对工具的系统功能结构与设计进行了详细地阐述,并给出了一套具有通用性的具体实现方法.     

基于EMC和HA的UML Statecharts检测研究

后续软件的正确开发取决于UML软件体系模型是不是反映了用户的需求.UML Statecharts可以把一个系统的行为正确地完整地描述出来,还可以展现系统功能.所以UMLstatecharts是UML模型检测的重要的对象.可以把UML Statecharts转成层次自动机HA[1],那么就可以让UML Statecharts没那么复杂,结构变得简单很多.之所以要在EMC[4]的基础上建立模型检测方法,是因为UML statecharts它有时序性.这种检测方法就是在对HA[1]描述的时候要使用Kripke[1]结构,对系统的性质进行描述时用时态逻辑,并标记状态.要判断出每一个状态能不能和相应的性质相匹配,对那些不符合的要给出不符合的状态序列,然后再次基础上优化.     

基于UML的嵌入式实时系统开发方法

嵌入式实时系统的严格约束条件增加了开发的复杂和困难.本文以空调系统为例,阐述了UML建模的基本过程,创建了各种可视化模型并进行了调试验证,大大缩短了系统开发时间,提高了设计质量,充分验证了使用UML技术在嵌入式实时系统开发中的可能和便利.     

云际分布记账模型、机理与关键技术展望

云际计算是支持公有云、私有云、边缘云和微云等异源异质云服务以自主对等方式纵横协作共赢的新型计算模式,可为独立云服务实体间行为交互、信任构建和贡献度量等提供防篡改、可追溯能力支持,进而最大限度削弱阻碍不同利益攸关者协作的不确定性因素.提升云际协作意愿和效率需要基于何种机理进行何种机制创新,是云际计算成长演化中需要进一步阐述的新问题.本文首先以基于“数字空间证据”构建或增强信任关系为设计原则,提出了基于区块链的云际分布记账软件定义模型,并系统阐述了分布记账支撑云际服务独立性、可审计性以及释放云际协作潜能的内在机理;其次,面向云际复杂交互行为,深化并固化了云际分布记账运行逻辑流程及关键环节的设计,避免其在错综复杂要素综合作用下呈现不确定冲突和矛盾;再次,针对数据要素流通及复杂异步交互场景,细化并优化了云际分布记账合约逻辑模型;最后,论述了以分布共识、智能合约等为代表的云际分布记账核心技术及相应指标的现状,并对关键技术的目标属性体系、前瞻性挑战等进行了展望.     

基于SQA多协同系统下OSS运营支撑系统迭代开发的研究

本文从信息化建设及迭代开发的角度,针对运营支撑系统管理普遍存在的技术标准更新快、行业整体协同能力差、缺乏规范标准等状况,基于SQA (Software Quality Assurance)软件质量保证的理念,遵循PDCA循环、CMMI能力成熟度模型集成以及提出用流程分析方法设立关键控制点,形成绩效指标库,进行持续质量管控.本文的主要贡献是通过一个实例研究了质量管理在OSS(Operation Support System)运营支撑系统的作用,研究成果为运营支撑系统生命周期模型、过程模型、数据规范与接口、问题处理方法和具体实践提供了一个可行性的总体框架,为跨域的客户受理、开通、保障和服务能力提供有力的数据支撑,并为提升IT架构的复用率,建立标准化技术体系提供了重要的参考作用.     

一种改进的分布式Web服务注册管理模型研究

目前比较流行的Web服务注册管理模型UDDI存在实际使用情况较差的问题.主要原因在于:集中式的管理导致其随着服务数量的增加变得较难管理和维护;另一方面,目前UDDI只能提供基于关键字的目录查找,造成了服务查找有效性较差的问题.文中提出了一种改进的分布式服务注册管理模型(pUDDI),利用分布式结构和Web服务池机制减轻Web服务注册中心的负担和提高注册库中服务查找的有效性.     

UML到Verilog同态映射在SOC系统级建模上的应用

SOC设计变得日益复杂要求我们在更高层次抽象上分析和验证系统行为。更精细的系统级建模方法变得日趋重要。文章主要目标是阐述怎样使用统一建模语言UML来构建一个复杂SOC设计框架及抽象其各个模块间行为的交互，建立了一个UML到Verilog的同态映射。提出了一个基于同态映射的从UML模型子集自动导出相应可综合Verilog描述的算法，为UML模型对于建模硬件系统提供了形式化的语义，从而能够验证并综合UML模型，加快了SOC设计流程。     

下一代网络通用业务管理模型研究

现有业务管理模型不能满足下一代网络业务管理快速发展的需求.本文提出了下一代网络通用业务管理模型-USMM,以NGN的业务管理特征为目标,屏蔽网络细节对业务管理进行建模.采用多级、多维的方法对下一代网络业务管理功能域进行划分,给出了包括业务管理流程、业务管理共享数据/信息、业务管理属性、业务管理角色关系在内的统一业务管理对象描述,作为元模型来指导下一代网络业务管理系统开发.通过与现有业务管理模型的比较,说明了USMM在现阶段针对下一代网络业务管理的价值.     

MDA-Based 3G Service Creation Approach and Telecom Service Domain Meta-Model

1Introduction OpenApplicationProgrammingInterface(API)technologies[1-2]areusedtoprovidetelecomnetwork capacitiesforthe3rdpartyserviceprovidersintheopen servicearchitectureof3G.AlthoughopenAPItech nologiesresolvethereusabilityofnetworkcapacities,thereusabi…     

服务契约在网格计算中的应用

从市场经济模式下的网格服务模型出发,研究满足基于市场需求的网格计算为目的,先后讨论了服务契约的三个内容,首先给出粒度的概念,其次描述服务粒度化的必要性,然后阐述了服务契约的产生,最后按照企业建议的内容提出一种格式化契约的形式。该服务契约适用于作为市场模式下网格计算的服务供需双方的电子交易凭证。     

基于.NET技术的合同管理系统的分析与设计

合同管理系统的设计采用了ASP．NET，ADO．NET和UML等技术开发，在Windows2003操作系统和SQL Server2000数据库系统的支持下运行。首先说明了开发合同管理系统的目的，分析并说明了系统的需求，然后应用面向对象模型技术UML对系统的各个子模块、系统流程、组件、类库、数据库和编码等部分进行了分析和设计。该合同管理系统能够实现数据的输入、删除、修改、查询和统计等基本功能，适用于中小型企业的合同管理。     

基于生命周期的通用业务管理信息建模的研究

业务管理信息模型的研究可以支持电信业务的统一规划和提供、保证业务供应链中功能模型的一致性以及正确地将管理需求映射到管理功能中.本文采用了ITU-T M.3020的建模方法,提出了一个基于业务生命周期的F接口通用业务管理信息模型,通过自顶向下的需求、分析和设计来定义业务生命周期片段中的管理对象.该模型可以作为元模型进行扩展,指导实际的业务管理系统的开发.     

Reliability and performance of tree-structured grid services

Grid computing is a new emerging technology aiming at large-scale resource sharing, and global-area collaboration. It is a next step in an evolution of parallel and distributed computing. Due to the large scale and complexity of the grid system, its performance and reliability are difficult to model, analyse, and evaluate. This paper presents a model that relaxes some assumptions unsuitable for grid computing systems that have been made in the existed works studying the distributed systems. The paper proposes a virtual tree model of the grid service. This model simplifies the physical structure of a grid service, allows service performance (execution time) to be estimated, and takes into account the common cause failures in communication channels. Based on the model, an algorithm for evaluating the grid service performance distribution and the service reliability indices is suggested. The algorithm is based on graph theory, and Bayesian analysis. Illustrative examples are presented in which the results of the suggested algorithm are compared with simulation results.     

基于UML的电子商务网上支付系统的分析设计

电子商务的发展方兴未艾,相关产业的营销目前正处在从传统型向电子商务转化阶段,转变过程中需要应用和集成最新的信息技术,以达到对网络信息资源最有效的利用和共享。统一建模语言UML是一种定义良好,易于表达,功能强大且适用广泛的建模语言。在利用UML建立电子商务系统模型和开发软件系统时,首要任务就是建立系统的业务模型。以网上支付系统为例详细论述了Use Case以及如何运用正确的Use Case建立系统业务模型的方法。     

基于元模型的视图层PIM建模方法

模型驱动架构的核心思想是将建模语言当作开发语言使用,基于UML的平台无关模型建模方法主要关注于系统的体系结构与业务逻辑设计,对视图层支持较差。研究基于元模型的视图层PIM建模方法,给出视图层PIM模型中界面逻辑模型和界面布局模型的表示法及语义内容;基于EMOF元模型对UML建模语言进行扩展;使其对上述两种模型提供语义上和表示法的支持,最后基于Eclipse GMF框架开发了视图层PIM辅助设计工具GMTP。     

基于UML和CORBA的分布式应用系统设计

从分布式应用系统建模的角度出发。对UML（统一建模语言）组件图、分布图的设计及对象分布粒度的选择问题进行了分析。从分布式应用系统实现的角度出发，介绍了CORBA（通用对象请求代理体系）技术的应用过程。通过UML到IDL的转换过程实现UML和CORBA技术的结合，达到设计出可扩展性强的高质量分布式应用系统的实用目的。