Nantilus
Langages et transformation de modèles en programmation par contraintes
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Collectivités auteurs : | , , , |
| Format : | Thèse ou mémoire |
| Langue : | anglais |
| Titre complet : | Langages et transformation de modèles en programmation par contraintes / Ricardo Soto; sous la direction de Laurent Granvilliers |
| Publié : |
[S.l.] :
[s.n.]
, 2009 |
| Description matérielle : | 1 vol. (155, 60 f.) |
| Condition d'utilisation et de reproduction : | Publication autorisée par le jury |
| Note de thèse : | Thèse de doctorat : Informatique : Nantes : 2009 |
| Sujets : | |
| Documents associés : | Autre format:
Langages et transformation de modèles en programmation par contraintes Reproduit comme: Langages et transformation de modèles en programmation par contraintes |
| Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication |
| LEADER | 05458cam a2200529 4500 | ||
|---|---|---|---|
| 001 | PPN151915571 | ||
| 003 | http://www.sudoc.fr/151915571 | ||
| 005 | 20240829055200.0 | ||
| 029 | |a FR |b 2009NANT2048 | ||
| 035 | |a (OCoLC)758709531 | ||
| 100 | |a 20110502d2009 k y|frey0103 ba | ||
| 101 | 0 | |a eng |d fre |d eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a ||||m |||y| | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 200 | 1 | |a Langages et transformation de modèles en programmation par contraintes |f Ricardo Soto |g sous la direction de Laurent Granvilliers | |
| 210 | |a [S.l.] |c [s.n.] |d 2009 | ||
| 215 | |a 1 vol. (155, 60 f.) |c ill. |d 30 cm | ||
| 302 | |a Texte en anglais. Résumé étendu en français | ||
| 316 | |5 441092104:421964316 |a Titre temporairement indisponible à la communication | ||
| 320 | |a Bibliogr. f. 147-155 | ||
| 320 | |a La programmation par contraintes est une technologie pour l'optimisation qui associe des langages de modélisation riches avec des moteurs de résolution efficaces. Elle combine des techniques de plusieurs domaines tels que l'intelligence artificielle, la programmation mathématique et la théorie des graphes. Un défi majeur dans ce domaine concerne la définition de langages de haut-niveau pour faciliter la phase de modélisation des problèmes. Un autre aspect important est de concevoir des architectures robustes pour transformer des modèles de haut-niveau et obtenir des modèles exécutables efficaces, tout en visant plusieurs moteurs de résolution. Re pondre à ces deux préoccupations est très difficile, car de nombreux aspects doivent être pris en compte, comme par exemple, l'expressivité et le niveau d'abstraction du langage ainsi que les techniques utilisées pour traduire le modèle de haut-niveau dans chacun des langages de résolution. Dans cette thèse, nous proposons une nouvelle perspective pour faire face à ces défis. Nous introduisons une nouvelle architecture pour la programmation par contraintes dans laquelle le problème est défini comme un ensemble d'objets contraints dans un nouveau langage de modélisation haut-niveau. La transformation des modèles est réalisée à l'aide de l'ingénierie des modèles. Les éléments des langages sont alors considérés comme des concepts définis dans un modèle de modèles appelé métamodèle. Cette nouvelle architecture permet d'aborder les phases de modélisation et de transformation de modèles en raisonnant à un niveau d'abstraction supérieur et, par conséquent, de réduire la complexité inhérente à ces deux phases | ||
| 320 | |a Constraint Programming is an optimization technology that associates rich modeling languages with efficient solving engines. It combines methods from different domains such as artificial intelligence, mathematical programming and graph theory. A main challenge in this field is to provide high-level languages for facilitating the problem modeling phase.Another important concern is to design robust architectures to map high-level imput models to different and efficient solving models. Handling these two concerns is remarkably hard since many aspects have to be investigated for instance, the expressiveness and the abstraction level of the language as well as the techniques used to transform the high-level model into each of the solver's languages. In this thesis, we propose a new perspective to face those challenges. We introduce a novel constraint programming architecture in which the problem is seen as a set of high-level constrained objects defined through a new modeling language. The model transformation is performed by a model-driven process in which the elements of languages are defined as concepts of a model of models called metamodel. This new architecture allows one to tackle the modeling and the model transformation phases in a higher-level of abstraction and consequently to reduce the inherent complexity behind them | ||
| 328 | |b Thèse de doctorat |c Informatique |e Nantes |d 2009 | ||
| 371 | 1 | |a Publication autorisée par le jury | |
| 452 | | | |0 226602974 |t Langages et transformation de modèles en programmation par contraintes |f Ricardo Soto |d 2010 |c Villeurbanne |n [CCSD] | |
| 456 | | | |0 24796669X |t Langages et transformation de modèles en programmation par contraintes |f Ricardo Soto |d 2009 |c Lille |n Atelier national de reproduction des thèses |p Microfiches |s Lille-thèses | |
| 541 | | | |a Languages and model transformation in constraint programming |z eng | |
| 606 | |3 PPN033128804 |a Programmation par contraintes |2 rameau | ||
| 608 | |3 PPN027253139 |a Thèses et écrits académiques |2 rameau | ||
| 610 | 2 | |a Langages de modélisation par contraintes |a Transformation de modèles | |
| 686 | |a 004 |2 TEF | ||
| 700 | 1 | |3 PPN145527832 |a Soto |b Ricardo |f 1979-.... |4 070 | |
| 701 | 1 | |3 PPN145527522 |a Grandvilliers |b Laurent |f 19..-.... |4 727 | |
| 711 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 711 | 0 | 2 | |3 PPN033124884 |a Université de Nantes |b Faculté des sciences et des techniques |4 985 |
| 711 | 0 | 2 | |3 PPN03063525X |a Centrale Nantes |c 1991-.... |4 985 |
| 711 | 0 | 2 | |3 PPN033236720 |a École nationale supérieure des mines |c Nantes |c 1990-2016 |4 985 |
| 801 | 3 | |a FR |b Abes |c 20220119 |g AFNOR | |
| 979 | |a SCI | ||
| 930 | |5 441092104:421964316 |b 441092104 |j g | ||
| 991 | |5 441092104:421964316 |a Exemplaire modifié automatiquement le 18-07-2024 18:45 | ||
| 998 | |a 577321 | ||