Abstract
Abstract State Machines (ASMs) [13] and Predicate Transition (Pr/T-) Nets [10] constitute alternative approaches to mathematical modelling of concurrent and embedded computing systems. In fact, they are based on similar combinations of the same mathematical concepts: they both combine declarative concepts of first-order logic with the operational view of transition systems; moreover, they are closely related with respect to the underlying notions of concurrency and non-determinism. On the other hand, the resulting system representations differ considerably (e.g., they use distinct notations and are based on complementary system views) so that it is not immediately clear how they can be combined or transformed into each other. The work presented here investigates the formal relation between ASMs and Pr/T-nets with the aim to integrate them into a common framework for modelling concurrent and embedded systems, where Pr/T-nets are considered as a graphical interface for distributed ASMs. For the class of strict Pr/T-nets (which constitutes the basic form of Pr/T-nets) a transformation to distributed ASMs will be given.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
J.-R. Abrial, E. Börger, and H. Langmaack, editors. Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of LNCS (State-of-the-Art Survey). Springer-Verlag, 1996.
Ch. Beierle, E. Börger, I. Durdanović, U. Glässer, and E. Riccobene. Refining abstract machine specifications of the steam boiler control to well documented executable code. In J.-R. Abrial, E. Börger, and H. Langmaack, editors, Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, volume 1165 of LNCS (State-of-the-Art Survey), pages 52–78. Springer-Verlag, 1996.
E. Börger and U. Glässer. A formal specification of the PVM architecture. In B. Pehrson and 1. Simon, editors, Proc. of the IFIP 13th World Computer Congress 1994, Volume I: Technology and Foundations, pages 402–409. Elsevier Science Publishers B. V., 1994.
E. Börger, U. Glässer, and W. Mueller. Formal definition of an abstract VHDL'93 simulator by EA-machines. In C. Delgado Kloos and P.T. Breuer, editors, Semantics of VHDL, volume 307 of The Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publishers, 1995.
Egon Börger. Why use evolving algebras for hardware and software engineering. In Proc, of SOFSEM'95, volume 1012 of LNCS, pages 236–271. Springer-Verlag, 1995.
Maria Brielmann. Modelling differential equations by basic information technology means. In R. Moreno-Díaz F. Pichler and R. Albrecht, editors, Computer Aided Systems Theory-EUROCAST'95 (Proc. of the Fifth International Workshop on Computer Aided Systems Theory), volume 1030 of LNCS, pages 163–174. Springer-Verlag, 1996.
T. Lindner C. Lewerentz, editor. Formal Development of Reactive Systems, volume 891 of Lecture Notes in Computer Science. Springer-Verlag, 1995.
G. Del Castillo, I. Durdanović and U. Glässer. An evolving algebra abstract machine. In H. Kleine Büning, editor, Computer Science Logic, volume 1092 of LNCS, pages 191–214. Springer-Verlag, 1996.
H. J. Genrich and K. Lautenbach. System modelling with high-level Petri nets. In Theoretical Computer Science, volume 13, pages 109–136. North-Holland, 1981.
Hartmann J. Genrich. Predicate/Transition nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, volume 254 of Lecture Notes in Computer Science, pages 207–247. Springer-Verlag, 1986.
Hartmann J. Genrich. Equivalence transformations of Pr/T-nets. In Grzegorz Rozenberg, editor, Advances in Petri Nets 1989, volume 424 of Lecture Notes in Computer Science, pages 179–208. Springer-Verlag, 1990.
Y. Gurevich and J. Huggins. The railroad crossing problem: An experiment with instantaneous actions and immediate reactions. In H. Kleine Büning, editor, Computer Science Logic, volume 1092 of LNCS, pages 266–290. Springer-Verlag, 1996.
Yuri Gurevich. Evolving Algebra 1993: Lipari Guide. In E. Börger, editor, Specification and Validation Methods, pages 9–36. Oxford University Press, 1995.
Jim Huggins. Kermit: Specification and verification. In E. Börger, editor, Specification and Validation Methods. Oxford University Press, 1995.
B. Kleinjohann, E. Kleinjohann, and J. Tacken. The SEA language for system engineering and animation. In Applications and Theory of Petri Nets, volume 1091 of LNCS. Springer-Verlag, 1996.
F. Pichler, H. Schwärtzel, and R. Moreno-Díaz. System Science and Systems Technology: From conceptual frameworks to applicable solutions. In Proceedings of the Fourth International Workshop on Computer Aided Systems Technology (Ottawa, Ont., May 16–20), 1994.
Franz Pichler. Systems theory and engineering. In F. Pichler and R. Moreno-Díaz, editors, Computer Aided Systems Theory — EUROCAST'93, LNCS 763, pages 2–10. Springer-Verlag, 1994.
Franz J. Rammig. Modelling aspects of system level design. In Proc. EURO-DAC '93, pages 534–539. IEEE, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Glässer, U. (1997). Modelling of concurrent and embedded systems. In: Pichler, F., Moreno-Díaz, R. (eds) Computer Aided Systems Theory — EUROCAST'97. EUROCAST 1997. Lecture Notes in Computer Science, vol 1333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0025038
Download citation
DOI: https://doi.org/10.1007/BFb0025038
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63811-7
Online ISBN: 978-3-540-69651-3
eBook Packages: Springer Book Archive