What is an algebraic specifications?

The algebraic specifications offer a powerful tool of writing hierarchical, modular and implementation independent specifications. Furthermore Algebraic specifications are especially suitable for rapid prototypes and suitable framework for the development and development of validation tools.

The methods of algebraic specification can be used for software development to maintain verifiability, consistency and usability. The main purpose is to put intuitive ideas into a concrete environment to get better quality products. A specification is represented by a composition that describes a series of behaviours. A deterministic component has an exact behaviour. The behaviour is represented by a stream processing function. We introduce behavioural behaviour and apply it to specifications. We show how algebraic specifications can be used as an algebraic and logical origin for state-automatic specifications and status transition diagrams.