A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A metamodel for the support of semantically rich modular architectures in the context of static architecture compliance checking
2014
Proceedings of the First International Conference on Dependable and Secure Cloud Computing Architecture - DASCCA '14
Architecture Compliance Checking (ACC) is an approach to verify the conformance of implemented program code to high-level models of architectural design. Static ACC is focused on the module views of architecture and especially on rules constraining the modular elements. This paper proposes an approach for support of semantically rich modular architectures (SRMAs) in the context of static ACC. An SRMA contains modules of semantically different types, like layers and components, constrained by
doi:10.1145/2578128.2578233
dblp:conf/wicsa/PruijtB14
fatcat:r6qkid4j2fgbnelskyp6yftaxa