We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, comprehensive and mainly graphical description techniques to specify both different views and different levels of abstraction of the system. To avoid ill-defined specifications,… (More)
The architecture of an IT system is of crucial importance for its success. In order to assess architecture's fitness, a number of standardized architecture evaluation methods have been proposed. Most of them are intended for the evaluation of a single architecture at a certain point in time. Furthermore, the results are often highly dependent on the person… (More)
We present a new approach to a componentware development methodology based on a system of process patterns. We argue that organizing the development process by means of a pattern system results in higher flexibility compared to traditional ways of defining development processes. This is especially important in the context of componentware. Finally, we… (More)
In this paper, we outline and clarify our view of the essential concepts of componentware, focusing on the role of formal foundations in the context of an overall development methodology. We provide a formal system model which allows for clear deenitions of concepts like, for instance, component, interface, connection, aggregation, and reenement. While… (More)
Mobile agents gained immense attraction as a new programming concept for implementing distributed applications. However, up to now mobile agent programming has been mainly technology driven, with a focus on the implementation of mobile agent platforms and only small programming applications. In this work, we present an extension of the standard UML that… (More)
We present a new approach to a componentware development methodology based on a system of process patterns. We argue that organizing the development process by means of a pattern system results in much higher exibility and is especially suited to the context of componentware.
We present the characteristics of component-based software engineering and derive the requirements for a corresponding development process. Based on this, we propose changes and extensions for the V-Modell, the Ger-man standard process model for information systems development in the public services. Following this model, we cover not only systems… (More)
We outline and clarify the essential concepts of the componentware paradigm. After motivating the role of formal foundations and introducing a number of useful description techniques, we propose a flexible process model for component-based development based on process patterns. The presented techniques and concepts serve as building blocks of an overall… (More)