| With the advantage of analyzing custom's requirements, Unified Modeling Language(UML) has become the first modeling tool analyzing complex system; Petri nets have the strict mathematics definition and suit for modeling analysis in the field of distributed resources sharing, concurrent controlling ; under the specific background, the combination of the two model tools shows the complementary advantagesAccording to the references, based on the research for UML semantics and formalization, some scholars have discussed the transformation between UML models and Petri net models and had widely been used for many fields, such as mobile computing, distributed system, Intelligent Manufacturing Systems, Software Performance Engineering and workflow system.Combat warship system is of the complex system, and the analyzing for the info-flow is the most . the net structure of info-flow shows the discrete, distributed ,resources concurrent characteristic , Petri net tool should be more suitable---Transforming the existed UML models for Petri net models and constructing the complete hierarchy Petri net according to original relations ; After configuring the time value for Petri net transition and token value ,we can not only simulate info-flow property and show dynamic characteristic, but also quantitative analysis for the mathematic relation between time and precision. When combining UML and Petri net tool, we generalized the empirical mapping relation from some UML Diagrams to Petri net Graphs, discussed the implement of the software automatic transformation. |
PDF Full Text Request