Title
On Adequate Behavior-Based Architecture Conformance Checks
Abstract
Architecture conformance checks are important to control the inevitable drift between the prescriptive and descriptive architectures of a software system during its evolution. To this end, behavior-based architecture conformance checks should be employed in addition to static ones. But behavior-based analyses suffer from an important shortcoming: their results depend on the adequateness of the monitored behavior. Our claim is that a behavior-based architecture conformance check is adequate if (1) the architectural rules relevant from a behavior viewpoint are expressible and can be checked against and (2) the set of captured scenarios are relevant for exhibiting the overall behavior of the system. First, using ARAMIS, our approach to behavior-based architecture reconstruction and conformance checking, we exemplify how conformance rules can be expressed. Then, we propose a metric to investigate the relevance of the monitored scenarios. Last we present two case studies, in which we defined and checked communication rules and discuss the relevance of the monitored scenarios.
Year
DOI
Venue
2017
10.1109/APSEC.2017.51
2017 24th Asia-Pacific Software Engineering Conference (APSEC)
Keywords
Field
DocType
adequate behavior-based architecture conformance checks,prescriptive architectures,software system,ARAMIS,conformance checking,architecture reconstruction,behavior viewpoint,architectural rules,monitored behavior,descriptive architectures
Architecture,Systems engineering,Software engineering,Computer science,Software system,Architecture conformance,Conformance checking
Conference
ISSN
ISBN
Citations 
1530-1362
978-1-5386-3682-4
1
PageRank 
References 
Authors
0.35
18
3
Name
Order
Citations
PageRank
Ana Nicolaescu181.82
Horst Lichter225251.53
Veit Hoffmann310.35