A Unified Approach to Architecture Conformance Checking

Caracciolo, Andrea Enrico Francis; Lungu, Mircea; Nierstrasz, Oscar Marius (May 2015). A Unified Approach to Architecture Conformance Checking. In: Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture (WICSA) (pp. 41-50). ACM Press 10.1109/WICSA.2015.11

[img] Text
Cara15b.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (421kB) | Request a copy

Software erosion can be controlled by periodically checking for consistency between the de facto architecture and its theoretical counterpart. Studies show that this process is often not automated and that developers still rely heavily on manual reviews, despite the availability of a large number of tools. This is partially due to the high cost involved in setting up and maintaining tool-specific and incompatible test specifications that replicate otherwise documented invariants. To reduce this cost, our approach consists in unifying the functionality provided by existing tools under the umbrella of a common business-readable DSL. By using a declarative language, we are able to write tool-agnostic rules that are simple enough to be understood by non-technical stakeholders and, at the same time, can be interpreted as a rigorous specification for checking architecture conformance

Item Type:

Conference or Workshop Item (Paper)


08 Faculty of Science > Institute of Computer Science (INF)
08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG)

UniBE Contributor:

Caracciolo, Andrea Enrico Francis; Lungu, Mircea and Nierstrasz, Oscar Marius


000 Computer science, knowledge & systems
500 Science > 510 Mathematics


ACM Press




Oscar Nierstrasz

Date Deposited:

30 Jun 2016 07:32

Last Modified:

05 Dec 2022 14:56

Publisher DOI:


Uncontrolled Keywords:

scg-pub snf-asa1 scg15 jb15 dicto-dsl





Actions (login required)

Edit item Edit item
Provide Feedback