Checking architectural compliance in component-based systems

Herold, Sebastian

doi:10.1145/1774088.1774558

Cited by 15 publications

(3 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The development effort of the prototypical tool of a UML query tool was very low and was mainly reduced to the integration as Eclipse plug-in and of the logic programming system in the back-end. At the moment, the framework is used to realise a more-general architectural compliance checking approach with support for a larger set of metamodels for more model types [27]. It support to easily realise metamodel independent tools but also to easily change the underlying logic programming system to test different systems for their adequacy for this purpose.…”

Section: Lessons Learned and Future Workmentioning

confidence: 99%

Designing and Applying a Framework for Logic-Based Model Querying

Dohrmann

Herold

2010

2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications

Self Cite

View full text Add to dashboard Cite

Querying models is one of the most essential and most elementary tasks in model-based software development. More complex activities like, for instance finding source patterns of model transformations, measuring models, or checking consistency between models, include querying models for certain properties, elements, or substructures.Logic formalisms like full first-predicate logic or description logics provide the well-understood foundation for implementing efficient model querying mechanisms. Regarding the specific purpose of querying models, a more efficient but less expressive logic formalism might be more useful than in other use cases.In this paper, we will introduce a framework which enables us to easily realise metamodel independent query tools based on different subsets of first-order logic. We show the application of the framework by checking a UML design model for architectural properties.

show abstract

Section: Lessons Learned and Future Workmentioning

confidence: 99%

Designing and Applying a Framework for Logic-Based Model Querying

Dohrmann

Herold

2010

2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications

Self Cite

View full text Add to dashboard Cite

show abstract

“…$15.00 DOI: 10.1145/3129790.3129812 in order to support this process such as Sonargraph [4], HUSACCT [15], or DCL [19]. Nevertheless, we only found one approach that uses a formalism, namely rst-order logic, to formalize and validate architecture rules [8,10]. We think it is a promising and necessary approach and we wonder what could be the reasons why it was not pursued by the software architecture community.…”

Section: Introductionmentioning

confidence: 99%

Architecture conformance checking with description logics

Schröder

Riebisch

2017

Proceedings of the 11th European Conference on Software Architecture: Companion Proceedings

View full text Add to dashboard Cite

Today, a lot of commercial and open source tools exist allowing to describe the intended architecture and to check architecture conformance automatically in order to detect and eventually minimize erosion. Unfortunately, those tools are restricted in terms of which architecture concepts can be used in order to describe the intended architecture. Additionally, those approaches lack an appropriate formal foundation in terms of a well-de ned syntax and semantic. Nevertheless, this is a crucial requirement for automatic support in architecture conformance checking. In this paper, we propose a formal approach enabling a) the de nition of an architecture concept language that allows to capture the most important architecture concepts and their related architecture rules, b) the validation of the consistency of this language, c) the mapping of architecture concepts to source code and capturing this mapping in an explicit language in order to d) check architecture conformance. We also present an evaluation of the approach using the Common Component Modeling Example (CoCoME) case study in order to demonstrate the applicability.

show abstract

“…Constructive approaches were proven to help developers in realizing the intended architecture. Several case studies [16,19,20] show that constructive approaches can prevent structural erosion [27,33].…”

Section: Introductionmentioning

confidence: 99%

Modular specification and checking of structural dependencies

Mitschke

Eichberg

Mezini

et al. 2013

Proceedings of the 12th Annual International Conference on Aspect-Oriented Software Development

View full text Add to dashboard Cite

Checking a software's structural dependencies is a line of research on methods and tools for analyzing, modeling and checking the conformance of source code w.r.t. specifications of its intended static structure. Existing approaches have focused on the correctness of the specification, the impact of the approaches on software quality and the expressiveness of the modeling languages. However, large specifications become unmaintainable in the event of evolution without the means to modularize such specifications. We present Vespucci, a novel approach and tool that partitions a specification of the expected and allowed dependencies into a set of cohesive slices. This facilitates modular reasoning and helps individual maintenance of each slice. Our approach is suited for modeling high-level as well as detailed low-level decisions related to the static structure and combines both in a single modeling formalism. To evaluate our approach we conducted an extensive study spanning nine years of the evolution of the architecture of the object-relational mapping framework Hibernate.

show abstract

Checking architectural compliance in component-based systems

Cited by 15 publications

References 14 publications

Designing and Applying a Framework for Logic-Based Model Querying

Designing and Applying a Framework for Logic-Based Model Querying

Architecture conformance checking with description logics

Modular specification and checking of structural dependencies

Contact Info

Product

Resources

About