Towards a development approach for dynamic-integrative systems

The current progress in ubiquitous and pervasive computing not only imposes new requirements for the integration capabilities of the involved components, but also for the applied development process itself. To ensure a system's correctness and safety properties, a suitable development approach has to provide specification techniques, component models, and a common communication infrastructure to cope with the arbitrary appearance and disappearance of physical components at execution time. This paper suggests a first framework for the development of so called dynamic-integrative systems.