Title :
Toward a rigorous interpretation of ESML-extended systems modeling language
Author :
Richter, Gernot ; Maffeo, Bruno
Author_Institution :
German Nat. Res. Center for Comput. Sci., Saint Augustin, Germany
fDate :
2/1/1993 12:00:00 AM
Abstract :
A graphics-based language known as ESML (extended systems modeling language), which is an extension of the data flow diagram notation for representing control logic in models of real-time systems, is analyzed and summarized to provide a rigorous interpretation of ESML symbols and their combinations. Based on elementary and compact (high-level) Petri nets (PNs), to which a succinct introduction is given, formal foundations for ESML, and in particular for its transformation schema (TS) notation, are proposed. Translation principles as well as examples of usual transformation and flow patterns are presented both in TS and PN notation. The resulting PN models are rigorous and accurate models of the dynamics of real-time systems with signals, prompts, and data flows of various kinds. Due to their formally defined token game they can be executed and used to study indeterminism and concurrency of events
Keywords :
Petri nets; real-time systems; systems analysis; visual languages; ESML; Petri nets; control logic; data flow diagram notation; extended systems modeling language; graphics-based language; real-time systems; rigorous interpretation; token game; transformation schema; translation principles; Concurrent computing; Control systems; Design for disassembly; Flow graphs; Logic; Modeling; Monitoring; Petri nets; Proposals; Real time systems;
Journal_Title :
Software Engineering, IEEE Transactions on
