Modeling Model Slicers

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

doi:10.1007/978-3-642-24485-8_6

Cited by 29 publications

(35 citation statements)

References 16 publications

(34 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The emphasis in this paper is to push towards the development of partial models by analyzing requirements, existing test models [7], the transformation under test [16], or fault locations [12]. We provide a semi-automated tool [25] to support the development of partial models and completing them by automatic solving.…”

Section: Resultsmentioning

confidence: 99%

“…Similarly, analyzing a localized fault via techniques such as dynamic tainting [12] in a model transformation can reveal patterns in the input modelling language that evoked the fault. Other sources include existing models via model slicing [7] and execution traces of a model transformation [3]. However, most of this knowledge is incomplete or partial in the sense that it must be completed and certified as a valid input test model that conforms to the well-formedness rules and constraints of the modelling language.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Using Models of Partial Knowledge to Test Model Transformations

Sen

Mottu

Tisi

et al. 2012

Theory and Practice of Model Transformations

View full text Add to dashboard Cite

Abstract. Testers often use partial knowledge to build test models. This knowledge comes from sources such as requirements, known faults, existing inputs, and execution traces. In Model-Driven Engineering, test inputs are models executed by model transformations. Modelers build them using partial knowledge while meticulously satisfying several well-formedness rules imposed by the modelling language. This manual process is tedious and language constraints can force users to create complex models even for representing simple knowledge. In this paper, we want to simplify the development of test models by presenting an integrated methodology and semi-automated tool that allow users to build only small partial test models directly representing their testing intent. We argue that partial models are more readable and maintainable and can be automatically completed to full input models while considering language constraints. We validate this approach by evaluating the size and fault-detecting effectiveness of partial models compared to traditionally-built test models. We show that they can detect the same bugs/faults with a greatly reduced development effort.

show abstract

Section: Resultsmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Using Models of Partial Knowledge to Test Model Transformations

Sen

Mottu

Tisi

et al. 2012

Theory and Practice of Model Transformations

View full text Add to dashboard Cite

show abstract

“…Moreover, model slicing is used in [34] to modularize the UML metamodel into a set of small metamodels for each UML diagram type. Various model slicing techniques are merged by Blouin et al [35] into a single, generative framework, using different approaches for different models. Still, none of the existing model slicing approaches address the slicing of model queries, the main focus of our work.…”

Section: Related Workmentioning

confidence: 99%

Rete Network Slicing for Model Queries

Ujhelyi¹,

Bergmann

Varró

2016

Graph Transformation

View full text Add to dashboard Cite

Abstract. Declarative model queries captured by graph patterns are frequently used in model driven engineering tools for the validation of well-formedness constraint or the calculation of various model metrics. However, their high level nature might make it hard to understand all corner cases of complex queries. When debugging erroneous patterns, a common task is to identify which conditions or constraints of a query caused some model elements to appear in the results. Slicing techniques in traditional programming environments are used to calculate similar dependencies between program statements. Here, we introduce a slicing approach for model queries based on Rete networks, a cache structure applied for the incremental evaluation of model queries. The proposed method reuses the structural information encoded in the Rete networks to calculate and present a trace of operations resulting in some model elements to appear in the result set. The approach is illustrated on a running example of validating well-formedness over UML state machine models using graph patterns as a model query formalism.

show abstract

“…[2] presents a tool that allows defining model slicers for domainspecific languages by determining a selection of classes and features to extract. [10] provides an elegant formalization of model slicing as they prove that the sub-models gained from slicing along particular references constitute a lattice.…”

Section: Model Slicingmentioning

confidence: 99%

Towards a Distributed Modeling Process Based on Composite Models

Strüber

Taentzer

Jurack

et al. 2013

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Abstract. The rising impact of software development in globally distributed teams strengthens the need for strategies that establish a clear separation of concerns in software models. Dealing with large, weakly modularized models and conflicting changes on interrelated models are typical obstacles to be witnessed. This paper proposes a structured process for distributed modeling based on the modularization technique provided by composite models with explicit interfaces. It provides a splitting activity for decomposing large models, discusses asynchronous and synchronous editing steps in relation to consistency management and provides a merge activity allowing the reuse of code generators. All main concepts of composite modeling are precisely defined based on category theory.

show abstract

Modeling Model Slicers

Cited by 29 publications

References 16 publications

Using Models of Partial Knowledge to Test Model Transformations

Using Models of Partial Knowledge to Test Model Transformations

Rete Network Slicing for Model Queries

Towards a Distributed Modeling Process Based on Composite Models

Contact Info

Product

Resources

About