张晓蒙
- 作品数：3 被引量：2H指数：1
- 供职机构：苏州大学计算机科学与技术学院更多>>
- 发文基金：重庆市自然科学基金江苏省高校自然科学研究项目重庆市教育委员会科学技术研究项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于rCOS的UML状态图语义研究被引量：1
- 2009年
- 统一建模语言(UML)中的状态图用于描述类的对象所有可能的状态及事件发生时状态的转移条件,从而进行系统动态分析。针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态图的形式化语义,给出与类图、序列图的一致性检验,为模型驱动开发提供了可行性。
- 张晓蒙戎玫张广泉
- 关键词：统一建模语言状态图
- 基于指称语义和rCOS的UML模型语义研究
- 统一建模语言UML是一种功能强大并且普遍适用的建模语言，目前己广泛应用于软件密集型系统的建模过程中。然而，UML是半形式化的---它的语法结构采用了形式化的规约，但是它的语义部分则是用自然语言描述的，对模型难以进行语义分...
- 张晓蒙
- 关键词：统一建模语言语义模型状态图
- 文献传递
- MDA开发中的模型一致性检验被引量：1
- 2007年
- 为了实现不同中间件平台之间的集成和互操作,OMG提出了一个标准的基于模型的体系结构——MDA,该结构将应用模型分为平台无关模型(PIM)和平台相关模型(PSM),通过融合UML用例图、类图、序列图,得到了需求模型和设计模型,给出了类图和序列图的形式化语义,以及模型间的协调性条件,并在此基础上进行一致性检测,为模型驱动的开发提供了基础.
- 张晓蒙张广泉戎玫
- 关键词：MDA
