Marc Sihling

Learn More
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)
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)
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)
In the context of componentware, there are several different strategies to adapt a given ge¯ ner ¯ ic component. They differ in the necessary prerequisites and the achieved quality of the resulting specific component with respect to reliability , efficiency and reusability. In this paper, we discuss a number of conceivable adaptation strategies for(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)
The class diagram notation of current graphical object-oriented modeling languages does not scale well with the increasing complexity of modern systems. To overcome this weakness, we propose the concept of structured interfaces, a flexible refinement relationship between class diagrams and the use of attribute, operation and relation templates to abstract(More)
The introduction and successful application of engineering processes demands a modern infrastructure which supports efficient and convenient management of the various work products, their life-cycle, and their relations to each other. Mostly, work products are realized in form of electronic documents which can easily be edited, stored, copied and exchanged.(More)
  • 1