Algebraic Specifications - 2
Specification includes
- functionality: syntax and legal constructions
- relations: semantics by equivalence classes
Pros and Cons
- only pure functions described (no side effects)
- supports extensibility of data abstractions
- often hard to comprehend and construct
- particularly applicable to abstract data types
Various notations: OBJ, Larch, Clear, Anna