【摘要】 针对通信系统建模复杂度高、可靠性差、模型缺乏形式化验证方法以及可重用性差的问题,提出一种基于分层思想,并结合面向对象的概念,利用着色Petri网(CPN)对基本通信系统进行建模的方法。该方法融合CPN和面向对象技术的优点,从形式化、可视化的角度描述基本通信系统的运行过程。以一个简单的基本通信系统为例进行建模,证明该模型与实际系统中的对象可以相互对应,易于理解和实现。更多还原

【Abstract】 This paper presents a basic hierarchical-based communication system modeling method combining the concept of object-oriented and making use of Colored Petri Net(CPN),which can solve the existing problems of high complexity,poor reliability,lack of formal verification methods,and low reusability in communication system modeling.This method reflects the advantages of CPN and object-oriented technology,and describes the operation process of basic communication system from the formal and visual aspects.Taking a simple basic communication system as example,it gives the specific description on each layer of CPN.The model is correspondent with the object of the actual system,which is easy to understand and realize.更多还原