LOTOS specification style for OSI


Turner, K.J. and Sinderen, M. van (1995) LOTOS specification style for OSI. In: T. Bolognesi & J. van de Lagemaat & C.A. Vissers (Eds.), LOTOShere - Software development using LOTOS - Results of the LOTOShere project. Kluwer Academic Publishers, Dordrecht, pp. 137-159. ISBN 9780792395294

[img] PDF
Restricted to UT campus only

Abstract:The architecture of OSI is used to derive guidelines for writing LOTOS specifications of distributed systems. In particular, the architectural concepts that underlie service and protocol designs are examined in detail. For each of these concepts a representation in LOTOS is given. Examples are provided of how the LOTOS representations of the concepts are used in the construction of LOTOS specifications of service and protocol designs. The approach described in this paper is motivated by the need to produce distributed system specifications in a more consistent and productive fashion.
Item Type:Book Section
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/62013
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 119016