Kompren: modeling and generating model slicers

Blouin, Arnaud; Combemale, Benôıt; Baudry, Benoît; Beaudoux, Olivier

doi:10.1007/s10270-012-0300-x

Cited by 28 publications

(25 citation statements)

References 41 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Model comprehension is one of the main use cases of the large body of work that has been accomplished on model slicing, a survey being presented in [9]. The goal of model slicing is to extract sub-models from a model following some pre-defined slicing criteria.…”

Section: Related Workmentioning

confidence: 99%

Tool support for clustering large meta-models

Strüber

Selter

Taentzer

2013

Proceedings of the Workshop on Scalability in Model Driven Engineering

View full text Add to dashboard Cite

Ever-growing requirements, long-term evolution and modernization of software projects lead to meta-models of remarkable size, being difficult to comprehend and maintain. This paper presents a tool that supports the decomposition of a meta-model into clusters of model elements. Methods proposed in the research area of graph clustering, aiming at the desired properties of high cohesion and low coupling, have been integrated in the tool. The methods are customized not only to utilize the underlying graph structure, but also the semantic information given in meta-models. An evaluation of the tool is provided in terms of a case study.

show abstract

Section: Related Workmentioning

confidence: 99%

Tool support for clustering large meta-models

Strüber

Selter

Taentzer

2013

Proceedings of the Workshop on Scalability in Model Driven Engineering

View full text Add to dashboard Cite

show abstract

“…Slicing techniques have been proposed for different software artifacts, including programs (e.g., see [12]), and models (e.g., see [1] [5] ). In the MDD area, model slicing techniques have been used to support a variety of modeling tasks, including model comprehension [1] , analysis [4][6] [7], and verification [8] [9].…”

Section: Introductionmentioning

confidence: 99%

Towards the use of slicing techniques for an efficient invariant checking

Sun

Combemale

2015

Companion Proceedings of the 14th International Conference on Modularity

View full text Add to dashboard Cite

Best poster award at Modularity'15International audienceIn Model Driven Development (MDD), invariant checking involves determining whether a model is consistent with invariants defined in a metamodel. Such checking can improve developers' understanding of modeled aspects of complex systems and uncover structural errors in design models during the early stages of software development. General-purpose rigorous analysis tools that check invariants are likely to perform the analysis over the entire meta-model and model. Their scalability thus becomes an issue (e.g., the time used for checking can be up to several hours) with very large metamodels and models (e.g., more than 500,000 elements). In this paper we introduce model slicing within the invariant checking process , and use a slicing technique to reduce the size of checking inputs to improve the scalability of existing invariant checking tools. The evaluation we performed provides evidence that model slicing can significantly reduce the time to perform the invariant checking while preserving the checking results

show abstract

“…This work presents the model properties of the slices which can be extracted from different forms of the slicer [6], [7].…”

Section: Slicing Alloy Specification (Dblp)mentioning

confidence: 99%

Efficient Verification-Driven Slicing of UML/OCL Class Diagrams

Shaikh¹,

Wiil²

2016

ijacsa

View full text Add to dashboard Cite

Abstract-Model defects are a significant concern in the Model-Driven Development (MDD) paradigm, as model transformations and code generation may propagate errors present in the model to other notations where they are harder to detect and trace. Formal verification techniques can check the correctness of a model, but their high computational complexity can limit their scalability.Current approaches to this problem have an exponential worst-case run time. In this paper, we propose a slicing technique which breaks a model into several independent submodels from which irrelevant information can be abstracted to improve the scalability of the verification process. We consider a specific static model (UML class diagrams annotated with unrestricted OCL constraints) and a specific property to verify (satisfiability, i.e., whether it is possible to create objects without violating any constraints). The definition of the slicing procedure ensures that the property under verification is preserved after partitioning. Furthermore, the paper provides an evaluation of experimental results from a real-world case study.

show abstract

Kompren: modeling and generating model slicers

Cited by 28 publications

References 41 publications

Tool support for clustering large meta-models

Tool support for clustering large meta-models

Towards the use of slicing techniques for an efficient invariant checking

Efficient Verification-Driven Slicing of UML/OCL Class Diagrams

Contact Info

Product

Resources

About