A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
Checking and Measuring the Architectural Structural Conformance of Object-Oriented Systems
The benefits of architectural analyses are only achieved if one can guarantee that the implementation conforms to the architecture. We propose an approach for checking and measuring the structural conformance of a software system's implementation to its execution architecture. In contrast to existing approaches, our approach uses static analyses, and works with existing Java- like programming languages, existing object-oriented designs and existing integrated development environments. We address the problem with a multi- pronged approach, as follows: 'a' express and enforce architectural intent related to object encapsulation and communication directly in code using ownership domain annotations; 'b' extract a sound execution architecture from the annotated program semi-automatically; and 'c' compare the as-built extracted architecture to the as-designed architecture semi-automatically; and 'd' obtain a measure of conformance. We present an initial evaluation of the approach on two extended examples. In both cases, we extract as- built execution architectures that convey meaningful abstractions, convert them into standard component-and-connector architectures, and obtain measures of conformance between the as-designed and the as-built architectures that seem consistent with our intuition.
Checking and Measuring the Architectural Structural Conformance of Object-Oriented Systems
The benefits of architectural analyses are only achieved if one can guarantee that the implementation conforms to the architecture. We propose an approach for checking and measuring the structural conformance of a software system's implementation to its execution architecture. In contrast to existing approaches, our approach uses static analyses, and works with existing Java- like programming languages, existing object-oriented designs and existing integrated development environments. We address the problem with a multi- pronged approach, as follows: 'a' express and enforce architectural intent related to object encapsulation and communication directly in code using ownership domain annotations; 'b' extract a sound execution architecture from the annotated program semi-automatically; and 'c' compare the as-built extracted architecture to the as-designed architecture semi-automatically; and 'd' obtain a measure of conformance. We present an initial evaluation of the approach on two extended examples. In both cases, we extract as- built execution architectures that convey meaningful abstractions, convert them into standard component-and-connector architectures, and obtain measures of conformance between the as-designed and the as-built architectures that seem consistent with our intuition.
Checking and Measuring the Architectural Structural Conformance of Object-Oriented Systems
M. Abi-Antoun (author) / J. Aldrich (author)
2007
52 pages
Report
No indication
English
Computer-based structural design and conformance checking
| British Library Online Contents | 2000
Computer Aided Conformance Checking
| British Library Conference Proceedings | 1992
ThermalDesigner: an Application of an Object-Oriented Code Conformance Architecture
| British Library Conference Proceedings | 1992
A KDM-Based Approach for Architecture Conformance Checking in Adaptive Systems
| ArXiv | 2024