Design and Implementation Strategies

  • Jeroen Schot
  • Luís Ferreira Pires


This chapter addresses basically the pragmatic support for the production of a final implementation of a distributed information system, on basis of a high-level architectural design called initial architecture. This production process, which is called implementation phase ([G08]), is decomposed into two sub-phases. These two sub-phases share an intermediate design called reference implementation ([9]).


Implementation Strategy Design Step Reference Implementation Synchronous Communication Final Implementation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    G. Blaauw and F. B. Jr. Computer Architecture - Lecture Notes. Twente University of Technology, Enschede, the Netherlands, 1975.Google Scholar
  2. [2]
    G. Conti. Methodologie d’Implantation des Protocoles de Communication. PhD thesis, Ecole Polytechnique Federale de Lausanne, Lausanne, Switzerland, 1990.Google Scholar
  3. [3]
    M. Juffermans. Implementation of LOTOS specifications in Ada. Master’s thesis, University of Twente, Enschede, the Netherlands, June 1991.Google Scholar
  4. [4]
    G. Karjoth. Implementing process algebra specifications by state machines. In S. Aggarwal and K. Sabnani, editors Protocol Specification Testing and Verification VIII, pages 47–60. North-Holland, June 1988.Google Scholar
  5. [5]
    G. Karjoth. A compilation of algebraic processes based on extended-action derivation. In J. Quemada, J. M. as, and E. Vazquéz, editors Formal Description Techniques III, pages 127–140. North-Holland, 1991.Google Scholar
  6. [6]
    J. Manas and J. Salvachúa. Aß: a virtual LOTOS machine. In K. Parker and G. Rose, editors Fourth International Conference on Formal Description Techniques- Participant’s Proceedings pages 445–460, Sydney, Australia, November 1991.Google Scholar
  7. [7]
    R. Milner . A Calculus for Communicating Systems- Lecture Notes in Computer Science 92. Springer-Verlag, 1980.CrossRefGoogle Scholar
  8. [8]
    J. Schot. Addressing performance requirements in the FDT-based design of distributed systems. Computer Communications: Special Issue on Software Aspects of future trends in Distributed Systems pages 235–242, May 1992.Google Scholar
  9. [9]
    J. Schot. The Role of Architectural Semantics in the formal approach of Distributed Systems Design. PhD thesis, Twente University of Techology, Enschede, the Netherlands, February 1992.Google Scholar
  10. [10]
    K. J. Turner. An architectural semantics for LOTOS. In Protocol Specification Testing and Verification VII . North-Holland, 1988.Google Scholar
  11. [11]
    S. Westerdijk. Implementation of LOTOS specifications in C++ Ex. Master’s thesis, University of Twente, Enschede, the Netherlands, August 1991.Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1995

Authors and Affiliations

  • Jeroen Schot
    • 1
  • Luís Ferreira Pires
    • 2
  1. 1.telematics Research CentreEnschedethe Netherlands
  2. 2.University of TwenteEnschedethe Netherlands

Personalised recommendations