Specification of abstract data types | Guide books skip to main content ACM Digital Library
home ACM Association for Computing Machinery corporate logo Google, Inc. (search) …

A concrete dynamic-data type is just a partial algebra with predicates such that for some of
the sorts there is a special predicate defining a transition relation. An abstract dynamic-data …

In this paper we introduce a formal approach for the specification of safety-critical embedded
systems. The specification formalisms Z and statecharts are integrated under a suitable …

This paper investigates the existence of pushouts in the category of order-sorted algebraic
specifications and specification morphisms. As amain result it is shown that the existence …

From an object-oriented point of view, software systems are considered to be dynamic
collections of autonomous objects that interact with each other. Autonomy means that each …

In the last ten years we have developed and experimented in a series of projects, including
industry test cases, a method for the specification of reactive/concurrent/parallel/distributed …

We introduce the concept of an algebraic state machine. This is a state transition machine all
parts of that are described by algebraic and logical means. This way we base the description …

Abstract Algebra transformation systems are introduced as formal models of components of
open distributed systems. They are given by a transition graph modelling the control flow …

A state-based extension of the algebraic specification langu-age CASL is presented. It
permits the specification of the static part of a complex dynamic system by means of CASL …

A process is a unit with the capacity of performing an activity by which it may interact with
other units and/or with the environment. The interactions may involve communicating …