Specifying telephone systems in LOTOS
- 1 August 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Communications Magazine
- Vol. 31 (8) , 38-45
- https://doi.org/10.1109/35.229520
Abstract
A method for detecting feature interactions in the design of telephone systems using LOTOS (language of temporal ordering specifications) is described. The specification discussed includes call forwarding on a busy line, setting a three-way call, and call waiting. The ways in which a specification of a telephone system involving such features can be constructed in LOTOS and the ways in which LOTOS tools can be used to detect unwanted interactions of the features are illustrated using simple examples. The techniques used are step-by-step execution, symbolic execution, and compositional execution with test processes.Keywords
This publication has 3 references indexed in Scilit:
- Protocol validation — principles and applicationsComputer Networks and ISDN Systems, 1992
- An introduction to LOTOS: learning by examplesComputer Networks and ISDN Systems, 1992
- A distributed alternative to finite-state-machine specificationsACM Transactions on Programming Languages and Systems, 1985