Abstract
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]).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Blaauw and F. B. Jr. Computer Architecture - Lecture Notes. Twente University of Technology, Enschede, the Netherlands, 1975.
G. Conti. Methodologie d’Implantation des Protocoles de Communication. PhD thesis, Ecole Polytechnique Federale de Lausanne, Lausanne, Switzerland, 1990.
M. Juffermans. Implementation of LOTOS specifications in Ada. Master’s thesis, University of Twente, Enschede, the Netherlands, June 1991.
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.
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.
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.
R. Milner . A Calculus for Communicating Systems- Lecture Notes in Computer Science 92. Springer-Verlag, 1980.
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.
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.
K. J. Turner. An architectural semantics for LOTOS. In Protocol Specification Testing and Verification VII . North-Holland, 1988.
S. Westerdijk. Implementation of LOTOS specifications in C++ Ex. Master’s thesis, University of Twente, Enschede, the Netherlands, August 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Schot, J., Pires, L.F. (1995). Design and Implementation Strategies. In: Bolognesi, T., van de Lagemaat, J., Vissers, C. (eds) LOTOSphere: Software Development with LOTOS. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-2203-4_3
Download citation
DOI: https://doi.org/10.1007/978-1-4615-2203-4_3
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5924-1
Online ISBN: 978-1-4615-2203-4
eBook Packages: Springer Book Archive