Conference Proceeding
Details
Citation
Turner KJ (1988) Constraint-Oriented Style in LOTOS. In: Proceedings of the British Computer Society Workshop on Formal Methods in Standards. British Computer Society Workshop on Formal Methods in Standards, April 1988, London. London: British Computer Society, pp. 1-13.
Abstract
The concept of a constraint-oriented specification style is presented in general terms and with respect to the ISO Formal Description Technique LOTOS (Language Of Temporal Ordering Specification). The constraint-oriented style has proven very suitable for specifying the abstract, implementation-independent behaviour of systems in a modular fashion. The essential idea behind constraint-oriented specification is separation of concerns, which is facilitated by the behaviour combinators of LOTOS. The constraint-oriented style is illustrated by giving a highly-structured specification in LOTOS of the well-known AB (Alternating Bit) Protocol.
Status | Unpublished |
---|---|
Publication date | 30/04/1988 |
URL | http://hdl.handle.net/1893/617 |
Publisher | British Computer Society |
Place of publication | London |
Conference | British Computer Society Workshop on Formal Methods in Standards, April 1988 |
Conference location | London |
People (1)
Emeritus Professor, Computing Science