The Research Of Mapping From C_net To Compiled Expression

In order to improve the efficiency of software development and the quality of software, flexible software development is proposed in recent years. Flexible software development model can respond to user requirements's change flexibly and rapidly. It has several features. First, the model can be simulated. Second, Top-down modeling process and bottom-up model modify mode. Third, Generates code based on the right model. And last, not only the development process support the automatically convert from model to code, but also the convert from code to model is supported. Petri nets have several advantages:direct viewing, Strong ability of simulation and the strict mathematical analysis method. Because of its advantages, Petri nets are used in the system modeling and simulation system more and more. However, the problem of conversion is not effectively resolved between Petri nets and procedures.The method of mapping from C_net to compiled expression is designed in the paper. Base on the analysis of correlation matrix, this paper provided an algorithm which can extract the transition's sequence of C_net and accomplished concrete expression from C_net to the structure expression. Thoughting the data flow in the C_net, the algorithm C_net structural expression to the expression conversion is designed in this paper. An example of ATM is given out to verify the mapping method. C_net is a partial function of the modeling system. In order to meet the requirements of the Incremental software development, the nature of C_net's combination is analyzed in this paper. The condition which keep C_net's combination is correct is given out. Three theorems are given out to judge the correctness of C_net's combination that contains no writing conflict, contain writing conflict and contain "OR" structure.The C_net program expression defined in the paper is an expression that can be compiled. It is the bridge which coupling the C_net model and its corresponding program. Thus, C_net program expression provides a possible way to the automatic conversation from C_net to program possible. C_net nets, C_net nets program expression and procedures can convert between each other. This makes the model's repeated test possible. These studies are significance in theoretical and practical application and promote the further development of flexible software development.