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]).


Marketing Encapsulation Topo Tocol 


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