国家高技术研究发展计划(2001AA113203)
- 作品数：4 被引量：41H指数：3
- 相关作者：李宣东郑国梁史耀馨崔萌裴玉更多>>
- 相关机构：南京大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于MDA的UML模型转换技术——从顺序图到状态图被引量：23
- 2004年
- 为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构:MDA。MDA将应用模型划分成与平台无关的模型(PIM)和与平台有关的模型(PSM),并定义了PIM和PSM之间的4种映射关系。该文主要对PIM到PIM之间的映射进行了研究。该映射实质上是PIM模型的精化,其主要方面是分析模型和设计模型之间的转换。MDA使用UML来描述各种模型。UML是一种可视化的通用的面向对象的建模语言。UML顺序图主要用于需求分析,而状态图在系统设计阶段起重要作用。该文介绍了一种从UML顺序图中合成状态图的方法,合成的过程基本上是自动完成的,只需要很少的用户交互,从而为PIM模型的精化提供有力的支持。
- 史耀馨崔萌李宣东郑国梁
- 关键词：MDAUML顺序图状态图自动软件工程
- LDPChecker——一个实时和混成系统模型检验工具被引量：3
- 2005年
- 混成系统是一类复杂系统,线性混成系统作为其重要子类,在形式方法中,人们通常使用线性混成自动机来对它建模.虽然线性混成自动机的模型检验问题总的来说还是不可判定的,但对于其中的正环闭合自动机,其对于线性时段性质的满足性能够通过线性规划方法加以检验.为了实现自动检验正环闭合自动机对线性时段性质的满足性,设计并实现了工具LDPChecker.工具LDPChecker能够识别正环闭合自动机并对其进行相应的检验,其主要特色在于它能够对实时和混成系统检验包含可达性在内的许多实时性质,并且能够自动给出诊断信息.
- 裴玉李宣东郑国梁
- 基于J2EE平台的MDA模型转换技术被引量：8
- 2003年
- 1.引言
1.1 UML
UML[1](Unified Modeling Language)是一种可视化的通用面向对象建模语言.它被用于描述和构建复杂的软件系统.面向对象建模语言产生于20世纪70年代中期,此后曾出现过数十种不同的建模语言.
- 史耀馨崔萌李宣东郑国梁
- 关键词：UML语言面向对象建模语言MDA模型J2EE平台
- UML模型到COOZ规约的形式化转换被引量：7
- 2003年
- 为UML建模元素提供坚实的形式化语义基础是目前的研究热点之一,在这方面也有了不少探索。文章在过去的研究的基础上,给出了UML模型到COOZ规约的一种系统的转化方法。将UML模型转换到COOZ规约后,UML模型的推理验证就可以通过相应COOZ规约的推理验证实现。该方法不但为UML提供了精确的形式化语义基础,而且,提供了一种UML模型推理的合理的机制。
- 黄春荣李宣东郑国梁
- 关键词：统一建模语言UMLCOOZ
