面向对象的本体建模研究

UML语言是面向对象建模领域公认的工业标准,而本体建模是近来迅速发展的语义网中主要建模技术,UML在本体建模领域中的应用的可行性和具体方式一直是关注的焦点。该文对面向对象建模与本体建模之间的关系进行分析,基于UML本体承诺的概念,阐述了用UML对本体进行建模的本体对象建模的可行性,提出一种规范本体对象建模的UML元模型扩展方法,为UML直接对本体建模提供了理论依据。     

基于UML-OCPN的嵌入式系统建模

针对统一建模语言（UML）缺乏精确的形式化的语义描述而不能对其所建模型进行分析和验证的难题,提出一种改进的建模方法——UML-OCPN方法。该方法结合UML和对象着色Petri网（OCPN）的优点,使用UML进行建模,将其转换为Petri网模型再进行模型验证。实验结果证明,该方法能较好地解决单一使用UML或Petri网建模时出现的无法进行验证、需要开发人员具备较高数学水平等问题。     

面向软件模糊自适应的UML用例扩展

现有统一建模语言(UML)设施及一般软件自适应工具难以直接支持软件模糊自适应(SFSA)需求分析与设计阶段的建模,为此,提出一种基于UML用例扩展的SFSA需求分析与设计方法--Fuzzy Case。该方法结合SFSA的概念模型,应用UML扩展机制引入新的构造型和标记值,建立了Fuzzy Case的一般模型;同时定义了Fuzzy Case的语法结构,并用对象约束语言(OCL)定义了其语义描述,形成了完整的SFSA建模设施。实例验证表明,与传统方法相比,Fuzzy Case能更清晰地表达SFSA的结构,准确定义软件的内部语义,建模过程更加简单方便,能有效提高SFSA的开发效率。     

基于UML的嵌入式建模方法改进策略研究

统一建模语言UML(unified modeling language)在嵌入式系统设计建模中已经获得了广泛的承认,有很多成功的应用.但UML在嵌入式建模中存在时间约束描述能力不强和所建模型形式化复杂、验证难及模型重用性不高等问题.针对这些问题提出了一种改进策略:定义实时语义和映射规则,建立实时描述模式模板,使用模板中实时描述模式描述时间约束信息.改进后的方法能可视化地分析模型、纠正错误和简单地进行形式化转换,能利用支撑工具对模型进行验证,较好地解决了UML在嵌入式系统建模中存在的问题.     

基于SaaS的ERP云服务平台UML profile建模与描述

针对当前商业环境中传统企业资源计划（ERP）系统的低开放性、低拓展性和高成本等问题,提出了一种基于软件即服务（SaaS）模式的ERP系统建模方法。首先,利用UML的拓展机制,对原语扩充,得到新的原语集UML profile;其次,建立等效元模型,通过对象约束语言（OCL）保证语义的无二义性;最后,通过应用图、操作字典、物理图和拓扑图组成的模型框架对云ERP系统进行描述,实现云ERP系统的文档化。该方法专注于模块化设计,所有阶段均采用统一的可视化元模型。根据建模需求,在企业架构（EA）平台上采用所提方法成功建立了基于SaaS的云ERP模型,验证了所提建模方法的有效性。理论分析及建模结果表明,该方法确保了模型间的互操作性和一致性,提高了ERP系统的可成长性。     

UML模型形式化B方法转换的实现

UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。     

基于UML的企业动态建模的研究与实现

介绍了扩充UML元模型的方法定义企业建模的方法,针对企业模型的设计模式,采用UML的类图进行可参数化的描述。提出了ERP领域的基于文本的形式化对象约束语言,实现了相应的应用软件框架。     

语义特征造型中对象族模型研究

提出了一种新的对象族模型,即陈述式对象族模型。定义了陈述式对象族模型,给出了模型的几何结构和拓扑结构,通过约束详细说明了特征的语义,以约束图的形式给出了该模型中特征的表示,给出了模型的语法描述。通过实例验证了模型的有效性,克服了传统的基于历程建模的不足,提高了CAD建模设计效率,降低了设计成本。     

实时系统动态行为模型的一种形式分析方法*

提出了一种基于统一建模语言UML 2.0的实时系统动态行为模型的形式分析方法。首先给出了UML顺序图的形式化描述,分析了UML顺序图中事件之间的关系;在此基础上,给出一种对象自动机来描述每个对象在UML顺序图描述的场景中所参与的事件序列的方法,并将该方法扩展到带有组合片段的UML 2.0顺序图;最后通过分析UML 2.0顺序图中的时间建模机制,给出了从UML 2.0顺序图中提取时间约束得到时间自动机的算法。     

基于UML类图模型的一致性检查方法

UML中的类图采用直观的图形化表示方法,有效描述了待建系统的静态特征,为系统设计人员发现系统模型中存在的不一致性和冗余等问题,提供了有效的分析工具。但是对于复杂的系统,完全依靠系统分析人员发现模型中存在的不一致性和冗余等问题是不现实的,应当为建模工具赋以模型自动一致性检查功能。SHOIQ(D)是描述逻辑家族中可判定的子集,它在保证推理可判定的同时,具备较强的描述知识能力。鉴于上述特点,通过从UML类图图元中抽取语义,用SHOIQ(D)形式化描述类图图元,借助自动推理引擎,从而使基于UML类图模型的自动一致性检查功能得到实现。根据该方法改进后的建模工具,可以自动发现基于UML类图模型中存在的不一致性和冗余等问题。