Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language

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. >

[1]  David Chenho Kung,et al.  Formal definition and verification of data flow diagrams , 1991, Journal of Systems and Software.

[2]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[3]  Grzegorz Rozenberg,et al.  High-level Petri Nets: Theory And Application , 1991 .

[4]  Paul T. Ward,et al.  The transformation schema: An extension of the data flow diagram to represent control and timing , 1986, IEEE Transactions on Software Engineering.

[5]  Paul Ward,et al.  Structured Development for Real-Time Systems , 1986 .

[6]  Reiner Durchholz,et al.  Causality, time, and deadlines , 1991, Data Knowl. Eng..

[7]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[8]  Nancy G. Leveson,et al.  Software Requirements Analysis for Real-Time Process-Control Systems , 1991, IEEE Trans. Software Eng..

[9]  Søren Christensen,et al.  Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs , 1992 .

[10]  M. Diaz,et al.  Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..

[11]  Nancy G. Leveson.  The challenge of building process-control software , 1990, IEEE Software.

[12]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[13]  Gernot Richter,et al.  Constructs for Modeling Information Systems with Petri Nets , 1992, Application and Theory of Petri Nets.

[14]  David A. Marca,et al.  SADT: structured analysis and design technique , 1987 .

[15]  William Bruyn,et al.  An extended systems modeling language (ESML) , 1988, SOEN.

[16]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

[17]  Kurt Jensen.  Coloured Petri nets: A high level language for system design and analysis , 1989, Applications and Theory of Petri Nets.

[18]  E. L. Miranda.  Control transformations through Petri Nets , 1989, SOEN.

[19]  Paul T. Ward.  Embedded behavior pattern languages: a contribution to a taxonomy of case languages , 1988, [1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume II: Software track.

[20]  A A Verrijn-Stuart,et al.  Trends in information systems , 1986 .

[21]  Kuldeep Kumar,et al.  Informal and Formal Requirements Specification Languages: Bridging the Gap , 1991, IEEE Trans. Software Eng..

[22]  Hartmann J. Genrich,et al.  Predicate/Transition Nets , 1986, Advances in Petri Nets.

[23]  Hervé P. Hillion.  Timed Petri nets and application to multi-stage production systems , 1988, European Workshop on Applications and Theory in Petri Nets.

[24]  Jonathan Billington.  Extensions to coloured Petri nets , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.