UML/PNO: A Way to Merge UML and Petri Net Objects for the Analysis of Real-Time Systems

摘要

In this paper, we present part of our method for the analysis and design of RTS. The process and the use of Petri Net are explained. We show the benefits taken from the object concepts and Petri Nets: hierarchical approach for object refinements, and precise control techniques for behaviour description. The mathematical formalism of Petri Nets, and the availability to breakdown or to compose their graphs, offers a way to validate objects and systems. This concerns system consistency and structural verification of the behavioural needs expressed by the user. Therefore, design and real-time control models can be verified and validated. Due to lack of space, the design process based on the merging UML and PNO is not presented here; we are still working on it, and it will be published soon. Furthermore, we also focus on the automatic generation of BPN from UML diagrams. Some of the major goals are to hide to the user the relative complexity of Petri Nets, to help designers who are not familiar with Petri Nets, and to improve the essential formality of the method for RTS.