Formal Specification Languages
A formal specification language consists of
- syntax (the notation)
- semantics (the meaning)
- satisfies (relation defining which objects satisfy which notations)
A formal specification defines
- syntax (signature of the mapping)
- semantics (meaning of the mapping)
- exceptions (undefined/erroneous mappings)
If sat(syn,sem) then
- syn is a specification of sem
- sem is a specificand of syn