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.
Preview
Unable to display preview. Download preview PDF.
References
M. Brielmann, B. Kleinjohann: A formal model for coupling computer based systems and physical systems; in Proceedings of EURO-DAG, 1993.
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.
M. Brielmann: Modelling Differential Equations by Basic Information Technology Means; in Proceeding of EUROCAST'95, Innsbruck, 1995.
CCITT Recommendation Z.100: Specification and Description Language SDL. AP IX-35, 1988.
L.A. Cherkasova, V.E. Kotov: Structured Nets; Lecture Notes of Computer Science 118, Springer Verlag, 1981.
J. B. Dennis: Models of Data Flow Computation; in M. Broy (ed.), Control Flow and Data Flow: Concepts of Distributed Programming, Springer Verlag, 1985.
H. J. Genrich, K. Lautenbach: System Modelling with High-Level Petri Nets; Theoretical Computer Science, 13, North Holland, 1981.
H.J. Genrich, R. M. Shapiro: A Design of a Cascadable Nacking Arbiter; MetaSoft TR 93-1, Meta Software Corporation, Cambridge, MA, 1993.
D. Harel: Statecharts — A visual formalism for complex systems; Science of Computer Programming, 8, 1987.
D. J. Kinniment: Regular Programmable Control Structures; Proc. VLSI Conference, 1981.
E. Kleinjohann: Integrierte Entwurfsberatung auf der Basis erweiterter Prädikat/Transitionsnetze; Dissertation, Universität-Gesamthochschule Paderborn, Fachbereich 17, 1993.
B. Kleinjohann: Synthese von zeitinvarianten Hardware Modulen; Dissertation, Universität-Gesamthochschule Paderborn, Fachbereich 17, 1994.
B. Kleinjohann, R. Milczewski; Ein einheitliches formales Modell zur Schnittstellenspezifikation und Hardwarebeschreibung; in GI/ITG-Workshop: Formale Methoden zum Entwurf korrekter Systeme, 1993.
K. Kahn, V.A. Saraswat: Complete visualization of concurrent programs and their execution; in IEEE Workshop on Visual Languages, Oct. 1990.
J. L. Peterson: Petri Net Theory and the Modelling of Systems; Prentice Hall, 1981.
C.A. Petri: Kommunikation mit Automaten; Schriften des IIM Nr. 2, Institut für Instrumentelle Mathematik, Bonn, 1962.
D. T. Ross: Structured Analysis (SA) — A language for Communicating Ideas; in IEEE ToSE Se-3:1, 1977.
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.
P. H. Starke: Analyse von Petri-Netz-Modellen; Teubner Verlag, 1990.
STATEMATE, When you hit the switch-4., i-Logix product information, i-Logix Inc., Burlington, MA, USA, 1992.
U. Suffrian: Vergleichende Untersuchungen von State-Charts und strukturierten Petri-Netzen; Diplomarbeit, Universität-Gesamthochschule Paderborn, Fachbereich 17, 1990.
J. Tacken: Steuerung und Überwachung von Entwurfssystemen mit Hilfe von Prädikat/Transitions-Netzen; Diplomarbeit, Universität-Gesamthochschule Paderborn, Fachbereich 17, November 1992.
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.
Author information
Authors and Affiliations
Editor information
Rights 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