This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language
February 1993 (vol. 19 no. 2)
pp. 165-180

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] B. Berthomieu and M. Diaz, "Modeling and verification of time dependent systems using time Petri nets,"IEEE Trans. Software Eng., vol. 17, no. 3, pp. 259-273, Mar. 1991.
[2] J. Billington, "Extensions to coloured Petri nets," in3rd Workshop Petri Nets and Performance Models, S. Kumagai and S. Nishio, Eds., Kyoto, Japan, Dec. 1989, pp. 61-70.
[3] W. Bruyn, R. Jensen, D. Deskar, and P. Ward, "ESML: An extended systems modeling language based on the data flow diagram,"ACM Software Eng. Notes, vol. 13, pp. 58-67, 1988.
[4] S. Christensen and N. D. Hansen, "Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs," Computer Science Department, Aarhus University, Aarhus, Denmark, Tech. Rep. DAIMI PB-398, May 1992.
[5] R. Durchholz, "Causality, time, and deadlines,"Data&Knowledge Eng., vol. 6, pp. 469-477, 1991.
[6] M. D. Fraser, K. Kumar, and V. K. Vaishnavi, "Informal and formal requirements specification languages: Bridging the gap,"IEEE Trans. Software Eng., vol. 17, no. 5, pp. 454-466, May 1991.
[7] H. J. Genrich, "Predicate/transition nets," inPetri Nets Central Models and Their Properties, W. Brauer, Ed. Berlin, Heidelberg, New York: Springer-Verlag, 1987, pp. 207-247.
[8] H. J. Genrich and K. Lautenbach, "System modelling with high-level Petri nets,"Theoretical Computer Sci., vol. 13, pp. 109-136, 1981.
[9] D.J. Hatley and I. Pirbhai,Strategies for Real-Time System Specification, Dorset House, New York, 1987.
[10] C. A. Heuser and G. Richter, "Constructs for modeling information systems with Petri nets," inApplication and Theory of Petri Nets 1992, vol. 616,Lecture Notes in Computer Science, K. Jensen, Ed. Berlin: Springer-Verlag, 1992, pp. 224-243.
[11] H. P. Hillion, "Timed Petri nets and application to multi-stage production systems," inAdvances in Petri Nets 1989, vol. 424,Lecture Notes in Computer Science, G. Rozenberg, Ed. Berlin: Springer-Verlag, 1990, pp. 281-305.
[12] P. Huber, K. Jensen, and R. M. Shapiro, "Hierarchies in coloured Petri nets," inAdvances in Petri Nets 1990, vol. 483,Lecture Notes in Computer Science, G. Rozenberg, Ed. Berlin: Springer-Verlag, 1991, pp. 313-341.
[13] M. S. Jaffe, N. G. Leveson, M. P. E. Heimdahl, and B. E. Melhart, "Software requirements analysis for real-time process-control systems,"IEEE Trans. Software Eng., vol. 17, no. 3, pp. 241-258, Mar. 1991.
[14] K. Jensen, "Colored Petri nets: A high level language for system design and analysis," inAdvances on Petri Nets '90, G. Rozenberg, Ed. New York: Springer-Verlag, 1991, to be published.
[15] K. Jensen and G. Rozenberg, Eds.High-Level Petri Nets; Theory and Application. New York: Springer-Verlag, 1991.
[16] B. Langefors, A. A. Verrijn-Stuart, and G. Bracchi, Eds.,Trends in Information Systems. Amsterdam: North-Holland, 1986.
[17] N. G. Leveson, "The challenge of building process-control software,"IEEE Software, pp. 55-62, Nov. 1990.
[18] D. A. Marca and C. L. McGowan,SADT: Structured Analysis and Design Technique. New York: McGraw-Hill, 1988.
[19] Meta Software Corporation,Design/IDEF. User's Manual (version 1.5). Cambridge, MA: Meta Software Corporation, 1989.
[20] Meta Software Corporation,Design/CPN. Reference Manual (Version 1.75), Cambridge, MA: Meta Software Corporation, Aug. 1991.
[21] E. L. Miranda, "Specifying control transformations through Petri nets,"ACM SIGSOFT Software Engineering Notes, vol. 14, no. 2, pp. 45-48, Apr. 1989.
[22] T. Murata, Ed.,International Workshop on Petri Nets and Performance Models. Madison, WI: The University of Wisconsin-Madison Press, 1987.
[23] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[24] W. Reisig, "Petri nets: An introduction," inEATCS Monographs on Theoretical Computer Science. New York: Springer-Verlag, 1985.
[25] G. Richter, "Clocks and their use for time modeling," inInformation Systems: Theoretical and Formal Aspects, A. Sernadas, J. Bubenko, Jr., and A. Olivé, Eds. Amsterdam: North-Holland, 1985, pp. 49-66. (Also published in [16], pp. 239-256.)
[26] G. Richter, "A note on side-conditions and inhibitor arcs,"Petri Net Newsletter, vol. 21, pp. 29-37, June 1985 (published by GI-SIG Petri Nets and Related System Models).
[27] Y. Tao and C. Kung, "Formal definition and verification of data flow diagrams,"J. Syst. Software, vol. 16, no. 1, pp. 29-36, Sept. 1991.
[28] K. S. Trivedi, Ed.,Int. Workshop Timed Petri Nets, Torino, Italy, July 1985.
[29] P. T. Ward, "The transformation schema: An extension of the data flow diagram to represent control and timing,"IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 198-210, Feb. 1986.
[30] P. T. Ward, "Embedded behavior pattern languages: A contribution to a taxonomy of CASE languages,"J. Syst. Software, vol. 9, pp. 109-128, 1989.
[31] P. T. Ward and D. Keskar, "A comparison of the Ward-Mellor and Boeing-Hatley real-time methods," inProc. 12th Structure Methods Conf., Chicago, IL, Aug. 1987, pp. 356-366.
[32] P. Ward and S. Mellor,Structured Development for Real-Time Systems, Vols. 1-3, Yourdon Press, New York, 1985.

Index Terms:
translation principles; rigorous interpretation; ESML; extended systems modeling language; graphics-based language; data flow diagram notation; control logic; real-time systems; Petri nets; transformation schema; token game; Petri nets; real-time systems; systems analysis; visual languages
Citation:
G. Richter, B. Maffeo, "Toward a Rigorous Interpretation of ESML-Extended Systems Modeling Language," IEEE Transactions on Software Engineering, vol. 19, no. 2, pp. 165-180, Feb. 1993, doi:10.1109/32.214833
Usage of this product signifies your acceptance of the Terms of Use.