[1]王红英 张桂戌.基于对象着色Petri网的UML模型研究[J].计算机技术与发展,2007,(04):182-185.
　WANG Hong-ying,ZHANG Gui-xu.Research on UML Model Based on Object Colored Petri Net[J].,2007,(04):182-185.
点击复制

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

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2007年04期
页码:
182-185
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Research on UML Model Based on Object Colored Petri Net
文章编号:
1673-629X（2007）04-0182-04
作者:
王红英 张桂戌
华东师范大学计算机科学与技术系
Author(s):
WANG Hong-ying;  ZHANG Gui-xu
Department of Computer Science and Technology, East China Normal University
关键词:
UML; 对象着色; Petri网; 软件建模
Keywords:
UML; object colored Petri net; software modeling
分类号:
TP311.5
文献标志码:
A
摘要:
UML广泛应用于软件建模，但缺乏有效的模型检测的方法，使用形式化方法对UML模型进行分析，可以发现UML模型的设计问题，提高UML模型的质量。对象着色Petri网是一种拥有接口库所的模块化着色Petri网，既是一种图形化建模工具，又是具有严格的语法语义定义的形式化方法。通过引入事件托肯，改进了将UML模型转换为对象着色Petri网的方法，结合实例将UML状态图和协作图映射为对象着色Petri网模型。并用着色Petri网的方法和工具对模型讲行了分析．验证了模型的一系列性质
Abstract:
UML is widdy used in software modeling which has a problem on model checking. By using formal method m analyze and check UML rnodds, the design problems can be found in early phase so as to improve the quality of UML models. To solve the problems of rnodd checking of UML models,introduees a high-level Petri net called object colored Petri net which is not only a graphical mcdding tool but also a kind of formal method. And by invoking event token, a method of transforming UML rnodd to object colored Petri net is improved when mapping UML statechart diagrams and collaboration diagrams to object colored Petri net. Then analysis and verification of the model are illustrated to verify a series of properties

相似文献/References:

[1]余华平.基于UML的高校学生资助工作管理系统设计[J].计算机技术与发展,2010,(05):179.
　YU Hua-ping.Design of University Student Subsidized Work Management System Based on UML[J].,2010,(04):179.
[2]赵准 张立臣.基于面向方面的网格QoS建模方法[J].计算机技术与发展,2010,(06):63.
　ZHAO Zhun,ZHANG Li-chen.Grid QoS Modeling Method Based on Aspect-Oriented[J].,2010,(04):63.
[3]蓝天 张学军 郑丽英.基于面向对象的汽车防撞控制系统的设计[J].计算机技术与发展,2010,(06):237.
　LAN Tian,ZHANG Xue-jun,ZHENG Li-ying.Design of Vehicle Crash-Avoiding Controlling System Based on Oriented-Object[J].,2010,(04):237.
[4]汪贵生 夏阳.基于UML的MIS研究与设计[J].计算机技术与发展,2009,(04):69.
　WANG Gui-sheng,XIA Yang.Research and Design of MIS Based on UML[J].,2009,(04):69.
[5]柴明辉 严洪森 齐培娣.基于B／S的物料管理信息系统的设计与实现[J].计算机技术与发展,2008,(01):52.
　CHAI Ming-hui,YAN Hong-sen,QI Pei-di.Design and Implementation of Material Management Information System Based on B/S[J].,2008,(04):52.
[6]张海涛 龚龙庆.基于UML的SoC建模设计方法研究[J].计算机技术与发展,2008,(03):145.
　ZHANG Hai-tao,GONG Long-qing.Research of SoC Modeling Design Method Based on UML[J].,2008,(04):145.
[7]赵若曼 张川.基于UML的网上作业系统研究与实现[J].计算机技术与发展,2008,(03):225.
　ZHAO Ruo-man,ZHANG Chuan.Research and Implementation of Web - Based Exercise System Based on UML[J].,2008,(04):225.
[8]张凌晓 刘克成.基于UML的全程办税系统的建模与实现[J].计算机技术与发展,2008,(10):210.
　ZHANG Ling-xiao,LIU Ke-cheng.Modeling and Implementation of Whole Process Tax System Based on UML[J].,2008,(04):210.
[9]张术梅 孙辉.基于UML的面向对象软件静态测试方法的研究[J].计算机技术与发展,2007,(01):125.
　ZHANG Shu-mei,SUN Hui.Research on Method of Object - Oriented Software Static Testing Based on UML[J].,2007,(04):125.
[10]郁书好 苏守宝 刘仁金.UML和OWL在本体建模中的比较研究[J].计算机技术与发展,2007,(01):155.
　YU Shu-hao,SU Shou-bao,LIU Ren-jin.A Comparative Studies of UML and OWL in Ontology Modeling[J].,2007,(04):155.

备注/Memo

备注/Memo:
国家重点基础研究（973）计划（2005CB321904）;上海市教育委员会局管基金重点项目（04JG05063）王红英（1982～），女，四川蓬溪人，硕士研究生，研究方向为Petri网、模型验证；张桂戌，副教授，研究方向为软件设计方法学、Petri网理论与应用
更新日期/Last Update: 1900-01-01