Modeling And Model Property Analysis And Validation Based On CPN

System development and engineering is a complex task involving a multitude of activities such as analysis, requirement engineering, design, implementation, and testing. Especially the development of distributed, with parallel, timeliness, uncertainty characteristics of the system even more challenging. Many such software system in the initial building without fully consider whether meet the corresponding property requirements and performance standards, but only after the software to realize to measure evaluation, when found problems, must start from the beginning to modify the software design, so the large software system development will inevitably expensive, lead to schedule delay, reduced efficiency. Therefore, modeling and properties analysis and validating of software systems has been a research focus in software engineering.So far, a variety of modeling method has been widely used in the software system development process, which mainly includes structural modeling method, formal modeling methods, object-oriented modeling method and unified modeling language (UML), etc. These methods in software development process play a role, some methods also widely accepted and used, but also there are certain disadvantages, such as lacking of effective analysis and verification to the nature of system. Colored Petri Nets (CPN) as a senior Petri Nets, kept the traditional Petri Nets strict mathematical definition, and combined with Standard ML, added a color set, variable and other elements. With the help of CPN Tools, Colored Petri Nets widely used in large system modeling simulation and performance analysis, especially distributed system with characteristics of concurrent and asynchronous.This paper deeply studied several popular traditional modeling methods, and analyzed the advantages and disadvantages of these methods. Then give the method of modeling and analysis of properties of system based Colored Petri nets. This paper Elaborated on the basic concepts of colored Petri nets, modeling methods and modeling procedures, as well as four commonly used authentication method of system properties based on colored Petri nets. This article mainly included, firstly, deeply study the traditional parallel task scheduling algorithm, and then modeling the task sequences generated by the traditional parallel task scheduling algorithm, which showing the method and process of modeling based Colored Petri nets. Finally analyze the properties of the model with simulation execution method, reachability tree method, relating matrix method and state space analysis method.The Paper proposed new penetrating method for in-depth researching on software system modeling, which will in both theoretical and practical way, enhance efficiency as well as reliability of design and development.