Nothing Special   »   [go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

The SEA Language for system engineering and animation

  • Full Papers
  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1996 (ICATPN 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1091))

Included in the following conference series:

Abstract

This paper describes the hierarchical, graphical SEA Language. The SEA Language relies on extended Predicate Transition Nets that unambiguously define the semantics of graphical system specifications. These nets are also used as a basis for simulating/animating system specifications. The SEA Language allows to easily incorporate several user defined or standardized graphical symbols and their behaviour. Via this approach a unified semantic basis for different graphical specification formalisms/techniques can be provided. These techniques may be application independent like data flow graphs, statecharts or block diagrams for differential equations or application dependent like logical gates for hardware systems. Hence, engineers can specify system (parts) using the graphical symbols they are used to. Due to the underlying common semantics defined by extended Predicate Transition Nets, a heterogeneous system can be specified and simulated as a whole at very early stages of design before some system components are already constructed. This approach and its benefits will be explained using the well known elevator system as an example of a heterogeneous system.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. M. Brielmann, B. Kleinjohann: A formal model for coupling computer based systems and physical systems; in Proceedings of EURO-DAG, 1993.

    Google Scholar 

  2. M. Brielmann, B. Kleinjohann: Petri Nets as a Common Model for Combinined Physical and Computer Based Systems; in Petri-Netze im Einsatz für Entwurf und Entwicklung von Informationssystemen, 1993.

    Google Scholar 

  3. M. Brielmann: Modelling Differential Equations by Basic Information Technology Means; in Proceeding of EUROCAST'95, Innsbruck, 1995.

    Google Scholar 

  4. CCITT Recommendation Z.100: Specification and Description Language SDL. AP IX-35, 1988.

    Google Scholar 

  5. L.A. Cherkasova, V.E. Kotov: Structured Nets; Lecture Notes of Computer Science 118, Springer Verlag, 1981.

    Google Scholar 

  6. J. B. Dennis: Models of Data Flow Computation; in M. Broy (ed.), Control Flow and Data Flow: Concepts of Distributed Programming, Springer Verlag, 1985.

    Google Scholar 

  7. H. J. Genrich, K. Lautenbach: System Modelling with High-Level Petri Nets; Theoretical Computer Science, 13, North Holland, 1981.

    Google Scholar 

  8. H.J. Genrich, R. M. Shapiro: A Design of a Cascadable Nacking Arbiter; MetaSoft TR 93-1, Meta Software Corporation, Cambridge, MA, 1993.

    Google Scholar 

  9. D. Harel: Statecharts — A visual formalism for complex systems; Science of Computer Programming, 8, 1987.

    Google Scholar 

  10. D. J. Kinniment: Regular Programmable Control Structures; Proc. VLSI Conference, 1981.

    Google Scholar 

  11. E. Kleinjohann: Integrierte Entwurfsberatung auf der Basis erweiterter Prädikat/Transitionsnetze; Dissertation, Universität-Gesamthochschule Paderborn, Fachbereich 17, 1993.

    Google Scholar 

  12. B. Kleinjohann: Synthese von zeitinvarianten Hardware Modulen; Dissertation, Universität-Gesamthochschule Paderborn, Fachbereich 17, 1994.

    Google Scholar 

  13. B. Kleinjohann, R. Milczewski; Ein einheitliches formales Modell zur Schnittstellenspezifikation und Hardwarebeschreibung; in GI/ITG-Workshop: Formale Methoden zum Entwurf korrekter Systeme, 1993.

    Google Scholar 

  14. K. Kahn, V.A. Saraswat: Complete visualization of concurrent programs and their execution; in IEEE Workshop on Visual Languages, Oct. 1990.

    Google Scholar 

  15. J. L. Peterson: Petri Net Theory and the Modelling of Systems; Prentice Hall, 1981.

    Google Scholar 

  16. C.A. Petri: Kommunikation mit Automaten; Schriften des IIM Nr. 2, Institut für Instrumentelle Mathematik, Bonn, 1962.

    Google Scholar 

  17. D. T. Ross: Structured Analysis (SA) — A language for Communicating Ideas; in IEEE ToSE Se-3:1, 1977.

    Google Scholar 

  18. J. Schröer: A short description of a model compiler/interpreter for supporting simulation and optimization of nonlinear and linearized dynamic systems; in 5th IFAC/IMACS Symposium on CADCS, 1991.

    Google Scholar 

  19. P. H. Starke: Analyse von Petri-Netz-Modellen; Teubner Verlag, 1990.

    Google Scholar 

  20. STATEMATE, When you hit the switch-4., i-Logix product information, i-Logix Inc., Burlington, MA, USA, 1992.

    Google Scholar 

  21. U. Suffrian: Vergleichende Untersuchungen von State-Charts und strukturierten Petri-Netzen; Diplomarbeit, Universität-Gesamthochschule Paderborn, Fachbereich 17, 1990.

    Google Scholar 

  22. J. Tacken: Steuerung und Überwachung von Entwurfssystemen mit Hilfe von Prädikat/Transitions-Netzen; Diplomarbeit, Universität-Gesamthochschule Paderborn, Fachbereich 17, November 1992.

    Google Scholar 

  23. C. M. Yoder, M. L. Schrag: Nassi-Shneiderman Charts: An Alternative to Flowcharts for Design; in Proceedings of ACM SIGSOFT/SIGMETRICS Software Quality and Assurance Workshop, Nov. 1978.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. C-LAB, Joint R&D Institute of Universität-GH-Paderborn and Siemens Nixdorf Informationssysteme AG, D-33094, Paderborn

    B. Kleinjohann, E. Kleinjohann & J. Tacken

Authors
  1. B. Kleinjohann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. E. Kleinjohann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. J. Tacken
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jonathan Billington Wolfgang Reisig

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kleinjohann, B., Kleinjohann, E., Tacken, J. (1996). The SEA Language for system engineering and animation. In: Billington, J., Reisig, W. (eds) Application and Theory of Petri Nets 1996. ICATPN 1996. Lecture Notes in Computer Science, vol 1091. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61363-3_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-61363-3_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61363-3

  • Online ISBN: 978-3-540-68505-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation