论文信息 - A Formalisation of Evolving Algebras

A Formalisation of Evolving Algebras

Evolving Algebras is a speciication formalism developed by Y. Gurevich. It is applied in a number of cases, e.g. to deene the semantics of programming languages and protocols. This paper presents a formal deenition of Evolving Algebras with a clear separation between syntax and semantics, leading (among other things) to an elaboration of the join operator. The relation with the formal speciication language COLD is stressed.

Gerard Renardel de Lavalette | Rix Groenboom | G. R. D. Lavalette | R. Groenboom

[1] Yuri Gurevich,et al. Algebraic Operational Semantics and Occam , 1990, CSL.

[2] Dieter Fensel,et al. Formalizing and operationalizing a design task with KARL , 1993 .

[3] Egon Börger. Logic Programming: The Evolving Algebra Approach , 1994, IFIP Congress.

[4] G. R. D. Lavalette,et al. The logic MPL ω , 1989 .

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

[6] Gerard R. Renardel de Lavalette,et al. The Static Part of the Design Language COLD-K , 1993, Semantics of Specification Languages.

[7] David E. Johnson,et al. Grammar formalisms viewed as evolving algebras , 1994 .

[8] Frank van Harmelen,et al. A KADS/(ML) 2 model of a scheduling task , 1993 .