Real-time system specifications based on uml scenarios and timed petri nets

Abstract

In this paper, we suggest a requirement engineering process for real-time systems that yields a formal specification of the system using timed Petri nets. Scenarios are acquired in form of sequence diagrams as defined by the Unified Modeling Language (UML), and are enriched with time constraints information. These diagrams are transformed into partial timed Petri net specifications and then merged to obtain a global timed Petri net specification capturing the behavior of the entire system.