, 77 2.2.3.1 " Add " Interpretation 77 2.2.3.2 " Delete " Interpretation, p.80
, 94 3.2.3.1 Methodology and Techniques for Operational Semantics 95 3.2.3.2 Operational Semantics for the Mapping Concern, 96 3.2.3.3 Operational Semantics for the Strategies Concern . . . . 99 3.2.3.4 Operational Semantics for Directives . . . . . . . . . . . 107
, 111 4.1.1 Existing Tools for Model Merging, Kompose : A Generic Model Composition Tool . . . . . 113 4.1.1.3 Match and Merge of Statechart Specifications . . . . . . 114 4.1.1.4 Composition of Orchestration of Services with ADORE 117
, 130 4.2.4 A Semi?Automated Solution for Integrating Legacy Systems . . . 130 4.2.5 Application of the Unified Framework, 131 4.2.5.1 Model Composition Framework Customization . . . . . 132 4.2.5.2 Model?Alignment Language for Model Integration . . . 132 4.2.5.3 Design Converters for the Integration of MTEP and XMS133 4.2.5.4 Generation of Bidirectional Non Invasive Adapters, p.136
, 140 4.3.2 Design a Car Crash Crisis Management System 141 4.3.2.1 The Crisis Management System 141 4.3.2.2 The Car Crash Crisis Management Domain Model Design, p.142
, 148 4.3.5.1 Model Composition Framework Customization, 148 4.3.5.2 Model?Alignment Language for Model Synchronization 148 4.3.5.3 Proposing and Automating Resolution Strategies . . . . 149
, Composing Feature Models Lecture Notes in Computer Science, 12107-4_6. [ACL+10] M. Acher, P. Collet, P. Lahire et al. « Managing Variability in Workflow with Feature Model Composition Operators ». Dans : Software Composition . Éd. par B. Baudry et E. Wohlstadter. T. 6144. Lecture Notes in Computer Science, pp.62-81, 2009.
, Application au profil VUMLObjet, Ingénierie Dirigée par les Modèles 13 Model Superimposition in Software Product Lines Theory and Practice of Model Transformations, Vers une approche à base de règles pour la composition de modèlesirit.fr/IRIT/MACAO/Coulette- etal-LObjet2007.pdf. [AJT+09] Multi-view Composition Language for Software Product Line Requirements Software Language Engineering. Éd. par M. van den Brand, D. Ga?evic et J. Gray. T. 5969. Lecture Notes in Computer Science, pp.73-103, 2007.
, Solving the Modeling Problems of Object- Oriented Languages By Composing Multiple Aspects Using Composition Filters AOP'98 Workshop Position Paper url : http://wwwtrese. cs.utwente.nl/Docs/Tresepapers/FilterAspects, BIBLIOGRAPHY [BA00] L. M. Bergmans et M. Aksit. « Composing Software from Multiple Concerns : A Model and Composition Anomalies ICSE 2000 Workshop on Multi-Dimensional Separation of Concerns in Software Engineering Blanc et al. MOF QVT final adopted specifica- tion, 1998.
, Lecture Notes in Computer Science Compositional verification for component-based systems and application issn : 1751-8806. doi : 10.1049/iet-sen A manifesto for model merging Proceedings of the 2006 international workshop on Global integrated model management. GaMMa '06 url : http://moment.dsic. upv.es/index.php?option=com_docman\&\#38;task=doc_download\ &\#38, Canonical Scheme for Model Composition Summer School on Generative and Transformational Techniques in Software Engineering Formal Model Merging Applied to Class Diagram Integration. [BE09] L. Bendix et P. Emanuelsson. « Requirements for Practical Model Merge -An Industrial Perspective Model Driven Engineering Languages and Systems. Éd. par A. SchürrSch¨Schürr et B. Selic. T. 5795. Lecture Notes in Computer Science, pp.346-360, 2005.
, A vision for management of complex models, SIGMOD Record, 2000.
DOI : 10.1145/369275.369289
, Composition-Based Software Systems « Composing Models at Two Modeling Levels to Capture Heterogeneous Concerns in Requirements, Composing Multi-view Aspect Models Secure Computer Systems : Mathematical Foundations and Model. [BMA+05] J. Biolchini, P. G. Mian, Ana et al. Systematic Review in Software Engineering . Rap. tech, pp.43-52, 1973.
, A Course In Universal Algebra, p.276, 1981.
DOI : 10.1007/978-1-4613-8130-3
, Component-Based System Integration via (Meta)Model Composition, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07), pp.93-102, 2005.
DOI : 10.1109/ECBS.2007.24
, Lecture Notes in Computer Science, Characterizing Relations between Architectural Views ». Dans : Software Architecture. Éd. par, pp.66-81, 2008.
, BIBLIOGRAPHY [Bar08] C. Bartelt. « Consistence preserving model merge in collaborative development processes, CVSM '08 : Proceedings of the 2008 international workshop on Comparison and versioning of software models Éléments de sémiologie, pp.2108-2127, 1964.
, Managing Model Conflicts in Distributed Development, Model Driven Engineering Languages and Systems. Éd. par, pp.311-325, 2008.
DOI : 10.1007/978-3-540-87875-9_23
, « Virtual Composition of EMF Models ». Anglais. Dans : 7èmes Journées sur l'Ingénierie Dirigée par les Modèles (IDM 2011), 2011.
, Lecture Notes in Computer Science Automating Co-evolution in Model-Driven Engineering Semantics-based composition for aspect-oriented requirements engineering, Enterprise Distributed Object Computing Conference Proceedings of the 6th international conference on Aspect-oriented software development. AOSD '07 Design, Automation, and Test in Europe. Éd. par R. Lauwereins et J. Madsen, pp.15-29, 2002.
, A Primer for Program Composition Notation USA : California Institute of Technology url : http://www.ncstrl.org:8900/ncstrl/servlet/ search?formname=detail\&id=oai%3Acaltechcstr%3A00000071. [Cha08] D. Chandler. Semiotics for Beginners, Semiotics_for_Beginners.pdf. [Cla02] S. Clarke. « Extending standard UML with model composition semantics, pp.71-100, 1990.
, « The logic of program composition, Applications Scientifiques de la Logique Mathématique : Actes du 2 ». Dans : e Colloque International de Logique Mathématique, pp.97-102, 1952.
, Applying Generic Model Management to Data Mapping, Proceedings of BDA 2005. Saint-Malo, pp.343-355, 2005.
, url : http : / / www . sciences . univ nantes .fr/lina/atl/www/papers/IDM_2005_weaver.pdf Developing next generation ADLs through MDE techniques, Proceedings of the 1ère Journée sur l'Ingénierie Dirigée par les Modèles (IDM05) Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering -Volume 1. ICSE '10, pp.85-94, 1997.
, Using a Model Merging Language for Reconciling Model Versions, Lecture Notes in Computer Science, vol.isbn, pp.143-157, 2006.
DOI : 10.1007/11787044_12
, « Techniques for metamodel composition, The 6th OOPSLA Workshop on Domain-Specific Modeling, pp.123-139, 2006.
, Model-Driven Engineering for Software Migration in a Large Industrial Context ». Anglais. Dans : MoDELS'07 A Generic Approach for Automatic Model Composition, Models in Software Engineering. Éd. par H. Giese. T. 5002. Lecture Notes in Computer Science, pp.7-15978, 2007.
, 07 : Proceedings of the L'ingénierie dirigée par les modèles : au-delà du MDA. French. Hermes-Lavoisier Providing Support for Model Composition in Metamodels Towards Utilizing Model- Driven Engineering of Composite Applications for Business Performance Analysis ». Dans : Model Driven Architecture -Foundations and Applications. Éd. par I. Schieferdecker et A. Hartman. T. 5095. Lecture Notes in Computer Science, Semi-automatic model integration using matching transformations and weaving models Enterprise Distributed Object Computing Conference] A. Goncalves et A. Goncalves. « Object-Relational Mapping, pp.963-970, 2006.
, Design patterns : elements of reusable object-oriented software, pp.0-201, 1995.
, « Model-driven semantic Web service composition APSEC '05. 12th Asia-Pacific MontiCore : a framework for the development of textual domain specific languages, Software Engineering Conference Companion of the 30th international conference on Software engineering. ICSE Companion '08, pp.925-926, 2005.
, Lecture Notes in Computer Science, pp.443-466978, 2003.
, « Incremental Model Synchronization with Triple Graph Grammars Dans : Model Driven Engineering Languages and Systems. Éd. par O. Nierstrasz, Lecture Notes in Computer Science, pp.543-557, 2006.
, From model transformation to incremental bidirectional model synchronization, Software & Systems Modeling, vol.44, issue.2, pp.21-43, 2009.
DOI : 10.1007/s10270-008-0089-9
, url : http : / / scholar . google.fr Extending grammars and metamodels for reuse : the Reuseware approach, Software, IET, pp.165-184, 2008.
, Code Generation by Model Transformation, Software and Systems Modeling 9, pp.375-402, 1109.
DOI : 10.1007/978-3-540-69927-9_13
, « Model-driven engineering practices in industry isbn : 978-1-4503-0445-0. doi : http: //doi.acm.org/10, Proceeding of the 33rd international conference on Software engineering. ICSE '11/. [IEE05] IEEE Computer Society. « IEEE Standard for Software Verification and Validation, pp.633-642, 1145.
, A reference process for model composition, Proceedings of the 2008 AOSD workshop on Aspectoriented modeling. AOM '08, pp.1-6, 2008.
, Executable Aspect Oriented Models for Improved Model Testing ». Dans : ECMDA workshop on Integration of Model Driven Development and Model Driven Testing, Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis, pp.151-165978, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00512544
, Dans : Model Driven Engineering Languages and Systems. Éd. par A. SchürrSch¨Schürr et B. Selic. T. 5795. Lecture Notes in Computer Science, Abstracting Complex Languages through Transformation and Composition », pp.546-550, 2009.
, « Some complexities in computerbased systems and their implications for system development, CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering. BIBLIOGRAPHY [Jea08] C. Jeanneret. « An Analysis of Model Composition Approaches, pp.344-351, 1990.
, Ecole Polytechnique Fédérale de Lausanne, 2008.
, « Aspect-oriented multi-view modeling AOSD '09, Software and Systems Modeling Proceedings of the 8th ACM international conference on Aspectoriented software development Crisis Management Systems : A Case Study for Aspect-Oriented Modeling ». Dans : Transactions on Aspect-Oriented Software Development VII, pp.209-218, 2008.
, « Weaving Behavioural Models Aspect-oriented programming Lecture Notes in Computer Science, Semantic-based Weaving of Scenarios First Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD at ECOOP 05 Fundamental Approaches to Software Engineering. Éd. par D. Rosenblum et G. Taentzer. T. 6013. Lecture Notes in Computer Science, pp.220-242, 1997.
, « Merging Models with the Epsilon Merging Language (EML) ». Dans : Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, pp.215-229, 2006.
DOI : 10.1007/11880240_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.2111
, Annotation and merging of SBML models with semanticSBML, Procedures for Performing Systematic Reviews, pp.421-422, 2004.
DOI : 10.1093/bioinformatics/btp642
, Introducing Variability into Aspect-Oriented Modeling Approaches, Model Driven Engineering Languages and Systems. Éd. par G. Engels, B. Opdyke Lecture Notes in Computer Science, pp.498-513, 2007.
DOI : 10.1007/978-3-540-75209-7_34
URL : https://hal.archives-ouvertes.fr/inria-00477562
, On metamodel composition (CCA '01) Proceedings of the, Control Applications IEEE International Conference on Liang et C. Paredis. « A port ontology for automated model composition Proceedings of the, pp.756-760, 2001.
, Comparing and merging UML models in IBM Rational Software Architect : Ad-hoc modeling -Fusing two models with diagrams url : http : / / www . ibm . com / developerworks / rational/library/07/0410_letkeman/. [Lor98] D. Lorenz. « Visitor Beans : An Aspect?Oriented Pattern, Workflow Design Using Fragment Composition ». Dans : Transactions on Aspect-Oriented Software Development VII, pp.613-622, 1998.
, Weaving Aspect Configurations for Managing System Variability08 : 2nd Int Workshop on Variability Modelling of Software-Intensive Systems Taming Dynamically Adaptive Systems using models and aspects isbn : 978-1-4244-3453- 4. doi : http://dx.doi.org/10 « Weaving Executability into Object-Oriented Meta-Languages, Towards a Generic Aspect- Oriented Modeling Framework Proceedings of the 31st International Conference on Software Engineering. ICSE '09 Proceedings of MOD- ELS/UML'2005 Barais et al. « A Generic Weaver for Supporting Product Lines EA '08 : Proceedings of the 13th international workshop on Early Aspects Providing Architectural Languages and Tools Interoperability through Model Transformation Technologies ». Dans : Software Engineering Mens et M. Wermelinger. « Supporting unanticipated software evolution through intentional software views ECOOP 2002 Workshop on Unanticipated Software Evolution. 2002. [MPL+09] B. Morin, G. Perrouin, P. Lahire et al. « Weaving Variability into Domain Metamodels ». Dans : Model Driven Engineering Languages and Systems. Éd. par A. SchürrSch¨Schürr et B. Selic. T. 5795. Lecture Notes in Computer Science, pp.122-132, 2005.
, A taxonomy for multimedia service composition, Proceedings of the 12th annual ACM international conference on Multimedia , MULTIMEDIA '04, pp.88-95, 2004.
DOI : 10.1145/1027527.1027544
, « PROMPT : Algorithm and Tool for Automated Ontology Merging and Alignment, pp.450-455, 2000.
, Matching and Merging of Statecharts Specifications, 29th International Conference on Software Engineering (ICSE'07), pp.54-64, 2007.
DOI : 10.1109/ICSE.2007.50
, Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification . online. Juil, pp.2007-2014, 2007.
, A Guidance for Model Composition, International Conference on Software Engineering Advances (ICSEA 2007), 1992.
DOI : 10.1109/ICSEA.2007.5
, Associativity and Commutativity in Generic Merge, Associativity and Commutativity in Generic Merge Conceptual Modeling : Foundations and Applications . Éd. par A. Borgida, pp.254-272978, 2009.
DOI : 10.1007/s007780100057
, Unifying Design and Runtime Adaptations Using Aspect Models ». Anglais : http://hal.inria.fr/inria-00564592 An Algebraic Approach for Composing Model Transformations in QVT, Composing Models for Detecting Inconsistencies : A Requirements Engineering Perspective 4th International Workshop on Software Language Engineering at the 10th International Conference MoDELS 2007. ATEM. Citeseer, 2007. [PR04] J. Park et S. Ram. « Information systems interoperability : What lies beneath ? » Dans1028103. [PRB+09] L. Pedro, M. Risoldi, D. Buchs et al. « Composing Visual Syntax for Domain Specific Languages ». Dans : Human-Computer Interaction. Novel Interaction Methods and Techniques. Éd. par J. Jacko. T. 5611. Lecture Notes in Computer Science, pp.89-103, 2001.
, Constructing and Visualizing Transformation Chains ». Dans : Model Driven Architecture -Foundations and Applications. Éd. par I. Schieferdecker et A. Hartman. T. 5095. Lecture Notes in Computer Science, pp.17-32, 2008.
, « On the criteria to be used in decomposing systems into modulesPen11] Penn State College of Information and Technology. CiteSeerX Digital Library and Search Engine. online. Juin, Chechik et S. M. Easterbrook. « Declarative approach for model composition MiSE '08 : Proceedings of the 2008 international workshop on Models in software engineering, pp.1053-1058, 1972.
, EMF : Eclipse Modeling Framework [SE06] M. Sabetzadeh et S. Easterbrook. « View merging in the presence of incompleteness and inconsistency, Requir. Eng, vol.113, 2006.
, Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation Lecture Notes in Computer Science, M. Jézéquel. « On model typing Software and Systems Modeling, pp.766-781, 2007.
, Compose & conquer, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.191-194, 2010.
DOI : 10.1145/1810295.1810327
, On the Use of Higher-Order Model Transformations, Model Driven Architecture -Foundations and Applications. Éd. par, pp.18-33978, 2009.
DOI : 10.1007/978-3-540-69927-9_11
URL : https://hal.archives-ouvertes.fr/hal-00782464
, isbn : 978-1-60558-215-3. doi : http://doi.acm.org/10 AGG : A Graph Transformation Environment for Modeling and Validation of Software ». Dans : Applications of Graph Transformations with Industrial Relevance, Annotation refactoring : inferring upgrade transformations for legacy applications Proceedings of the 23rd ACM UniTI : A Unified Transformation Infrastructure Model Driven Engineering Languages and Systems. Éd. par G. Engels, B. Opdyke, D. Schmidt et al. T. 4735. Lecture Notes in Computer Science, pp.295-312, 1145.
, « Using Prolog Techniques to Guide Program Composition, Thèse de doct, 1995.
, A Tool for Aspect-Oriented Modeling Based on Graph Transformation ». Dans : Models in Software Engineering . Éd. par H. Giese. T. 5002. Lecture Notes in Computer Science, pp.16-27978, 2008.
, « Formal Definition of MOF 2.0 Metamodel Components and Composition, Model Driven Engineering Languages and Systems. Éd. par, pp.386-400, 2008.
, « Metamodel Adaptation and Model Co-adaptationObject-Oriented Programming, Lecture Notes in Computer Science, pp.600-624978, 2007.
, Towards automatic model synchronization from model transformations, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.164-173, 2007.
DOI : 10.1145/1321631.1321657
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.8940
, « Package Merge in UML 2 : Practice vs Lecture Notes in Computer Science, « An Approach for Model Composition and Verification NCM '09. Fifth International Joint Conference on, pp.185-199, 1109.
, Ratio of strategy types used to map the MTEP and the, p.138