Title :
Architecture Compliance Checking at Runtime: An Industry Experience Report
Author :
Ganesan, Dharmalingam ; Keuler, Thorsten ; Nishimura, Yutaro
Author_Institution :
Fraunhofer Center for Exp. Software Eng. (CESE), College Park, MD
Abstract :
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.
Keywords :
Petri nets; computerised monitoring; software architecture; abstraction gap; architecture compliance checking; functional programming languages; hierarchical colored Petri nets; industry experience report; Computer architecture; Computer industry; Educational institutions; Functional programming; Monitoring; Petri nets; Runtime; Software architecture; Software engineering; Visualization; architecture compliance checking; hierarchical colored Petri nets; run-time monitoring;
Conference_Titel :
Quality Software, 2008. QSIC '08. The Eighth International Conference on
Conference_Location :
Oxford
Print_ISBN :
978-0-7695-3312-4
DOI :
10.1109/QSIC.2008.45