Introduction to the Special Issue on Software Architecture
IEEE Transactions on Software Engineering - Special issue on software architecture
A Component- and Message-Based Architectural Style for GUI Software
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
Software architecture in practice
Software architecture in practice
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Patterns of Enterprise Application Architecture
Patterns of Enterprise Application Architecture
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Architecture, design, implementation
Proceedings of the 25th International Conference on Software Engineering
Eclipse Modeling Framework
An Introduction to Software Architecture
An Introduction to Software Architecture
Pro Hibernate 3
Model-Driven Software Development: Technology, Engineering, Management
Model-Driven Software Development: Technology, Engineering, Management
The Description Logic Handbook
The Description Logic Handbook
Spring in action
Handbook on Enterprise Architecture
Handbook on Enterprise Architecture
Hi-index | 0.00 |
Modern enterprise application systems are parts of complex IT landscapes. The architecture of such a landscape may impose constraints upon the design of single applications, for example by the mandatory use of enterprise-wide reference architectures. It is of great importance for the sake of smooth operation and easy maintaining that single applications are compliant to the reference architectures. Checking this compliance is highly important for the architecture management to assure the quality of application systems. Unfortunately, current tool support is not flexible enough to easily check different aspects of architectural compliance. This paper proposes a rule-based approach based upon logic programming concepts towards a formalism for architectural compliance checking. In this approach, the architecture and design are represented as logical knowledge base that can be queried for architectural compliance. Furthermore, the paper presents a case study, in which the approach was prototypically implemented and applied in an industrial context.