The mythical man-month (anniversary ed.)
The mythical man-month (anniversary ed.)
Software reflexion models: bridging the gap between source and high-level models
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Design and use of software architectures: adopting and evolving a product-line approach
Design and use of software architectures: adopting and evolving a product-line approach
Documenting Software Architectures: Views and Beyond
Documenting Software Architectures: Views and Beyond
The 4+1 View Model of Architecture
IEEE Software
Software Architecture in Practice
Software Architecture in Practice
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
WCRE '03 Proceedings of the 10th Working Conference on Reverse Engineering
A Semantic Web Primer
Using dependency models to manage complex software architecture
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Languages evolve too! Changing the Software Time Scale
IWPSE '05 Proceedings of the Eighth International Workshop on Principles of Software Evolution
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
On marrying ontological and metamodeling technical spaces
Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Web Semantics: Science, Services and Agents on the World Wide Web
IEEE Software
Hypertableau reasoning for description logics
Journal of Artificial Intelligence Research
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Semantics enhanced engineering and model reasoning for control application development
Multimedia Tools and Applications
| Hi-index | 0.00 |
Software architectures are key enabling assets within organizations that develop complex software systems. Among other purposes, software architectures are useful to maintain intellectual control over a software product. We propose a method to continuously check the consistency between a specified architecture model and structural information reverse engineered from the code. We develop criteria that a design language for architectures should fulfill and show that an ontology based description has substantial benefits over the standard modeling languages MOF/UML/OCL. Using ontologies allows the explicit modelling of architectural styles as well as concrete system structures in a single architecture design language. The resulting specifications are modular, compositional and evolvable. Using ontologies we can apply an ontology reasoner to implement consistency checks. Our method integrates previously separate checks such as checking for allowed dependencies and coding style into a single framework and enables more powerful and flexible analyses.