Petri网与函数的映射关系研究

下载PDF

导出

摘要本文讨论Petri网模型和函数之间的映射问题。用Petri网的运行等效完成程序的执行。为系统中每一个功能模块建立一个Petri网模型,对每个Petri网进行封装,组合所有的Petri网,完成系统的开发。最后,给出一个实例,验证了Petri网与函数之间的对应关系。

作者孙海霞孙海春

机构地区东营市技术学院山东科技大学

出处《中小企业管理与科技》 2010年第9期253-253,共1页 Management & Technology of SME

基金山东科技大学研究生创新基金等项目的资助

关键词 PETRI网函数软件开发体系可信性

参考文献4

1温衍博,吴泉源.MDA的代码生成技术在电子商务开发平台中的应用[J].计算机工程,2005,31(20):104-106. 被引量：7
2顾莹莹,高建华.从UML类图到关系数据库表的代码生成方法[J].计算机工程,2005,31(10):91-93. 被引量：4
3Lin C.Qu Y.Temporal inference of workflow systems based on time Petri nets:Quantitative and qualitative analysis[J].International Journal of Intelligent Systems. 2004.19.19 (5).417-442.
4Y.Y.Du,C.J.Jiang, M.C.Zhou.A Petri-net-based correctness anal ysis of Internet stock trading systems.lEEE TRANSACTIONS ON SY STEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND RE- VIEWS.38 (1).93-99 JAN 2008.

1Blaha M, Premerlani W. Object-oriented Design of Database Application. Rose Architect 1 ,2,1999
2BoochG RumbaughJ Jacobson 绍维思麻志毅张文娟译.UML用户指南[M].北京:机械工业出版社,2000-11..
3Stephens M. Automated Code Generation.http://www. softwarereality.com,2002-05
4Miliev D. Automatic Model Transformations Using Extended UML Object Diagrams in Modeling Environment. IEEE Trans. Software Eng., 2002,28(4):413-431
5CT Arrington Enterprise Java with UML.John Wiley & Sons, Inc., 2002
6Apache.Velocity User's Guid.《http://jakarta.apache.org/velocity/ index.html》, 2001
7Model Driven Architecture (MDA).Document number ormsc/ 2001 - 07 - 01, http://www.omg.org/ mda/ , 2001-07
8OMG Unified Modeling Language (UML)Specification,Version 1.4.http://ww.omg.org/, 2001-09
9OMG XML Metadata Interchange (XMI) Specification ,Version 2.0.http://cgi.omg.org/ docs/ ptc/ 02-06-03.pdf, 2002-06
10Apache Struts User and Developer Guides.《http://jakarta.apache.org/》 struts/userGuide/index.html, 2002

中小企业管理与科技

2010年第9期

内容加载中请稍等...