Algebraic Specifications:a simple notation

specification name (generic parameters)

sort name

imports list of specification names

operation signatures

relations

• an algebraic specification is a collection of sorts

• a sort specifies an object class (or abstract data type)

• importing specifications makes their defined sorts visible

• the operation signatures define each operation's name and the sorts of parameters and results (syntax)

• the relations define the effect of applying operations (semantics)

• should be supported by informal description

Previous slide

Next slide

Back to first slide

View graphic version