Model Search: Formalizing and Automating Constraint Solving in MDE Platforms

Kleiner, Mathias; Fabro, Marcos Didonet Del; Albert, Patrick

doi:10.1007/978-3-642-13595-8_15

Cited by 19 publications

(29 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The work in [4] extends the work in [9] to consider a SMT-based approach that handles not only the integration of IMA partitions but also TTEthernet flows. The combination of model-driven software engineering approach and constraints programming approach has been the focus of some other research works including [8] and [5]. In [8], the authors propose a formalization of constraint programming solving tasks in a model-driven process chain.…”

Section: Related Workmentioning

confidence: 99%

Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network

Beji

Gherbi

Mullins

et al. 2016

System Analysis and Modeling. Technology-Specific Aspects of Models

View full text Add to dashboard Cite

Abstract. The SAE standard Time-triggered Ethernet defines a strong networking infrastructure, which supports the engineering of avionic systems. Avionic functions are often designed independently and integrated to form the avionic system. The iterative integration approach helps in controlling the design complexity of evolving avionic systems and aims at minimizing the cost associate with the reconfiguration of scheduling parameters of already integrated parts. On the other hand, the iterative approach requires to specify and manage a huge set of constraints, which are then solved to compute the optimal scheduling parameters. In this paper, we focus on this issue of manual specification of these constraints by the system engineer. We propose a model-driven approach, which provides the required abstractions and automation to support the system engineer in using effectively the iterative integration approach. The abstractions consist in a metamodel, which describes the system at a given integration step and a metamodel for the constraints. The automation consists in a model transformation which enables generating automatically the relevant constraints at integration step.

show abstract

Section: Related Workmentioning

confidence: 99%

Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network

Beji

Gherbi

Mullins

et al. 2016

System Analysis and Modeling. Technology-Specific Aspects of Models

View full text Add to dashboard Cite

show abstract

“…In our approach we will always consider metamodels with potential constraints attached. We refine in this article definitions from [21] to formally define the combination:…”

Section: Constrained Metamodelsmentioning

confidence: 99%

“…At this stage, our challenge is to present this approach to the community and to integrate it at its best in current MDE practices. To this aim, we reuse and extend a model search operation proposed in previous work [21] as well as its notion of partial model: a model whose known constituents actually conform to their corresponding metamodel, but that should be interpreted with a weaker conformance than the classical closed-world interpretation used in the MDE community.…”

Section: Introductionmentioning

confidence: 99%

“…A solver-independent integration of constraint programming, called model search, for the automatic generation (or completion) of constrained models has been described in [21]. This article builds on those foundations to propose a generic model transformation method based on constrained search.…”

Section: Introduction To Model Searchmentioning

confidence: 99%

“…From the CP point of view, the target metamodel acts as the constraint model whereas the source model (the request) is a given partial assignment that needs to be extended. For deeper information on how this operation is formalized, achieved and integrated as a first-class MDE operation, the reader is kindly referred to [21].…”

Section: Introduction To Model Searchmentioning

confidence: 99%

See 2 more Smart Citations

Transformation as Search

Kleiner

Fabro

Santos

2013

Modelling Foundations and Applications

Self Cite

View full text Add to dashboard Cite

is an open access repository that collects the work of Arts et Métiers ParisTech researchers and makes it freely available over the web where possible. Abstract. In model-driven engineering, model transformations are considered a key element to generate and maintain consistency between related models. Rule-based approaches have become a mature technology and are widely used in different application domains. However, in various scenarios, these solutions still suffer from a number of limitations that stem from their injective and deterministic nature. This article proposes an original approach, based on non-deterministic constraint-based search engines, to define and execute bidirectional model transformations and synchronizations from single specifications. Since these solely rely on basic existing modeling concepts, it does not require the introduction of a dedicated language. We first describe and formally define this model operation, called transformation as search, then describe a proof-of-concept implementation and discuss experiments on a reference use case in software engineering.

show abstract

A Practical Approach for Constraint Solving in Model Transformations

Laghouaouta

Laforcade

2019

Communications in Computer and Information Science

View full text Add to dashboard Cite

Model Search: Formalizing and Automating Constraint Solving in MDE Platforms

Cited by 19 publications

References 13 publications

Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network

Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network

Transformation as Search

A Practical Approach for Constraint Solving in Model Transformations

Contact Info

Product

Resources

About