We present the first part of a formalization of many-sorted evolving algebras.This includes a formal description of the language of evolving algebras and a structured operational semantics for it. We describe evolving algebras within a framework of many-sorted logic of partial functions, which is in contrast to the original presentation by Gurevich in a 1991 paper, who took a one-sorted approach. The second part of this study, which will appear later, will encompass a Hoare-style logic which makes it possible to reason about evolving algebras.
展开▼