Architecture Compliance Checking at Runtime: An Industry Experience Report

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Ganesan, D., Keuler, T., Nishimura, Y.
Format: Conference Proceeding
Language:English
Subjects:
architecture compliance checking
Computer architecture
Connectors
Data mining
hierarchical colored Petri nets
Instruments
Java
Monitoring
Probes
run-time monitoring
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1550-6002
2332-662X
DOI:10.1109/QSIC.2008.45