Formal description techniques for distributed computing systems: the challenges for the 1990's

Chris A. Vissers, Jeroen van de Lagemaat, Luis Ferreira Pires

    Research output: Contribution to conferencePaperAcademicpeer-review

    1 Citation (Scopus)
    116 Downloads (Pure)

    Abstract

    Initially FDTs where developed within IS0 and CCITT for specification, at a high-level of abstraction, of distributed systems. Research is now being performed on the use of FDTs to support the complete implementation trajectory. In this paper we discuss a number of such research activities that are conducted within the framework of the Lotosphere project(*). The paper discusses aspects of design methodology, correctness preserving transformation, the reflection of design criteria, the role of pre-defined specification and implementation constructs, and formal approaches to conformance testing. Furthermore some insight is given in the development of a comprehensive toolset that supports these aspects of design methodology. The paper concludes with some experience obtained from the application of these methods and tools to some realistic pilot implementations: an ISDN and MHS application and a Transaction Processing application.
    Original languageEnglish
    Pages465-471
    Number of pages7
    DOIs
    Publication statusPublished - 1990
    Event2nd IEEE Workshop on Future Trends of Distributed Computing Systems, FTDCS 1990 - Cairo, Egypt
    Duration: 30 Sep 19902 Oct 1990
    Conference number: 2

    Workshop

    Workshop2nd IEEE Workshop on Future Trends of Distributed Computing Systems, FTDCS 1990
    Abbreviated titleFTDCS
    Country/TerritoryEgypt
    CityCairo
    Period30/09/902/10/90

    Keywords

    • SCS-Services

    Fingerprint

    Dive into the research topics of 'Formal description techniques for distributed computing systems: the challenges for the 1990's'. Together they form a unique fingerprint.

    Cite this