| 基于对象着色Petri网的UML模型研究 |
| |
| 引用本文： | 王红英,张桂戌.基于对象着色Petri网的UML模型研究[J].计算机技术与发展,2007,17(4):182-186. |
| |
| 作者姓名： | 王红英 张桂戌 |
| |
| 作者单位： | 华东师范大学,计算机科学与技术系,上海,200062 |
| |
| 基金项目： | 国家重点基础研究发展计划(973计划);上海市教育委员会局管基金重点项目 |
| |
| 摘 要： | UML广泛应用于软件建模，但缺乏有效的模型检测的方法，使用形式化方法对UML模型进行分析，可以发现UML模型的设计问题，提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网，既是一种图形化建模工具，又是具有严格的语法语义定义的形式化方法。通过引入事件托肯，改进了将UML模型转换为对象着色Petri网的方法，结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型讲行了分析．验证了模型的一系列性质．
|
| 关 键 词： | 对象着色Petri网 软件建模 |
Research on UML Model Based on Object Colored Petri Net |
| |
| WANG Hong-ying,ZHANG Gui-xu.Research on UML Model Based on Object Colored Petri Net[J].Computer Technology and Development,2007,17(4):182-186. |
| |
| Authors: | WANG Hong-ying ZHANG Gui-xu |
| |
| Abstract: | |
| |
| Keywords: | UML |
| 本文献已被 维普 万方数据 等数据库收录！ |
