An Evolving Algebra Abstract Machine

Evolving algebras (EAs) as defined by Yuri Gurevich constitute the basis of a powerful and elegant specification and verification method which has successfully been applied to the design and analysis of various kinds of discrete dynamic systems. Aiming at the development of a comprehensive EA-based specification and design environment, we introduce the concept of an evolving algebra abstract machine (EAM) as a platform for the systematic development of EA tools; for instance, as required for machine based analysis and execution of EA specifications. We give a formal definition of the EAM ground model in terms of a universal evolving algebra, where we validate the correctness of the relation between evolving algebras (their theoretical foundations) and their EAM representation and interpretation. Our approach covers sequential as well as distributed evolving algebras.

[1]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[2]  Andreas Blass,et al.  Evolving Algebras and Linear Time Hierarchy , 1994, IFIP Congress.

[3]  L. M. G. Feijs,et al.  Formal Specification and Design , 1992 .

[4]  Angelica Maria Kappel.  Executable Specifications based on Dynamic Algebras , 1993, LPAR.

[5]  Egon Börger,et al.  Correctness of Compiling Occam to Transputer Code , 1996, Comput. J..

[6]  Anthony M. Sloane,et al.  Eli: a complete, flexible compiler construction system , 1992, CACM.

[7]  Egon Börger,et al.  Why Use Evolving Algebras for Hardware and Software Engineering? , 1995, SOFSEM.

[8]  Dag Diesen,et al.  Specifying algorithms using evolving algebra : implementation of functional programming languages , 1995 .

[9]  Egon Börger,et al.  Annotated bibliography on evolving algebras , 1995, Specification and validation methods.

[10]  Yuri Gurevich,et al.  Evolving algebras 1993: Lipari guide , 1995, Specification and validation methods.

[11]  Robin Milner,et al.  Definition of standard ML , 1990 .

[12]  Egon Börger.  Specification and validation methods , 1995 .

[13]  Horst Reichel,et al.  Formal specification and design, Cambridge tracts in theoretical computer science: L.M.G. Feijs and H.B.M Jonkers, (Cambridge University Press, 1992) (hardback), ISBN 0-521-43457-2 , 1995 .

[14]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1: Equations and Initial Semantics , 1985 .

[15]  Simon L. Peyton Jones,et al.  The Implementation of Functional Programming Languages , 1987 .