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

Volume

19

Issue

2

fYear

1993

fDate

2/1/1993 12:00:00 AM

Firstpage

165

Lastpage

180

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;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/32.214833

Filename

214833