Development of Distributed Systems with SDL by Means of Formalized APIs
Philipp Schaible5
and Reinhard Gotzhein5 
| (5) |
Computer Science Department, University of Kaiserslautern, Postfach 3049, D-67653 Kaiserslautern, Germany |
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.
References secured to subscribers.