Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Detection of conflicts and inconsistencies between architecture solutions

: Kallweit, Benno; Antonino, Pablo Oliveira; Jahic, Jasmin; Kuhn, Thomas; Liggesmeyer, Peter


Bures, T.:
Software architecture: 13th European conference, ECSA 2019. Proceedings : Paris, France, 9-13 September 2019
Cham: Springer, 2019 (Lecture Notes in Computer Science 11681)
ISBN: 978-3-030-29982-8
ISBN: 3-030-29982-1
ISBN: 978-3-030-29983-5
European Conference on Software Architecture (ECSA) <13, 2019, Paris>
Fraunhofer IESE ()

This paper presents a semi-automated approach for detecting conflicts and inconsistencies between architecture solutions. Inconsistencies occur when two or more architecture solutions rely on each other but cannot be satisfied, and conflicts when there are contradictions within one single decision specification, such as contradictory variable range and value. The proposed approach comprises a set of checks followed by transformations of architecture solutions specified according to a domain-specific-language, also created in the context of this work, into state machines. The semi-automated approach is implemented as a plugin for the MagicDraw modeling tool, and was evaluated in a project from the automotive domain.