Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Toward a rigorous interpretation of ESML-extended systems modeling language

 
: Richter, G.; Maffeo, B.

:

IEEE transactions on software engineering 19 (1993), Nr.2, S.165-180
ISSN: 0098-5589
Englisch
Zeitschriftenaufsatz
Fraunhofer GMD
concurrent system; data flow diagram; petri net

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.

: http://publica.fraunhofer.de/dokumente/N-41351.html