Architecture and specification style in formal descriptions of distributed systems

C.A. Vissers, Giuseppe Scollo, Marten J. van Sinderen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Abstract

    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.
    Original languageUndefined
    Title of host publicationProceedings of the IFIP WG6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification
    EditorsS. Aggarwal, K. Sabnani
    Place of PublicationAmsterdam
    PublisherElsevier
    Pages189-204
    Number of pages16
    ISBN (Print)0 444 70542 2
    Publication statusPublished - 1988
    EventIFIP WG6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1988 - , New Jersey, USA, Atlantic City, United States
    Duration: 7 Jun 198810 Jun 1988
    Conference number: 8

    Conference

    ConferenceIFIP WG6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, PSTV 1988
    Abbreviated titlePSTV 1988
    CountryUnited States
    CityAtlantic City
    Period7/06/8810/06/88

    Keywords

    • EWI-6805
    • SCS-Services

    Cite this

    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.