Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Behavioral consistency checking for component-based software development using the KobrA approach

: Choi, Y.; Bunse, C.

Huzar, Z.:
Third Workshop on Consistency Problems in UML-based Software Development 2004. Understanding and Usage of Dependency Relationships. Workshop Materials
Lissabon, 2004
pp.77-90 : Ill., Lit.
Workshop on Consistency Problems in UML-based Software Development <3, 2004, Lissabon>
Conference Paper
Fraunhofer IESE ()
KobrA; Unified Modeling Language (UML); quality assurance; analysis technique

UML has become the 'quasi' standard modeling language in a wide range of system domains, ranging from e-business to safety critical embedded systems, especially with the current trend in component-based system development. Various UML diagrams enable developers to specify various aspects of a system component, including component interfaces, their abstract/detailed behavior, and thus, the use of UML in a component-based system development methodology, known as KobrA. Nevertheless, the use of different UML diagrams introduces potential inconsistency problems. The iterative nature of the KobrA method is also subject to additional inconsistency issues at different levels of abstraction. In this paper, we define consistency problems in the context of component-based development with the KobrA method, and suggest a checking mechanism using environment modeling. Our approach emphasizes the integration of the checking mechanism into the development process and is general enough to be adapted towards other modeling approaches. We illustrate our checking approach with examples and demonstrate its automation using the SPIN model checker.