Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Architecture compliance checking at run-time

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


Information and software technology 51 (2009), Nr.11, S.1586-1600
ISSN: 0950-5849
Fraunhofer IESE ()
run time monitoring; architecture compliance checking; petri net

In this paper, we report on our experiences with architecture compliance checking the process of checking whether the planned or specified software architecture is obeyed by the running system of an OSGi-based, dynamically evolving application in the office domain. To that end, we first show how to dynamically instrument a running system in the context of OSGi in order to collect run-time traces. Second, we explain how to bridge the abstraction gap between run-time traces and software architectures, through the construction of hierarchical Colored Petri nets (CP-nets). In addition, we demonstrate how to design reusable hierarchical CP-nets. In an industry example, we were able to extract views that helped us to identify a number of architecturally relevant issues (e.g., architectural style violations, behavior violations) that would not have been detected otherwise, and could have caused serious problems like system malfunctioning or unauthorized access to sensitive data. Finally, we package valuable experiences and lessons learned from this endeavor.