Design and Implementation Strategies
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 ().
KeywordsMarketing Encapsulation Topo Tocol
Unable to display preview. Download preview PDF.
- G. Blaauw and F. B. Jr. Computer Architecture - Lecture Notes. Twente University of Technology, Enschede, the Netherlands, 1975.Google Scholar
- G. Conti. Methodologie d’Implantation des Protocoles de Communication. PhD thesis, Ecole Polytechnique Federale de Lausanne, Lausanne, Switzerland, 1990.Google Scholar
- M. Juffermans. Implementation of LOTOS specifications in Ada. Master’s thesis, University of Twente, Enschede, the Netherlands, June 1991.Google Scholar
- 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
- 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
- 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
- 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
- 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
- K. J. Turner. An architectural semantics for LOTOS. In Protocol Specification Testing and Verification VII . North-Holland, 1988.Google Scholar
- S. Westerdijk. Implementation of LOTOS specifications in C++ Ex. Master’s thesis, University of Twente, Enschede, the Netherlands, August 1991.Google Scholar