The algebraic specification language LOTOS: an industrial experience
Luigi Logrippo, Tim Melanchuk, Robert J. Du Wors · 1990
he ISO specification language LOTOS is presented, e together with the results of a project involving the valuation of its usefulness in an industrial environment. C LOTOS is a mixture of concepts taken from CCS and SP, along with an algebraic abstract data type formalf ism. The language was used by Gandalf to develop a ormal specification of an existing protocol, part of a diss tributed data PBX. The effort concentrated on the pecification of two aspects of the protocol: the top level t i system architecture, and the call management phase. I s shown how the unique features of LOTOS were found f t to be useful for expressing these aspects. The results o he project were positive, and further use of LOTOS is 1 planned within Gandalf. . INTRODUCTION AND MOTIVATION - c The subject of specification languages for data communi ations protocols and services (often called Formal m Description Techniques or FDTs) has been the focus of uch recent research. The initial motivation for the e s FD...