着色Petri网在UML建模中的应用

doi:10.11925/infotech.1003-3513.2004.02.10

现代图书情报技术

2004, Vol. 20

Issue (2): 37-41 https://doi.org/10.11925/infotech.1003-3513.2004.02.10

图书馆自动化

本期目录 | 过刊浏览 | 高级检索

着色Petri网在UML建模中的应用

朱筱筱¹ 董路明²

¹(中国科技大学计算机科学与技术系合肥230027)
²(中兴通信南京研究所南京 210012)

Colored Petri Net Based Method for the Validation of UML Pattern

Zhu Xiaoxiao¹Dong Luming²

¹(University of Science and Technology of China,Hefei 230027,China)
²(Nanjing Research and Development Centre,Zhongxing Telecom Equipment Corp.,Nanjing 210012,China)

摘要
参考文献
相关文章
Metrics

全文:
输出: BibTeX | EndNote (RIS)

摘要

介绍了一种用着色Petri网分析和验证UML模型的方法。该方法把面向对象技术和Petri网理论相结合，构成一种面向对象的着色Petri网模型，简称OPM；并给出了它和UML模型之间相互转换的方法，使得验证分析复杂信息系统的动态行为特征成为可能，是一种具有数学和图形方式相结合的形式化描述。

	服务

	把本文推荐给朋友
	加入引用管理器
	E-mail Alert
	RSS
	作者相关文章

关键词 ：软件工程, 建模, 着色Petri网, 面向对象技术, 统一建模语言, 对象Petri网模型

Abstract：

An approach for validation of UML based system modeling by CPN(Colored Petri Net) is described. The Object Oriented Petri net is constructed by combining objectoriented techniques with Petri net theory. In this article,the author also bring out a set of methods on how to mapping UML diagram to ObjectOriented CPN.The modeling of the OO Petri net not only can reduce the complexity of the model, but also make the modeled system with reusability and easy maintainability.

Key words： Software engineering Model building Colored Petri nets(CPN) Objectoriented techniques Unified modeling language Object Petri net Model(OPM)

收稿日期: 2003-08-02 出版日期: 2004-01-06

N945.12

通讯作者: 朱筱筱 E-mail: xiao xiaozhu-818@hotmal.com

作者简介: 朱筱筱,董路明

引用本文:

朱筱筱,董路明. 着色Petri网在UML建模中的应用[J]. 现代图书情报技术, 2004, 20(2): 37-41.
Zhu Xiaoxiao,Dong Luming. Colored Petri Net Based Method for the Validation of UML Pattern. New Technology of Library and Information Service, 2004, 20(2): 37-41.

链接本文:

https://manu44.magtech.com.cn/Jwk_infotech_wk3/CN/10.11925/infotech.1003-3513.2004.02.10 或 https://manu44.magtech.com.cn/Jwk_infotech_wk3/CN/Y2004/V20/I2/37

１蔡希尧,陈平.面向对象技术.西安：西安电子科技大学出版社，1995
２Lee Y K,Park S J.OPNets:an objectoriented highlevel Petri net model for realtime system modeling.J Systems Software,1993,20(1):69～86
３Kurt Jensen , Colored Petri nets,SpringVerlag,Berlin 1992
４Wendy Boggs, Michale Boggs,邱仲潘等译．UML with Rational Rose从入门到精通，电子工业出版社， 2000

[1]	余本功,曹雨蒙,陈杨楠,杨颖. 基于nLD-SVM-RF的短文本分类研究*[J]. 数据分析与知识发现, 2020, 4(1): 111-120.
[2]	聂卉. 结合词向量和词图算法的用户兴趣建模研究 ^*[J]. 数据分析与知识发现, 2019, 3(12): 30-40.
[3]	庞贝贝, 苟娟琼, 穆文歆. 面向高校学生深度辅导领域的主题建模和主题上下位关系识别研究^*[J]. 数据分析与知识发现, 2018, 2(6): 92-101.
[4]	丁晟春, 刘梦露, 傅柱. 概念设计中基于知识流的多维设计知识统一建模技术研究^*[J]. 数据分析与知识发现, 2018, 2(2): 11-19.
[5]	傅柱, 姜宇星, 王曰芬. 面向动态知识管理及重用的概念设计过程知识语义建模技术研究^*[J]. 数据分析与知识发现, 2018, 2(2): 20-28.
[6]	曾金, 陆伟, 丁恒, 陈海华. 基于图像语义的用户兴趣建模^*[J]. 数据分析与知识发现, 2017, 1(4): 76-83.
[7]	汪强兵, 章成志. 融合内容与用户手势行为的用户画像构建系统设计与实现^*[J]. 数据分析与知识发现, 2017, 1(2): 80-86.
[8]	江思伟, 谢振平, 陈梅婕, 蔡明. 混合特征数据的自解释归约建模方法^*[J]. 数据分析与知识发现, 2017, 1(12): 92-100.
[9]	朱玲,薛春香,章成志,傅柱. 微博用户标签与博文内容相关度研究^*[J]. 现代图书情报技术, 2016, 32(3): 18-24.
[10]	吴鹏, 杨爽, 张晶晶, 高庆宁. 突发事件网络舆情中网民群体行为演化的Agent建模与仿真研究[J]. 现代图书情报技术, 2015, 31(7-8): 65-72.
[11]	王小立. 智能多Agent网络的微信信息传播仿真研究[J]. 现代图书情报技术, 2015, 31(6): 85-92.
[12]	颜时彦, 王胜清, 罗云川, 黄浩军. 云环境下基于FCA的领域本体协作构建模式初探[J]. 现代图书情报技术, 2014, 30(3): 49-56.
[13]	郑炜, 梁战平, 梁建. 面向用户意图的智能搜索引擎框架研究[J]. 现代图书情报技术, 2014, 30(3): 65-72.
[14]	胡吉明, 肖璐. 向量空间模型文本建模的语义增量化改进研究[J]. 现代图书情报技术, 2014, 30(10): 49-55.
[15]	牛亚真, 祝忠明. 个性化服务中跨系统用户建模方法研究综述[J]. 现代图书情报技术, 2012, 28(5): 1-6.

Viewed

Full text

Abstract

Cited

Shared

Discussed