Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Architecture compliance checking at runtime: An industry experience report

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

Kaiserslautern, 2008, VII, 26 S.
IESE-Report, 014.08/E
Reportnr.: 014.08/E
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.