Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Architecture compliance checking at runtime: An industry experience report

: Ganesan, Dharmalingam; Keuler, Thorsten; Nishimura, Yutaro


Zhu, H. ; IEEE Computer Society:
Eighth International Conference on Quality Software, QSIC 2008. Proceedings : 12-13 Aug. 2008, Oxford
Los Alamitos: IEEE Computer Society, 2008
ISBN: 978-0-7695-3312-4
International Conference on Quality Software (QSIC) <8, 2008, Oxford>
Fraunhofer IESE ()
run time monitoring; architecture compliance checking; petri net

In this paper, we report on our experiences we made with architecture compliance checking at run-time. To that end, we constructed hierarchical colored Petri nets (CP-nets), using existing general purpose functional programming languages, for bridging the abstraction gap between architectural views and run-time traces. In an industry example, we were able to extract views that helped us to identify a number of architecturally relevant issues (e.g., style constraint violations) that would not have been detected otherwise. Finally, we demonstrate how to systematically design reusable hierarchical CP-nets, and package valuable experiences and lessons learned from the example application.