Back to University of Twente portal
LOTOS specification style for OSI
Turner, K.J. and Sinderen van, M. (1992) LOTOS specification style for OSI. In: Proceedings of the Third LOTOShere Workshop, 14-16 Sep 1992, Pisa, Italy.
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 149Kb |
| 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: | Conference or Workshop Item |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/64451 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 122162