Abstract
Due to their intrinsic complexity, the development of distributed systems is difficult in general and therefore relies on careful and systematic development steps. This paper addresses the design and implementation of distributed systems, using SDL as the design language. In particular, the refinements during implementation design are examined, and it is shown how SDL interfacing patterns can support these steps, even in a heterogeneous environment. Then, tool support to automatically implement the interfacing patterns by generating tailored APIs for the system environment is presented. Finally, these technologies are illustrated in the context of a comprehensive development of a distributed light control system in a heterogeneous environment, using various communication technologies.
This work has been supported by the Deutsche Forschungsgemeinschaft (DFG) as part of Sonderforschungsbereich (SFB) 501, Development of Large Systems with Generic Methods.
This is a preview of subscription content, log in via an institution to check access.
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
ITU-T. Recommendation Z.100 (08/02), Specification and Description Language (SDL). International Telecommunication Union, Geneva.
B. Geppert, R. Gotzhein, F. Rößler. Configuring Communication Protocols Using SDL Patterns. SDL’97-Time for Testing, Proceedings of the 8th SDL Forum, Elsevier, Amsterdam, 1997, pp. 523–538.
D. Cisowski, B. Geppert, F. Rößler, M. Schwaiger. Tool Support for SDL Patterns. Proceedings of the 1st Workshop on SDL and MSC (SAM’98), Berlin, 1998.
F. Rößler, B. Geppert, P. Schaible. Re-Engineering of the Internet Stream Protocol ST2+ with Formalized Design Patterns. Proceedings of the 5th International Conference on Software Reuse (ICSR5), Victoria, Canada, 1998.
B. Geppert, A. Kühlmeyer, F. Rößler, M. Schneider. SDL-Pattern based Development of a Communication Subsystem for CAN. Formal Description Techniques and Protocol Specification, Testing, and Verification, Proceedings of FORTE/PSTV’98, Kluwer Academic Publishers, Boston, 1998, pp. 197–212.
B. Geppert. The SDL-Pattern Approach-A Reuse-Driven SDL Methodology for Designing Communication Software Systems. Ph.D. Thesis, University of Kaiserslautern, 2000.
T. Kim, R.L. Probert, I. Sales, A. Williams. Rapid Development of Network Software via SDL/Socket Interfaces, Proceedings of the 3r d Workshop on SDL and MSC (SAM’2002), Aberystwyth, Wales, LNCS 2599, Springer, 2003.
R. Gotzhein. Consolidating and Applying the SDL-Pattern Approach: A Detailed Case Study. Journal of Information and Software Technology, Elsevier Sciences, 2003 (in print).
Telelogic. Tau 4.4 SDL Suite, 2002.
S. Queins, G. Zimmermann, M. Becker, M. Kronenburg, C. Peper, R. Merz, J. Schäfer. The Light Control Case Study: Problem Description. Journal of Universal Computer Science (J.UCS), Special Issue on Requirements Engineering 6(7), pp. 586–596, Springer, 2000.
E. Börger, R. Gotzhein (Guest Eds.): Requirements Engineering: The Light Control Case Study. Special Issue of the Journal of Universal Computer Science (J.UCS), Numbers 6(7), Springer, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schaible, P., Gotzhein, R. (2003). Development of Distributed Systems with SDL by Means of Formalized APIs. In: Reed, R., Reed, J. (eds) SDL 2003: System Design. SDL 2003. Lecture Notes in Computer Science, vol 2708. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45075-0_19
Download citation
DOI: https://doi.org/10.1007/3-540-45075-0_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40539-9
Online ISBN: 978-3-540-45075-7
eBook Packages: Springer Book Archive