Using ATL to define advanced and flexible constraint model transformations

Transforming constraint models is an important task in re- cent constraint programming systems. User-understandable models are defined during the modeling phase but rewriting or tuning them is manda- tory to get solving-efficient models. We propose a new architecture al- lowing to define bridges between any (modeling or solver) languages and to implement model optimizations. This architecture follows a model- driven approach where the constraint modeling process is seen as a set of model transformations. Among others, an interesting feature is the def- inition of transformations as concept-oriented rules, i.e. based on types of model elements where the types are organized into a hierarchy called a metamodel

Rewriting Constraint Models with Metamodels

An important challenge in constraint programming is to rewrite constraint models into executable programs calculat- ing the solutions. This phase of constraint processing may require translations between constraint programming lan- guages, transformations of constraint representations, model optimizations, and tuning of solving strategies. In this paper, we introduce a pivot metamodel describing the common fea- tures of constraint models including different kinds of con- straints, statements like conditionals and loops, and other first-class elements like object classes and predicates. This metamodel is general enough to cope with the constructions of many languages, from object-oriented modeling languages to logic languages, but it is independent from them. The rewriting operations manipulate metamodel instances apart from languages. As a consequence, the rewriting operations apply whatever languages are selected and they are able to manage model semantic information. A bridge is created between the metamodel space and languages using parsing techniques. Tools from the software engineering world can be useful to implement this framework

Rewriting Constraint Models with Metamodels

International audienceAn important challenge in constraint programming is to rewrite constraint models into executable programs calculat- ing the solutions. This phase of constraint processing may require translations between constraint programming lan- guages, transformations of constraint representations, model optimizations, and tuning of solving strategies. In this paper, we introduce a pivot metamodel describing the common fea- tures of constraint models including different kinds of con- straints, statements like conditionals and loops, and other first-class elements like object classes and predicates. This metamodel is general enough to cope with the constructions of many languages, from object-oriented modeling languages to logic languages, but it is independent from them. The rewriting operations manipulate metamodel instances apart from languages. As a consequence, the rewriting operations apply whatever languages are selected and they are able to manage model semantic information. A bridge is created between the metamodel space and languages using parsing techniques. Tools from the software engineering world can be useful to implement this framework

Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques

International audienceIn this paper, the embodiment design of an air condition- ing system (ACS) in an aircraft is investigated using interval constraint satisfaction techniques. The detailed ACS model is quite complex to solve, since it contains many coupled variables and many constraints corresponding to complex physics phenomena. Some new heuristics and notions based on embodiment design knowledge, are briefly introduced to undertake some embodiment design concepts and to obtain a more relevant and more efficient solving process than classical algorithms. The benefits of using constraint programming in embodiment design are discussed and some difficulties for designers using CP tools are shortly detailed

Multi-physics Simulation for Product-service Performance Assessment

International audienc

SYNTHÈSE DES MÉTHODES INTERVALLES POUR L'OPTIMISATION MULTIOBJECTIFS

National audienc

Formulation of a design problem for computational pre-design

International audienceA simple-to-use methodology based on the System Engineering recommendations is presented in order to aid architects and engineers to construct, explore and then analyse the solution space of a defined problem. A functional analysis of the available technologies is conducted in order to feed a database used to generate all the architectures that answer the stakeholders’ requirements. Several topological architectures are derived from the external environments study of the product to design. The objective is to give directions to the product architects to avoid missing promising solutions. Our methodology is applied on the preliminary design steps of an autonomous generator

Enterprise modelling for performance measurement – gearing variety towards sustainability

International audienc

Model-based design of exploitation guidelines

International audiencePiloting a system aims at reaching the expected performances. This can be achieved by applying an exploitation guideline that consists of the appropriate performance drivers. This paper stresses the potential of reverted models for the exploitation of complex systems. The difficulty of this approach mainly results from the existence of several multidisciplinay models that have to be jointly considered