UML Statecharts的模型检验方法

统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检验的方法.首先用扩展层次自动机结构化地表示UML Statecharts,然后给出其操作语义,通过寻找最大无冲突迁移集可以保证语义的正确性.对于具有无穷运行的系统,该操作语义可以映射到一个Büchi自动机.使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质,并给出方法验证由Statecharts和协同图建模的复杂多对象系统.  

统一建模语言UML及其建模实例

以统一建模语言（Unified Modeling Language,UML)的九种图为重点，简要介绍了UML的基本概念、历史、内容及其应用；并通过对一个超级市场销售管理系统的实际建模，简要演示了应用UML建模的思路。  

软件体系结构的描述方法研究

目前关于软件体系结构的描述已有许多工具支持，但各种工具不仅是领域相关的，而且描述方法也不尽统一，这使设计人员很难选择一种合适的工具，将体系结构的共同特征提取出来，秦为体系结构描述的核心模型，为各种工具提供了共同的基础－若要用某一种工具描述，只需增加与之相关的约束，另一方面将软件体系结构与当前主流的面向对象方法相结合，利用统一建模语言ＵＭＬ的扩充机制，从多个视图描述了软件体系结构，最后结合研究工作给  

基于UML的软件Markov链使用模型构造研究

软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unified modeling language,简称UML)已经成为事实上的面向对象标准建模语言,因此,从软件UML模型构造软件使用模型就成为面向对象软件统计测试的关键.为此,定义了加入统计测试约束的UML用例图、序列图以及用例执行顺序关系,为基于UML的软件统计测试提供了一个形式化描述基础.在此基础上,给出一个从软件UML模型构造软件Markov链使用模型的算法,并给出了自动化支持工具UMGen的类图结构,基于一个卫星控制系统,说明了所提出方法的有效性.  

UML实时活动图的形式化分析

统一建模语言(UML)自从成为OMG规范后，应用越来越广泛．但UML没有精确的、形式化的语义阻碍了它的进一步发展．该文基于Petri网，给出带时间约束的UML活动图的形式化描述．与Petri网不同的是，Petri网的时间约束是在跃迁(transition)上，而作者将UML活动图的时间约束放在活动状态上,在此基础上，用整型时间的验证技术对实时活动图的时间性质加以分析，为实时系统的建模打下了基础.  

UML活动图在工作流过程建模中的应用研究

UML(Unified Modeling Language)是一种定义良好、易于表达、功能强大且普遍适用的建模语言，其引入活动图的目的之一就是用于企业建模或描述工作流。根据具体应用需要，对活动图的子过程活动、逻辑连接符、控制流边等进行了扩展，给出了扩展后UML活动图的数学模型。  

UML Statechart图的操作语义

面向对象标准建模语言UML(unified modeling language)缺乏精确的动态语义.根据UML1.1语义文档,提出描述对象状态机的UML Statechart图的形式化操作语义.该语义覆盖了UML Statechart图的绝大部分特征,为UML Statechart图的代码产生、模拟和测试用例生成奠定了基础.根据上述语义,基于Rose98完成了UML Statechart图的测试用例生成和测试过程的模拟.  

运用UML和Rational Rose进行J2EE应用开发

J2EE已经成为一种日渐热门的企业级应用程序开发平台，如何利用J2EE平台尽可能快速，有效地开发和部署应用系统有着其内在的复杂性，介绍了如何运用UML和Rational Rose强大的可视化建模工具来协助开发基于J2EE的应用系统的方法，并给出了一个基于Web的虚拟企业伙伴选择系统的应用例子。  

元建模技术研究进展

随着UML(unified modeling language)与MDA(model driven architecture)的兴起和流行,模型已经成为软件开发的核心制品,而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素.软件开发往往涉及多个领域,而不同的领域往往需要不同的建模语言及其建模工具.但是,手工地为不同的建模语言开发建模工具代价高昂.元建模技术是解决这个问题的方法之一,通过元建模,可以根据领域需要定制合适的元模型以定义领域建模语言,进而自动生成支持该建模语言的建模工具.大量的工程实践表明,与领域建模以及MDA相结合,元建模可以大幅度地提高软件开发效率,基于元建模的MDA比基于通用建模语言的MDA更具潜力.在最近的几年中,元建模及其相关技术发展迅猛,不但在技术上取得了长足的进步,而且在产业界也开始出现大规模的商业应用.总结了元建模的现有研究成果,分析和比较了现有元建模工具,探讨了元建模的可能发展方向.对元建模中存在的问题进行分析,并指出了可能的解决途径.  

正交软件体系结构的设计与进化

论述了正交软件体系结构的基本思想和结构框架．研究了正交软件体系结构的设计与进化过程．并将该过程运用到劳动和社会保险管理信息系统的设计、实现和进化中．实践证明，正交软件体系结构具有结构清晰、易于理解、易修改、可维护性强、可移植性强、重用粒度大等优点．