浙江省教育厅科研计划(20060621)
- 作品数：4 被引量：16H指数：3
- 相关作者：魏仰苏蒋国明宋瑾钰吴柏青高会聪更多>>
- 相关机构：浙江理工大学浙江水利水电学院燕山大学更多>>
- 发文基金：浙江省教育厅科研计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于UML状态图的模型信息自动提取技术研究被引量：6
- 2007年
- UML是OMG用于软件系统的可视化、详述、构造和文档化的统一建模语言,状态图是UML模型的重要组成部分,用于描述系统的动态行为。在研究Rational Rose及其状态图文档的基础上,提出了通过UML状态图自动提取模型信息的两种方法—基于LALR(1)文法和基于Rose的扩展接口的提取方法,并对两种方法进行了比较分析。自动提取模型信息技术提高了协议测试序列的自动生成效率。
- 宋瑾钰魏仰苏
- 关键词：UML状态图
- 将UML模型转换成SDL模型的方法被引量：2
- 2007年
- 提出了一种将UML模型转换成SDL模型的方法。UML是一种优秀的建模语言,使用UML可以为协议建立模型带来很多方便。但是,UML缺乏形式化语义,因此不能满足协议精确性的要求。SDL是一种用于通信软件规格的标准语言,它拥有形式化语义,而且有很多商业软件都支持它。在协议设计和开发中,将UML模型转换成SDL模型可以克服这样的缺点。通过为UML制作适当的profile,并制定严格的转换规则可以实现模型的转换。
- 吴柏青魏仰苏蒋国明
- 关键词：统一建模语言形式化语义
- 基于COM原理的UML模型信息提取技术被引量：5
- 2007年
- 提出了一种提取UML模型信息的方法。UML是一种优秀的建模语言,使用UML可以为软件模型的建立带来很多方便。同时,为了验证模型的一致性,有必要将模型信息提取出来,通过一些成熟的算法进行测试。因此,研究如何从UML图中提取相应的模型信息有其现实意义。利用Rose提供的基于COM技术的REI,实现了从UML文档中自动提取用于软件测试的模型信息。
- 吴柏青魏仰苏蒋国明
- 关键词：统一建模语言状态图软件测试组件对象模型
- 基于UML扩展机制的MDA协议建模语言研究被引量：4
- 2009年
- 由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使用该语言描述通信协议,填补UML这方面的缺陷。
- 宋瑾钰蒋国明高会聪
- 关键词：形式化语义UML扩展机制模型驱动构架
