论文信息 - Use of LOTOS in the formal development of an OSI protocol

Use of LOTOS in the formal development of an OSI protocol

Abstract Using an ISO standard as the example, this paper describes an investigation into the use of LOTOS in the specification and implementation of large distributed systems. We propose a development trajectory and a specification style suitable both for abstract and for implementation-oriented specifications. Preliminary work has been carried out in translating implementation-oriented specifications into outline Ada.

Robert G. Clark | Val Jones

[1] Henk Eertink,et al. Design of the LOTOSPHERE Symbolic LOTOS Simulator , 1990, FORTE.

[2] Brian Henderson-Sellers,et al. The object-oriented systems life cycle , 1990, CACM.

[3] Grady Booch,et al. Object-oriented development , 1986, IEEE Transactions on Software Engineering.

[4] Hartmut Ehrig,et al. Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[5] Kenneth J. Turner. A LOTOS-Based Development Strategy , 1989, FORTE.

[6] Robert G. Clark. Using LOTOS in the object-based development of embedded systems , 1992 .

[7] Marten van Sinderen,et al. Architecture and Specification Style in Formal Descriptions of Distributed Systems , 1988 .

[8] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.

[9] Tommaso Bolognesi,et al. Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling , 1994, FORTE.

[10] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[11] Robert E. Milne,et al. The formal description technique LOTOS : By P.H.J. van Eijk, C.A. Vissers and M. Diaz, eds. North-Holland, Amsterdam, Netherlands, 1989, Price $102.50 (hardback), ISBN 0-444-87267-1. , 1990 .

[12] Arturo Azcorra,et al. The SRTS Experience: Using TOPO for LOTOS Design and Realization , 1990, FORTE.