Objective of this paper is to illustrate relationships that exist between architecture, the abstract subject of distributed system design, and specification style, the way of using a given language to design and implement the architecture. We advocate for a few specification styles thate allow to structure formal specifications and can be used at advantage to pursue explicitly defined design objectives. The establsihment of common and related specification styles is also considered paramount to preserving homogeneity of large specifications developed by teams of specifiers. Such specification styles enable the designer to better control the design trajectory and thus to produce higher quality designs in shorter timescales. The presentation is endowed with simple examples. The specification language LOTOS is used as a vehicle to convey ideas and to present examples, but the reasoning is kept independent of any particular language.
|Title of host publication||Proceedings of the IFIP WG6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification|
|Editors||S. Aggarwal, K. Sabnani|
|Place of Publication||Amsterdam|
|Number of pages||16|
|ISBN (Print)||0 444 70542 2|
|Publication status||Published - 1988|
|Event||IFIP WG6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1988 - , New Jersey, USA, Atlantic City, United States|
Duration: 7 Jun 1988 → 10 Jun 1988
Conference number: 8
|Conference||IFIP WG6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1988|
|Abbreviated title||PSTV 1988|
|Period||7/06/88 → 10/06/88|
Vissers, C. A., Scollo, G., & van Sinderen, M. J. (1988). Architecture and specification style in formal descriptions of distributed systems. In S. Aggarwal, & K. Sabnani (Eds.), Proceedings of the IFIP WG6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification (pp. 189-204). Amsterdam: Elsevier.