Conference
Formally specifying temporal constraints and error recovery
Abstract
Recent research has advocated the use of deontic logics in requirements specification. A form of deontic action logic is described, and it is shown how it can be used to specify both temporal constraints and error recovery. The logic includes a deontic predicate of bounded obligation, and normative predicates. Bounded obligation allows bounds to be placed on the performance of actions, and can be used to specify temporal constraints. The …
Authors
Kent SJH; Maibaum TSE; Quirk WJ
Pagination
pp. 208-215
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
January 1, 1992
DOI
10.1109/isre.1993.324856
Name of conference
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering