Partial Nondeterministic Specifications
Up to this point, only nondeterministic specifications have been considered the models of which are total algebras. The axioms were restricted to (conditional) inclusion rules. An important advanced concept for classical equational specifications is an appropriate treatment of “undefined” situations during the computation of a value. In order to show that partial nondeterministic specifications do not evoke essential new problems, a generalization of our approach to partial specifications is addressed here. The treatment of partiality follows tightly the concepts in [Broy, Wirsing 82].
KeywordsPartial Specification Partial Algebra Partial Operation Algebraic Specification Terminal Model
Unable to display preview. Download preview PDF.