Overview of the Lotosphere Design Methodology

L. Ferreira Pires, C.A. Vissers

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


    This paper presents the direction of work in the Lotosphere Design Methodology. It first examines some basic concepts in distributed systems’ design and then identifies areas for further research and development. In this paper we define and analyse the needs of the design process for distributed systems, in order to determine how the use of a formal design language as LOTOS can improve this process. A top-down view of the design trajectory is used in order to introduce the design goals, and related definitions and concepts. In this context we discuss the role of abstraction as the concept that supports step-wise refinement, and the role of design languages, as the means to represent the relevant properties of a system. A more elaborated design trajectory takes into consideration the deviation cases from the straight top-down model. This analysis ends up at the level of design steps, at which design concerns are identified as the areas of interest: the design methods that comprise the methodology. The paper intends to provide a framework for the effective use of Formal Description Techniques (FDTs) in distributed system design, which is to be applied in the scope of the ESPRIT II Lotosphere Project (Project 2304).
    Original languageEnglish
    Title of host publicationESPRIT '90
    Subtitle of host publicationproceedings of the Annual ESPRIT Conference Brussels, November 12–15, 1990
    Place of PublicationDordrecht
    PublisherKluwer Academic
    ISBN (Electronic)978-94-009-0705-8
    ISBN (Print)978-94-010-6803-1
    Publication statusPublished - 1990
    EventAnnual ESPRIT Conference 1990 - Brussels, Belgium
    Duration: 12 Nov 199015 Nov 1990


    ConferenceAnnual ESPRIT Conference 1990
    Abbreviated titleESPRIT '90


    • Design decision
    • User requirement
    • Abstraction level
    • Design language
    • Design step


    Dive into the research topics of 'Overview of the Lotosphere Design Methodology'. Together they form a unique fingerprint.

    Cite this