摘要
随着软件应用领域的不断扩展和深入,软件系统的规模和复杂性也在逐渐扩大和提高,使得软件设计开发的难度和软件系统潜在的问题也日益增加。早期的设计缺陷会严重阻碍后期系统的开发、应用和维护。如果能够在早期设计阶段及时发现并避免错误,会大大减少设计开发、应用维护的成本,显著提高软件系统设计及开发的效率。软件系统建模与验证成为软件工程领域研究的热点。
传统的软件系统建模方法主要包括数学建模方法、结构化建模方法、信息建模方法和面向对象的建模方法等。这些方法在软件开发历程中都发挥了一定的作用,但是也都存在着比较明显的不足。主要表现为:数学建模方法抽象程度较高,不适合系统的分析和设计建模;结构化方法容易产生问题空间与解空间不一致的问题;信息建模强调状态而非对象,对所建模型有一定的限制;面向对象方法虽然对软件系统建模有很好的支持,但是它的形式化程度不高,对模型缺乏有效的验证和分析手段。软件开发方法的每一次改进都使软件系统的抽象层次得到一次提高。抽象层次的提高使系统涉及的具体信息与限制条件就减少,系统的适应性与概括能力就提高。如何使得抽象模型能够显现地、仿真模拟实际应用系统,早期发现系统设计的缺陷,是提高软件系统生产率和质量的关键。因此,建立可视化程度高、可执行的模型也是对软件开发方法的一种改进。
软件建模方法的研究已经开展了很久,也取得了一些可喜的成果,本文在已有研究成果的基础上,针对当前研究所存在的可执行性不强,仿真模拟现实系统的力度不够,不能及早地发现设计缺陷并改进等方面的不足,以可视化、可执行模型为切入点,对基于面向对象技术、方法和Petri网融合技术进行软件系统建模提出了一些方法,本文的主要工作和贡献有以下几个方面。
分析总结软件系统传统建模方法的不足,提出将面向对象技术、方法和Petri网结合的方式开展软件系统可执行模型的建模:总结归纳出4种结合的方法,并分类形成面向对象技术中嵌入Petri网、Petri网中嵌入面向对象技术和相互嵌入的3种结合形式;给出面向对象Petri网OOPN的形式定义和语义解释,并深入分析了OOPN的面向对象特征。
提出基于OOPN图形界面交互行为的建模方法。首先针对用户操作图形界面的习惯确定界面操作对象,并利用OOPN对其属性和行为进行形式描述,形成对象子网;其次,分析总结操作对象间的关系,确定并定义对象子网间的顺序、同步、选择、并行和互斥5种行为关联关系;第三,在系统需求分析的基础上,将对象子网和关联关系进行集成、整合,形成系统可执行的模型。最后,根据OOPN的执行语义和变迁的引发条件,检查模型的各种可能的执行过程,验证模型的适用性和正确性。
提出对前述OOPN的改进方案,扩充子网间的关联关系,使其形成虚网结构,在此基础上提出对象子网的分层原则和方法以及OOPN的化简规则,并证明化简规则的适用性;提出对象子网和OOPN的死锁标识检测算法,并通过实例,对分层方法、化简规则和死锁标识检测算法进行验证。
总结基于OOPN建模方法存在的不足,采用面向对象与着色Petri网相互嵌入的结合形式,提出基于面向对象着色Petri网OOCPN基本通信协议的形式描述方法。基于该方法,以一个简单的通信协议为例,利用CPNTools工具建立一个自动可执行的模型,并通过仿真执行,验证协议的正确性和模型的各种性质,同时利用可执行模型的执行结果,对协议的传输性能进行了分析和评价。
本文的工作对深入开展软件系统建模方法的研究提供了一点新的思路,对早期发现软件系统设计开发中的错误,提高设计开发效率和可靠性都具有一定的理论和实践价值。但是,所研究的方法还存在一些不足,还需进一步改进和完善,结合人们广泛熟知的UML建模语言,建立一个与平台无关的模型描述机制,加强案例分析研究和模型性质分析研究,使该方法在软件系统设计开发中真正发挥作用,提高软件系统开发的效率和质量。
With software applications penetrating into more and more areas, software systems have become larger and much more complex, which has made development of software even harder and has brought about increasing potential problems embedded in systems. Defects at early stage of design would seriously hamper the following development, application and maintenance of systems. Therefore, if the errors and defects were detected in time during early stage, the efficiency of designing and developing software systems would achieve remarkable increases at much smaller expenses. Thus, modeling and validating of software systems has been a research focus in software engineering.
Traditional modeling approaches for software system mainly includes mathematic modeling method, structured modeling method, information modeling method, object oriented modeling method, and so on. Those approaches played a role in software development history There, however, still exist drawbacks in those modeling methods. The abstractness of mathematic modeling approach hampers analysis, development and design of the system. Adopting structured modeling method always results in problem space inconsistent with solution space. Information modeling method concentrates on conditions rather than objects, which puts limitations on established models. Although object oriented method supports software system modeling well, it is not formalized enough to analyze and verify models. Every improvement in software developing method has enhanced the abstractness of software system. Thus, enhanced abstractness has reduced specific information the system involves and has eliminated limitations of the system, which improves the adjustability and generalization of the system. Enabling abstract models to simulate practical application system in a manifesting way and detecting drawbacks in system design at early stage can significantly enhance productivity and quality of software system. For this reason, establishing highly visualized and executable models improves software development approaches.
Much work has been done in research on software modeling approach, and achievement has been obtained. There still exist several drawbacks. Current research is impeded by low performability. The simulation of the reality system should be enhanced. Adopting traditional methods, it is hard to detect defects and flaws of the design. Based on previous achievements, the paper, in view of the drawbacks of recent research, started from visualized and executable models to explore and elaborate on software system modeling based on combination of Object Oriented technology and Petri Nets, and proposed solutions. The major work and contribution of the paper unfold as follows.
The paper analyzed and summarized traditional modeling methods, based on which the paper proposed four approaches of combining Object Oriented technology and Petri Nets to establish executable models for software systems, and classified the approaches into three categories. The approaches are categorized as object oriented technology embedded with Petri Net, Petri Net embedded with object oriented technology, and those two embedded into each other. Furthermore, the paper put forward formal definition and semantic explanation of OOPN and performed an in-depth analysis of object oriented feature of OOPN.
The paper proposed modeling method based on OOPN interaction behaviors on graphic interface. In view of users'habitual operations on graphic interface, the paper, firstly, determined operating objects on interface, gave formal descriptions of their properties and behaviors using OOPN, and formed object sub nets. Secondly, the paper analyzed relations within objects and defined behavioral correlations and associations within object sub nets. The behavioral correlations and associations of behaviors are classified as sequence, synchronization, selection, concurrency and mutual exclusion. Thirdly, the paper based on system requirement analysis assembled and integrated subnets and their correlations, and proposed executable model of the system. Finally, the paper, in accordance with execution semantics and conditions of transition firing of OOPN, checked possible execution processes and verified correctness and applicability of the model.
The paper came up with an improved OOPN, expanded correlations within sub nets and made it form a virtual net structure. Thus, the paper proposed principles of stratification and reduction rules of OOPN and verified the applicability of reduction rules. In addition, the paper suggested algorithm for deadlock marking detection of object sub nets and OOPN and applied it into practical use. By application in cases, stratification method, reduction rules and deadlock marking detection algorithm are verified and validated.
Summarizing drawbacks in modeling based on OOPN, the paper put forward the formal description of fundamental communication protocol on the basis of Object Oriented Colored Petri Nets which combines object oriented technology with colored petri nets. Adopting such approach, the paper, following an example of a simple communication protocol, made use of CPNTools and established an automatic executable model. Then, the paper checked the correctness of the protocol and verified properties of the model by simulating execution. Meanwhile, the paper, making use of the results of the simulated execution of executable models analyzed and evaluated the communication performance of the protocol.
The paper proposed new penetrating method for in-depth researching on software system modeling, which will, in both theoretical and practical way, help detect problems at early stage of designing and developing software system and enhance efficiency as well as reliability of design and development. Nevertheless, there still exist defects in the proposed approach. Much more is to be done to improve and optimize the method. By combination with popular modeling language, namely UML and establishment of a mechanism for describing models regardless of platform, the proposed approach will play significant role in designing and developing software systems. More case studies and property research of models are necessary to enhance the efficiency and quality of software system development and design.
引文
[1]Hmelo-Silver, C.E.and Azevedo, R. Understanding complex systems:some core challenges[J]. J. Learn. Sci., Vol.15,No.1,2006,Pages 53-61.
[2]Roger S.Pressman. Software Engineering—A Practitioner's Approach(Fourth Edition) [M],McGraw Hill,1997.
[3]Raccoon,L.B.S. The Chaos Model and the Chaos Life Cycle[J].ACM Softwae Engineering Notes,Vol.20,No.1,1995.1,Pages 55-66.
[4]王晓燕.基于模型驱动架构的软件开发方法与实现技术的研究[D].吉林大学博士论文,2008.10.
[5]郑人杰,殷人昆等.实用软件工程[M].北京清华大学出版社,1997.
[6]刘静.基于形式规格说明的统一软件建模系统的研究[D].上海大学博士论文,2005.
[7]Yourdon Press,Larry L.Constantine. Structured Design-- Fundamentals of a Discipline of Computer Program and Systems Design[M], Prentice Hall,1979
[8]软件需求分析--结构化分析方法.http://se.csai.cn/Requirement/200803191730181368.htm
[9]结构化程序设计,http://www.hudong.com/wiki/结构化程序设计.
[10]柯清超.分布式学习系统软件建模方法的研究[D].华南师范大学博士论文,2003.
[11]张效祥.计算机科学技术百科全书(第2版)[M].清华大学出版社,2005.
[12]顾明.软件工程中几种常用的软件开发方法的概述和比较[J].计算机科学,Vol.26,No.1,1999,Pages 88-89.
[13]http://encyclopedia.thefreedictionary.com/object-oriented.
[14]http://en. wikipedia.org/wiki/Obj ect-oriented_analysis_and_design.
[15]James Rumbaugh,etc. Object-Oriented Modeling and Design[M]. Prentice Hall,1990.
[16]Quatrani Terry. Succeeding With the Booch and Omt Methods:A Practical Approach[M]. Addison Wesley,1996.
[17]R. W. Butler. What is Formal Methods? http://shemesh.larc.nasa.gov/fm/fm-what.html
[18]C.Michael Holloway. Why Engineers Should Consider Formal Methods[J],16th Digital Avionics Systems Conference,1997,10.27-30 http://klabs.org/richcontent/verification/holloway/nasa-97-16dasc-cmh.pdf
[19]古天龙.软件开发的形式化方法[M].高等教育出版社,2005.
[20]姜利.形式化方法的发展及展望[J].计算机科学,1998,Vol.25,No2,Pages55-59
[21]Thomas Stahl, Markus Volter. Model-Driven Software Development:Technology, Engineering, Management[M], John Wiley,2006
[22]彭君.领域软件开发中体系结构元模型及模型转换方法研究[D].吉林大学博士论文,2010
[23]Erich Gamma,Richard Helm,Ralph Johnson,John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software[M]. Addison-Wesley Professional,1995.
[24]樊东平,张路译.分析模式:可复用的对象模型[M].机械工业出版社,2004.
[25]张天,张岩,于笑丰,王林章,李宣东.基于MDA的设计模式建模与模型转换[J].软件学报,2008,Vol.19,No.9,Pages 2203-2217.
[26]Alan Shalloway, James R. Trott. Design Patterns Explained:A New Perspective on Object-Oriented Design[M], Addison-Wesley,2002.
[27]Clemens SzyPerski, Component Software:Beyond Object-Oriented Programming[M], ACM Press/Addison-Wesley,1998.
[28]Stephen J.Mellor,Marc J.Balcer. Executable UML:A Foundation for Model-Driven Architecture[M]. Addison-Wesley,2002.
[29]张维明,邓芬等.信息系统建模技术与应用[M].电子工业出版社,1997.
[30]扬明,张冰,王子才.建模与仿真技术发展趋势分析[J].系统仿真学报,Vol.16, No.9, Sept 2004, Pages 1901-1904.
[31]齐欢,王小平.系统建模与仿真[M].清华大学出版社,2004.
[32]Executable Models, http://www.metamaxim.com/pages/vision.htm
[33]王学斌.软件工程基于模型驱动架构的模型转换技术研究[D].国防科学技术大学博士论文,2006.
[34]王长元,赵莉,王淑蓉.软件工程与建模[M].西安交通大学出版社,2010.
[35]李明树,杨秋松,翟健.软件过程建模方法研究[J].软件学报,2009,Vol.20, No.3, Pages 524-545.
[36]Grady Booch等著,王海鹏,潘家宇译.面向对象分析与设计(第三版)[M].人民邮电出版社,2009.
[37]邵晓凌,张然.OMT设计的Java实现[J].计算机科学,1997,Vol.24,No.6,Pages 85-89.
[38]Object_Oriented Software Engineering, http://en.wikipedia. org/wiki/Object-oriented_software_engineering
[39]Introduction to OMG's Unified Modeling LanguageTM (UML(?)), http://www.omg.org/gettingstarted/what_is_uml.htm
[40]范玉顺.面向对象的Petri网方法及其在软件工程中的应用[J].计算机应用,1998, Vol.18, No.5, Pages 15-18,22.
[41]乐晓波,汪琳.面向对象的Petri网建模技术的研究[J].计算机工程,Vol25mNo5,2002, Pages 86-88.
[42]George Coulouris.Jean Dollimore.Tim Kindberg. Distributed System Concepts and Design(Third Edition)[M]. Pearson Education Limited,2001.
[43]Andrew S.Tanenbaum,Maarten van Steen. Distributed System Principles and Paradigms[M]. Pearson Education,2002.
[44]Frydman.C,Torres.L;Giambiasi.N; Le Goc.M. Building executable models from expert conceptual models, Simulation Councils Proceedings Series, Vol.28, No.2, 1996, Pages 173-183.
[45]杨芙清.软件工程技术发展思索[J].软件学报,2005,Vol.16,No.1,Pages 1-7.
[46]Aoyama.M. Metrics and Analysis of Sotfware Architecture Evolution with Discontinuity[J]. Proc.5th Intl.Workeshop on Principles of Sotfware Evolution, IWPSE 2002, in association with ICSE 02, May, Orlando, Pages 103-107.
[47]David Raffo, Paul Wernick. Sotfware Poreess Simulation Modelling[J]. Journal of Systems and Sotfware. Vol.59, No.3,2001, Pages 223-225.
[48]Friedrich Stallinger, Paul Grunbacher. System dynamics modeling and simulation of collaborative requirements engineering[J]. Journal of Systems and Sotfware. Vol.59,No.3,2001, Pages 311-321.
[49]B.W.Chatters, M.M.Lehman, J.FRamil, P.Wernick. Modelling a Long Term Sotfware Evolution Poreess[J]. Sotfware Poreess Improvement and Practice, Vol.5, No.2-3,2002, Pages 91-102
[50]S.James Choi,Walt Scacchi. Modeling and simulating software acquisition process architectures. Jomual of Systems and Sotfware.Vol.59,No.3,2001,Pages343-354
[51]陈迎欣.小组软件过程的仿真建模方法的研究[D],哈尔滨工程大学博士论文,2006.
[52]J.Peterson. Petri net theory and the modeling of systems[M]中国矿业大学出版社,1989.
[53]Noriko Hankak Awa,Ken-Ichi Matusmoto,Koji Torii. A Knowledge-Based Sotfware Poreess Simulation Model. Annals of Sotfware Engineering. Vol.14,No.1-4,2002, Pages 383-406.
[54]Pfahl,D. An Integrated Approach to Simulation-Based Learning in Support of Strategic and Project Management in Sotfware Organisations[D], Fraunhofer IRB, Stuttgart, Germany,2001.
[55]www.omg.org/uml
[56]Stehen J.Mellor, MarcJ.Balcer. Executable UML:A Foundation for Model-Driven Architecture[M], Addison Wesley,2002.
[57]Chris Raistrick,Paul Francis,John Wright,etc赵建华,张天等译.MDA与可执行UML[M],机械工业出版社,2006.
[58]Girault, Claude, Valk, Rudiger. Petri Nets for Systems Engineering-A Guide to Modeling[M], Verification and Applications. Springer Verlag,2003, Berlin Heidelberg.
[59]蒋云承,汤庸,邓培民.基于有限状态自动机的服务组合模型[J].智能系统学报,2006年02期,Pages 48-57.
[60]朱雪阳,唐稚松Statecharts的组合语义与求精.软件学报,Vol.17,No.4,2006,Pages 670-681.
[61]袁晓东,郑国梁.Z的面向对象扩充COOZ的设计.软件学报,Vol.8,No.9,1996, Pages 694-700.
[62]陈忠民,VDM和Z两种规范描述语言的比较.计算机研究与发展,Vol.33,No.11,1996, Pages 816-822
[63]J(?)rgensen JB, Bossen C.Executable use cases:requirements for a pervasive health care system[J]. IEEE Softw. Vol.21, No2,2004, Pages 34-41.
[64]Jackson M. Some basic tenets of description[J]. Software System Modeing,Vol.1, No.1,2002, Pages 5-9.
[65]Jens B. J(?)rgensen, Simon Tjell, Joao M. Fernandes. Formal requirements modelling with executable use cases and coloured Petri nets[J]. Innovations System Software Engineer, No.5,2009, Pages 13-25.
[66]Renzhong Wang and Cihan H. Dagli, Executable System Architecting Using Systems Modeling Language in Conjunction with Colored Petri Nets in a Model-Driven Systems Development Process[J],2011, wileyonlinelibrary.com
[67]Sima Emadi, Fereidoon Shams. A new executable model for software architecture based on Petri Net[J], Indian Journal of Science and Technology,Vol.2, No.9, Sep.2009, Pages 15-25.
[68]Jens Baek J(?)rgensen,S(?)ren Christensen,Executable Design Models for a Pervasive Healthcare Middleware System[J], Springer-Verlag Berlin Heidelberg, 2002, Pages 140-149.
[69]Marco Blumendorf,Grzegorz Lehmann,Sebastian Feuerstack,Sahin Albayrak. Executable Models for Human-Computer Interaction, Springer Verlag Berlin Heidelberg,2008, Pages 238-251.
[70]岳增坤等.基于xUML的C4ISR系统可执行对象模型设计[J].系统仿真学报,Vol.21, No.8, Apr.2009, Pages 2190-2194
[71]袁崇义.Petri网原理与应用[M]电子工业出版社,2005.
[72]吴哲辉.Petri网导论[M].机械工业出版社,2006.
[73]An introduction to the OOPN theory. http://www.fit.vutbr.cz/-janousek/pntalk/node10.html
[74]刘彩红.基于面向对象Petri网的用户界面描述方法的研究[D].山东大学硕士论文,2008.
[75]周云娴.面向对象Petri网语言及应用[D],复旦大学硕士论文,2000.
[76]Jinzhong Niu, Jing Zou, Aihua Ren. OOPN:An Object-Oriented Petri nets and its integrated development environment. http://www.sci.brooklyn.cuny.edu/~jniu/research/publications/files/sea03-oopn.pdf
[77]杨武,李晓渝,曹泽瀚.一种面向对象Petri网模型的语义和行为分析.计算机科学,2005,Vol.32,No.10,Pages 219-221
[78]Yang Kyu Lee, Sung Joo Park. OPNets:An Object-Oriented High-Level Petri Net Model for Real-Time System Modeling[J]. Journal of Systems and Software, Vol.20, No.1, Jan.1993, Pages 69-86.
[79]Bastide, Remi, Palanque, Philippe. Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues[J]. In 2nd Workshop on Computer Aided Design of User Interfaces, CADUI'96, Universite Notre-Dame de la Paix, Namur (Belgium),1996. Jean Vanderdonckt, Editor. Presses Universitaires de Namur (1996), Pages 285-302.
[80]Palanque, Philippe, Bastide, Remi, Sibertin-Blanc, Christophe, Dourte, Louis. Design of User-Driven Interfaces Using Petri Nets and Objects. In proceedings of Conference on Advanced Systems Engineering, CAISE'93. Lecture Notes in Computer Science, No.685.1993, Pages 569-585.
[81]Bastide, Remi, Palanque, Philippe. Petri Net Based Design of User-Driven Interfaces Using the Interactive Cooperative Objects Formalism. In Interactive Systems:Design, Specification, and Verification, DSV-IS'94. Fabio Paterno, Volume editor. Springer-Verlag,1994, Pages 383-400.
[82]任爱华.基于面向对象Petri网的并发软件开发方法研究[D].北京航空航天大学博士论文,2001
[83]牛锦中.基于面向对象Petri网的并发软件集成开发环境的研究与实现[D].北京航空航天大学硕士论文,1999.
[84]Xiaoning Feng, Qun Liu, Zhuo Wang. AUV Modeling and Analysis using a Colored Object-Oriented Petri Net. Proceedings of the First International Multi-Symposiums on Computer and Computational Sciences. IEEE Computer Society.2006. Hangzhou. Pages 405-409.
[85]朱海滨编著.面向对象技术:原理与设计[M].国防科技大学出版社,1992.10
[86]Maria Dolores Lozano, Pascual Gonzalez, Isidro Ramos. User Interface Generation:Current Trends[J]. Visualization of Software. Vol.2, No.2,2001, Pages 22-26
[87]Kevin A. Schneider. Using the AUI Model to Increase the Plasticity of an Interactive System[J]. TAMODIA 2002, Pages 120-126.
[88]Kevin A.Schneider, James R.Cordy. Abstract User Interfaces:A Model and Notation to Support Plasticity in Interactive Systems. DSV-IS 2001, Pages 28-48.
[89]Paulo Pinheiro da Silva. Object Modeling of Interactive Systems:The UMLi Approach[D]. PhD's thesis,Department of Computer Science, University of Manchester, United Kingdom,2002.
[90]Paulo Pinheiro da Silva, Norman W.Pation. UMLi:The Unified Modeling Language for Interactive Applications[J]. The 3rd International Conference on the Unified Modeling Language, York, United Kingdom,October,2000, Pages 2-6,
[91]Paulo Pinheiro da Silva, Norman W.Pation. User Interface Modeling in UMLi[J]. IEEE Software, Vol.20, No.4,2003, Pages 62-69.
[92]Fabio Paterno, Carmen Santoro. A Unified Method for Designing Interactive Systems Adaptable to Mobile and Stationary Platforms[J]. Interacting with Computers.Vol.15 Issue 3, Pages 349-366.
[93]Giulio Mori, Fabio Paterno, Carmen Santoro. Design and Development of Multidevice User Interfaces through Multiple Logical Descriptions[J]. IEEE Transaction on Software Engineering, Vol.30, No.8, August 2004, Pages 507-520.
[94]Giulio Mori, Fabio Paterno, Carmen Santoro. Tool Support for Designing Nomadic Applications[J]. Intelligent User Interfaces,2003, Pages 141-148.
[95]Paulo Pinheiro da Silva, Norman W. Paton. User Interface Modeling with UML[J]. In Information Modeling and Knowledge Bases Ⅻ (10th European-Japanese Conference on Information Modeling and Knowledge Representation, Saariselka, Finland, May,8-11,2000),2001, Pages 203-217.
[96]Paulo Pinheiro da Silva, Norman W. Paton. Improving UML Support for User Interface Design:A Metric Assessment of UMLi[J]. Proceedings of ICSE-2003 Workshop on Bridging the Gaps Between Software Engineering and Human-Computer Interaction, Portland,2003, Pages 76-83.
[97]Xiaosong Li, Rick Mugridge. Petri Net Based Graphical User Interface Specification Tool[J]. Proceedings of Software Education Conference. New Zealand:IEEE CS Press,1995, Pages 50-57.
[98]Mohammed Elkoutbi, Rudolf K.Keller. User Interface Prototyping Based on UML Scenarios and High Level Petri Net[J]. In Proceeding of the 21st International Conference on ATPN. Springer-Verlag LNCS. Aarhus.2000.Pages 166-186.
[99]Mohammed Elkoutbi,Rudolf K.Keller. Modeling Interactive Systems with Hierarchical Colored Petri Nets[J]. In Advanced Simulation Technologies Conference 1998,Pages 432-437.
[100]Bastide, Remi, and Palanque, Philippe. Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues[J]. In 2nd Workshop on Computer Aided Design of User Interfaces, CADUI'96,1996. Presses Universitaires de Namur,Pages 285-302.
[101]Palanque, Philippe, Bastide, Remi, Sibertin-Blanc, Christophe, Dourte, Louis. Design of User-Driven Interfaces Using Petri Nets and Objects[J]. In proceedings of Conference on Advanced Systems Engineering, CAISE'93. Lecture Notes in Computer Science, No.685,1993,Pages 569-585.
[102]Bastide, Remi, Palanque, Philippe. Petri Net Based Design of User-Driven Interfaces Using the Interactive Cooperative Objects Formalism[J]. In Interactive Systems:Design, Specification, and Verification, DSV-IS'94. Fabio Paterno, Volume editor. Springer-Verlag,1994,Pages 383-400.
[103]Lu lei, Zhang Caiming, Liu Caihong. A Description Method for Interactions of Graphical Interfaces[J]. FSKD2008, Vol.5, Pages 507-511.
[104]Murata T. Petri Nets:Properties, Analysis and Applications [J]. Proceedings of the IEEE, Vol.77,No.4,1989, Pages 541-580
[105]郑锋,孙树栋,司树宾.面向对象的Petri网死锁检测[J].西北工业大学学报.Vol.22, No.2,2004, Pages166-170.
[106]张绍阳.基于性能分析的一种OOPN关联矩阵建立方法[J].西北大学学报.Vol.36,No.1,2006, Pages 29-32.
[107]杨武,李晓渝,曹泽瀚.一种面向对象Petri网模型的语义和行为分析.计算机科学.Vol.32,No.10,2005,Pages 219-221.
[108]汤子瀛.计算机操作系统(修订版)[M].西安电子科技大学出版社,2001.8
[109]孙冬梅,面向对象Petri网的约简和系统死锁的检测[D].山东大学硕士论文,2009.
[110]Lu Lei, Zhang Caiming. Reduction Rules and Deadlock Detecting Methods in Object Oriented Petri Net Models[J], ICCASM 2010, Vol.12, Pages 12389-12394.
[111]韩耀军,蒋昌俊.并发操作系统中基于有色Petri网的死锁检测与避免[J].计算机科学,Vol.29.No.12,2002,Pages 190-192
[112]Alexander E.Kostin. Reachability Analysis in T-Invariant-Less Petri Nets[J] IEEE Transactions On Automatic Contro,Vol.48, No.6, Jun.2003, Pages 1019-1024
[113]Li-Chih Wang.Object-oriented Petri nets for modelling and analysis of automated manufacturing systems[J]. Computer Integrated Manufacturing Systems. Vol 26,No.2,1996, Pages 111-125
[114]Zhang Zhiqiang, Lu Lei. Modeling and Performance Analysis of ARQ Protocol Based on CPN, NSWCTC2011, Vol.4, Pages 1467-1471.
[115]王绘,卢雷.面向对象着色Petri网在交互行为描述方面的研究.系统仿真学报(增刊)2009,Vol.20,Pages 167-171.
[116]CPN Tools. http://cpntools.org/
[117]谢希仁.计算机网络(第5版)[M],电子工业出版社,2008
[118]李腊元.通信协议工程学进展[J].计算机研究与发展,1993,No.7,Pages51-60
[119]杨家海,吴建平,史美林.协议的形式描述与自动实现[J].通信技术,1994,No.3, Pages 1-10
[120]龚正虎.利用CCS的协议描述与验证技术的研究[J].计算机研究与发展,Vol.32, No.3,1995, Pages 61-65.
[121]史美林,肖凯.基于知识面向对象方法的协议半自动实现研究[J].软件学报,1997, No.8(A00), Pages 122-129.
[122]Lars Michael Kristensen, Jens Baek J(?)rgensen,Kurt Jensen. Application of Coloured Petri Nets in System Development[J], ACPN 2003, LNCS 3098(2004), Pages 626-685.
[123]蒙移发,徐惠民,高强.协议验证与一致性测试方法[J].计算机科学,2002,Vol.29, No.5, Pages 40-42.
[124]晁媛媛.基于分层思想的基本通信系统CPN建模[D].山东大学硕士论文,2011.
[125]晁媛媛,卢雷.基于分层思想的基本通信系统CPN建模[J].计算机工程,2011, Vol.37, No.15. Pages 82-84,88,