首页> 中文期刊> 《现代图书情报技术》 >着色Petri网在UML建模中的应用

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《现代图书情报技术》 |2004年第2期|37-41|共5页
作者
朱筱筱; 董路明;
展开▼
作者单位

中国科技大学计算机科学与技术系;

合肥;

230027;

中兴通信南京研究所;

南京;

210012;

展开▼
原文格式 PDF
正文语种 chi
中图分类系统模型、系统建模;
关键词
软件工程建模着色Petri网面向对象技术统一建模语言对象Petri网模型;

相似文献

中文文献
外文文献
专利

1. 着色Petri网在核心银行业务系统转型升级项目风险管理中的应用研究 [J] . 丁冰冰 ,刘永健 ,于振 . 无线互联科技 . 2017,第005期
2. 随机着色Petri网在图书馆文献检索系统中的应用 [J] . 邓娉 . 图书馆理论与实践 . 2010,第011期
3. 着色Petri网模型检测工具的扩展及其在Web服务组合中的应用 [J] . 门鹏 ,段振华 . 计算机研究与发展 . 2009,第008期
4. 着色Petri网在科技计划项目管理系统建模中的应用 [J] . 张方田 ,王开义 ,隋静 . 计算机应用 . 2009,第0z2期
5. 着色Petri网在科技计划项目管理系统建模中的应用 [J] . 张方田 ,王开义 ,隋静 . 计算机应用 . 2009,第B12期
6. UML建模方法在气象业务系统开发中的应用 [C] . 庞芳 ,李菁 ,罗建英 . 第33届中国气象学会年会 . 2016
7. UML建模技术在学生管理系统中的应用 [A] . 陶婷 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号