基于对象着色Petri网的UML模型研究

• 作者: 张桂戌 王红英
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: UML 对象着色Petri网 软件建模
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 182-185,188
• 页数: 5页
• 分类号: TP3
• 字数: 4695字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2007.04.050

摘要

UML广泛应用于软件建模,但缺乏有效的模型检测的方法,使用形式化方法对UML模型进行分析,可以发现UML模型的设计问题,提高UML模型的质量.对象着色Petri网是一种拥有接口库所的模块化着色Petri网,既是一种图形化建模工具,又是具有严格的语法语义定义的形式化方法.通过引入事件托肯,改进了将UML模型转换为对象着包Petri网的方法,结合实例将UML状态图和协作图映射为对象着色Petri网模型.并用着色Petri网的方法和工具对模型进行了分析,验证了模型的一系列性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张桂戌	华东师范大学计算机科学与技术系	21	148	6.0	11.0
2	王红英	华东师范大学计算机科学与技术系	1	9	1.0	1.0