#. Main, jpg When the process is called a second time, the cache aspect inhibits the execution of the picasa one, and consequently the execution of the legacy behavior, mosser@necronomicon:picweb/AspectJ$ java Main ### Main: Calling PicWeb ### -> Entering: call(String[] picweb.PicWeb.get(String, 566071465.

#. Main, A Graph-Transformation- Based Simulation Approach for Analysing Aspect Interference on Shared Join Points, AOSD '09: Proceedings of the 8th ACM international conference on Aspect-oriented software development, pp.39-50, 2009.

B. Apel, S. Apel, and D. Batory, When to use features and aspects?, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, pp.59-68, 2006.
DOI : 10.1145/1173706.1173716

. Apel, Research challenges in the tension between features and services, Proceedings of the 2nd international workshop on Systems development in SOA environments , SDSOA '08, pp.53-58, 2008.
DOI : 10.1145/1370916.1370930

. Apel, Type safety for feature-oriented product lines, Automated Software Engineering, vol.115, issue.1, pp.251-300, 2010.
DOI : 10.1007/s10515-010-0066-8

V. Monfort, A Concrete Solution for Web Services Adaptability Using Policies and Aspects, ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pp.134-142, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00706470

R. Balzer, Tolerating Inconsistency, [1989] Proceedings of the 5th International Software Process Workshop, pp.158-165, 1991.
DOI : 10.1109/ISPW.1989.690408

J. Bang-jensen and G. Gutin, Digraphs: Theory, Algorithms and Applications, 2000.
DOI : 10.1007/978-1-84800-998-1

C. Baniassad, E. Baniassad, and S. Clarke, Theme: an approach for aspect-oriented analysis and design, Proceedings. 26th International Conference on Software Engineering, pp.158-167, 2004.
DOI : 10.1109/ICSE.2004.1317438

O. Barais and L. Duchien, Safarchie Studio: ArgoUML Extensions to Build Safe Architectures, pp.85-100, 2005.
DOI : 10.1007/0-387-24590-1_6

. Barais, Composing Multi-view Aspect Models, Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), pp.43-52, 2008.
DOI : 10.1109/ICCBSS.2008.12
URL : https://hal.archives-ouvertes.fr/inria-00371221

. Barais, Software Architecture Evolution, pp.233-262, 2008.
DOI : 10.1007/978-3-540-76440-3_10
URL : https://hal.archives-ouvertes.fr/inria-00371226

D. Batory, A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite, Generative and Transformational Techniques in Software Engineering, pp.3-35, 2006.
DOI : 10.1007/11877028_1

D. Batory, From Implementation to Theory in Product Synthesis, POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.135-136, 2007.

D. Batory, Using modern mathematics as an FOSD modeling language, Proceedings of the 7th international conference on Generative programming and component engineering, GPCE '08, pp.35-44, 2008.
DOI : 10.1145/1449913.1449921

G. Batory, D. Batory, and B. J. Geraci, Composition validation and subjectivity in GenVoca generators, IEEE Transactions on Software Engineering, vol.23, issue.2, pp.67-82, 1997.
DOI : 10.1109/32.585497

O. Batory, D. Batory, O. Malley, and S. , The design and implementation of hierarchical software systems with reusable components, ACM Transactions on Software Engineering and Methodology, vol.1, issue.4, pp.355-398, 1992.
DOI : 10.1145/136586.136587

. Batory, Scaling Step-Wise Refinement, IEEE Transactions on Software Engineering, vol.30, 2004.

. Baudry, Exploring the Relationship Between Model composition and Model Transformation, In: 7th International Workshop on Aspect-Oriented Modeling, p.2, 2005.

. Becht, ROPE: role oriented programming environment for multiagent systems, Proceedings Fourth IFCIS International Conference on Cooperative Information Systems. CoopIS 99 (Cat. No.PR00384), pp.325-333, 1999.
DOI : 10.1109/COOPIS.1999.792181

. Belleau, Bio2RDF: Towards a mashup to build bioinformatics knowledge systems, Journal of Biomedical Informatics, vol.41, issue.5, 2008.
DOI : 10.1016/j.jbi.2008.03.004

G. Bézivin, J. Bézivin, and O. Gerbé, Towards a precise definition of the OMG/MDA framework, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), p.273, 2001.
DOI : 10.1109/ASE.2001.989813

. Blanc, Incremental Detection of Model Inconsistencies Based on Model Operations, CAiSE, pp.32-46, 2009.
DOI : 10.1007/11767138_7
URL : https://hal.archives-ouvertes.fr/hal-00669769

. Blanc, Detecting model inconsistency through operation-based model construction, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.511-520, 2008.
DOI : 10.1145/1368088.1368158
URL : https://hal.archives-ouvertes.fr/hal-01303728

. Blanc, Metamodel Reuse with MOF, MoDELS, pp.661-675, 2005.
DOI : 10.1007/11557432_49
URL : https://hal.archives-ouvertes.fr/hal-01418175

. Blay-fornarino, Démonstrateur de l'application SEDUITE, 2009.

K. Böllert, On Weaving Aspects, Proceedings of the Workshop on Object- Oriented Technology, pp.301-302, 1999.

G. Booch, Object-oriented development, IEEE Transactions on Software Engineering, vol.12, issue.2, pp.211-221, 1986.
DOI : 10.1109/TSE.1986.6312937

. Booch, Unified Modeling Language User Guide, The, 2005.

. Börger, An ASM Semantics for UML Activity Diagrams, Algebraic Methodology and Software Technology, pp.293-308, 2010.
DOI : 10.1007/3-540-45499-3_22

C. Bracha, G. Bracha, and W. Cook, Mixin-Based Inheritance, OOP- SLA/ECOOP '90: Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, pp.303-311, 1990.

A. Brown and W. Alan, Model driven architecture: Principles and practice, Software and Systems Modeling (SoSyM), pp.314-327, 2004.
DOI : 10.1007/s10270-004-0061-2

. Brown, AntiPatterns: Refactoring Software, Architectures, and Projects in Crisis, 1998.

. Bruneton, An Open Component Model and Its Support in Java, Lecture Notes in Computer Science, vol.3054, pp.7-22, 2004.
DOI : 10.1007/978-3-540-24774-6_3

J. Cardoso, Evaluating the process control-flow complexity measure, IEEE International Conference on Web Services (ICWS'05), pp.803-804, 2005.
DOI : 10.1109/ICWS.2005.57

. Cardoso, A Discourse on Complexity of Process Models, Business Process Management Workshops, pp.117-128, 2006.
DOI : 10.1007/11837862_13

. Carton, Model-Driven Theme/UML, pp.238-266, 2009.
DOI : 10.1007/978-3-642-03764-1_7

. Chakrabarti, . Liu, D. R. Chakrabarti, and S. Liu, Inline Analysis: Beyond Selection Heuristics, International Symposium on Code Generation and Optimization (CGO'06), pp.221-232, 2006.
DOI : 10.1109/CGO.2006.17

M. Charfi, A. Charfi, and M. Mezini, Aspect-Oriented Web Service Composition with AO4BPEL, European Conference on Web Services, pp.168-182, 2004.
DOI : 10.1007/978-3-540-30209-4_13

. Charfi, . Mezini, A. Charfi, and M. Mezini, AO4BPEL: An Aspect-oriented Extension to BPEL, World Wide Web, vol.1, issue.3, pp.309-344, 2007.
DOI : 10.1007/s11280-006-0016-3

. Chitchyan, Survey of Analysis and Design Approaches, 2005.

. Chung, L. Do-prado-leite-]-chung, and J. Do-prado-leite, On Non-Functional Requirements in Software Engineering, Conceptual Modeling: Foundations and Applications, pp.363-379978, 1007.
DOI : 10.1016/0167-6423(95)96871-J

C. , N. Clemens, P. Northtop, and L. , Software Product Lines: Practices and Patterns, 2001.

. Cormen, Introduction to Algorithms, 2001.

C. Courbis and A. Finkelstein, Towards Aspect Weaving Applications, ICSE '05: Proceedings of the 27th international conference on Software engineering, pp.69-77, 2005.

D. Crystal, The Penguin Dictionary of Language, 1999.

. Curbera, The next step in Web services, Communications of the ACM, vol.46, issue.10, pp.4629-4663, 2003.
DOI : 10.1145/944217.944234

. Czarnecki, . Helsen, K. Czarnecki, and S. Helsen, Classification of Model Transformation Approaches, OOPSLA'03 Workshop on Generative Techniques in the Context of Model-Driven Architecture, 2003.

. Czarnecki, Generative Programming, 2002.
DOI : 10.1007/3-540-36208-8_2

E. W. Dijkstra, On the Role of Scientific Thought. Selected Writings on Computing: A Personal Perspective, pp.60-66, 1974.

E. W. Dijkstra, A Discipline of Programming, 1997.

. Din, A Workload Model for Benchmarking BPEL Engines. Software Testing Verification and Validation Workshop, IEEE International Conference on, pp.357-360, 2008.

. Douence, Composition, reuse and interaction analysis of stateful aspects, Proceedings of the 3rd international conference on Aspect-oriented software development , AOSD '04, pp.141-150, 2004.
DOI : 10.1145/976270.976288
URL : https://hal.archives-ouvertes.fr/inria-00000946

. Douence, Concurrent aspects, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, pp.79-88, 2006.
DOI : 10.1145/1173706.1173718
URL : https://hal.archives-ouvertes.fr/inria-00467938

T. Dumas, . Hofstede, M. Dumas, and A. Ter-hofstede, UML Activity Diagrams as a Workflow Specification Language, «UML» 2001 ? The Unified Modeling Language. Modeling Languages, Concepts, and Tools, pp.76-90, 2001.
DOI : 10.1007/3-540-45441-1_7

. Dutra, Toward Automatic Management of Embarrassingly Parallel Applications, Euro-Par 2003 Parallel Processing, pp.509-516978, 1007.
DOI : 10.1007/978-3-540-45209-6_73

. Elrad, Discussing aspects of AOP, Communications of the ACM, vol.44, issue.10, pp.4433-4471, 2001.
DOI : 10.1145/383845.383854

. Emmerich, Grid Service Orchestration Using the Business Process Execution Language (BPEL), Journal of Grid Computing, vol.31, issue.5, pp.283-304, 2005.
DOI : 10.1007/s10723-005-9015-3

H. Eshuis, Semantics and Verification of UML Activity Diagrams for Workflow Modelling, 2002.

W. Eshuis, R. Eshuis, and R. Wieringa, A Comparison of Petri Net and Activity Diagram Variants, Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems, pp.93-104, 2001.

. Falleri, Towards a Traceability Framework for Model Transformations in Kermeta, 2006.
URL : https://hal.archives-ouvertes.fr/lirmm-00102855

R. T. Fielding, Architectural Styles and the Design of Network-based Software Architectures, 2000.

F. Fleurey, Langage et méthode pour une ingénierie des modèles fiable, 2006.

. Fleurey, A Generic Approach for Automatic Model Composition, Aspect Oriented Modelling workshop at MoD- ELS, 2007.
DOI : 10.1007/978-3-540-69073-3_2
URL : https://hal.archives-ouvertes.fr/inria-00477568

M. Fowler, Refactoring: Improving the Design of Existing Code, 1999.
DOI : 10.1007/3-540-45672-4_31

M. Fowler, Domain Specific Languages, 2010.

R. France, R. France, and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), pp.37-54, 2007.
DOI : 10.1109/FOSE.2007.14
URL : https://hal.archives-ouvertes.fr/inria-00511368

. Freeman, Lifting Transformational Models of Product Lines: A Case Study, Theory and Practice of Model Transformations, pp.16-30978, 1007.
DOI : 10.1007/978-3-540-69927-9_2

. Gamma, Design Patterns: Elements of Reusable Object-Oriented Software, 1995.

D. Garlan and B. Schmerl, Using Architectural Models at Runtime: Research Challenges, European Workshop on Software Architectures (EWSA), pp.200-205, 2004.
DOI : 10.1007/978-3-540-24769-2_15

. Gasevic, Model Driven Architecture and Ontology Development, 2006.

T. Glatard, Description, Deployment and Optimization of Medical Image Analysis Workflows on Production Grids, 2007.
URL : https://hal.archives-ouvertes.fr/tel-00460156

S. Gregory, A declarative approach to concurrent programming, PLILP '97: Proceedings of the9th International Symposium on Programming Languages: Implementations , Logics, and Programs, pp.79-93, 1997.
DOI : 10.1007/BFb0033838

O. Harrison, W. Harrison, and H. Ossher, Subject-oriented programming, ACM SIGPLAN Notices, vol.28, issue.10, pp.411-428, 1993.
DOI : 10.1145/167962.165932

. Heckel, Confluence of Typed Attributed Graph Transformation Systems, ICGT '02: Proceedings of the First International Conference on Graph Transformation, pp.161-176, 2002.
DOI : 10.1007/3-540-45832-8_14

. Heidenreich, Derivation and Refinement of Textual Syntax for Models, Model Driven Architecture -Foundations and Applications, pp.114-129978, 1007.
DOI : 10.1049/iet-sen:20070060

H. Hellerman, Experimental personalized array translator system, Communications of the ACM, vol.7, issue.7, pp.433-438, 1964.
DOI : 10.1145/364520.364573

M. Henning, The Rise and Fall of CORBA. Queue, pp.28-34, 2006.

. Hinz, Transforming BPEL to Petri Nets, Proceedings of the 3rd Int'l Conference on Business Process Management (BPM 2005), pp.220-235, 2005.
DOI : 10.1007/11538394_15

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

. Hopcroft, Introduction to Automata Theory, Languages, and Computation, 2001.

. Hotho, Information Retrieval in Folksonomies: Search and Ranking. The Semantic Web: Research and Applications, pp.411-426, 2006.

. Hürsch, Separation of Concerns, 1995.

K. E. Iverson, A programming language, Proceedings of the May 1-3, 1962, spring joint computer conference on, AIEE-IRE '62 (Spring), 1962.
DOI : 10.1145/1460833.1460872

D. Jackson, Software Abstractions: Logic, Language, and Analysis, 2006.

. Jayaraman, Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis, MoDELS, pp.151-165, 2007.
DOI : 10.1007/978-3-540-75209-7_11

. Jouault, . Kurtev, F. Jouault, and I. Kurtev, Transforming Models with ATL, Satellite Events at the MoDELS 2005 Conference, pp.128-138, 1007.
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120

. Kästner, Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach, Proceedings of the International Conference on Objects, Models, Components, Patterns (TOOLS EUROPE), volume 33 of LNBI, pp.174-194, 2009.
DOI : 10.1145/979743.979766

. Katz, . Katz, E. Katz, and S. Katz, Incremental analysis of interference among aspects, Proceedings of the 7th workshop on Foundations of aspect-oriented languages, FOAL '08, pp.29-38, 2008.
DOI : 10.1145/1394496.1394500

. Katz, Transactions on Aspect-Oriented Software Development VI, Special Issue on Aspects and Model-Driven Engineering, Lecture Notes in Computer Science, vol.5560, 2009.

. Kellens, Managing the Evolution of Aspect-Oriented Software with Model-Based Pointcuts, Proceedings of the European Conference on Object-Oriented Programming (ECOOP, pp.501-525, 2006.
DOI : 10.1007/11785477_28
URL : https://hal.archives-ouvertes.fr/inria-00160620

. Kiczales, An Overview of AspectJ, ECOOP '01: Proceedings of the 15th European Conference on Object-Oriented Programming, pp.327-353, 2001.
DOI : 10.1007/3-540-45337-7_18

. Kiczales, Aspect-oriented programming, ECOOP'97 ? Object-Oriented Programming, pp.220-242, 1997.
DOI : 10.1007/BFb0053381

. Kienzle, Aspect-oriented multi-view modeling, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.87-98, 2009.
DOI : 10.1145/1509239.1509252

. Kienzle, Crisis Management Systems , A Case Study for Aspect-Oriented Modeling. Requirements Document for TAOSD Special Issue, 2009.

. Kim, On the modularity of feature interactions, Proceedings of the 7th international conference on Generative programming and component engineering, GPCE '08, pp.23-34, 2008.
DOI : 10.1145/1449913.1449919

J. Klein, Aspects Comportementaux et Tissage, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00538382

. Klein, Weaving Multiple Aspects in Sequence Diagrams. T. Aspect-Oriented Software Development, pp.167-199, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00505223

. Klein, Semantic-based weaving of scenarios, Proceedings of the 5th international conference on Aspect-oriented software development , AOSD '06, 2006.
DOI : 10.1145/1119655.1119662
URL : https://hal.archives-ouvertes.fr/hal-00921480

K. Klein, J. Klein, and J. Kienzle, Reusable Aspect Models, 11th Workshop on Aspect-Oriented Modeling, AOM at Models'07, 2007.

. Kloppmann, The Dichotomy of Modeling and Execution, Information Science Reference, pp.70-91, 2009.
DOI : 10.4018/978-1-60566-288-6.ch004

. Kohlbecker, Hygienic macro expansion, Proceedings of the 1986 ACM conference on LISP and functional programming , LFP '86, pp.151-161, 1986.
DOI : 10.1145/319838.319859

. Kolovos, Raising the level of abstraction in the development of GMF-based graphical model editors, 2009 ICSE Workshop on Modeling in Software Engineering, pp.13-19, 2009.
DOI : 10.1109/MISE.2009.5069891

. Kozaczynski, . Booch, W. Kozaczynski, and G. Booch, Component-Based Software Engineering, IEEE Software, vol.15, issue.5, pp.34-36, 1998.
DOI : 10.1109/MS.1998.714621

T. Kühne, Matters of (Meta-) Modeling. Software and Systems Modeling, pp.369-385, 2006.

K. Küster, U. Küster, and B. Kunig-ries, Dynamic Binding for BPEL Processes ??? A Lightweight Approach to Integrate Semantics into Web Services, Service- Oriented Computing ICSOC 2006, pp.116-127978, 1007.
DOI : 10.1007/978-3-540-75492-3_11

. Lagaisse, B. Joosen-]-lagaisse, and W. Joosen, Decomposition Into Elementary Pointcuts: a Design Principle for Improved Aspect Reusability, Software Engineering Properties of Languages and Aspect Technologies, 2006.

. Laue, R. Gruhn-]-laue, and V. Gruhn, Complexity Metrics for Business Process Models, pp.1-12, 2006.

D. S. Linthicum, Enterprise Application Integration, 2000.

B. Liu, J. Liu, and D. Batory, Automatic Remodularization and Optimized Synthesis of Product-Families, In: Proceedings of the Third International Conference on Generative Programming and Component Engineering, pp.379-395, 2004.
DOI : 10.1007/978-3-540-30175-2_20

. Liu, Modeling Interactions in Feature Oriented Software Designs, pp.178-197, 2005.

. Lopez-herrejon, A disciplined approach to aspect composition, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation , PEPM '06, pp.68-77, 2006.
DOI : 10.1145/1111542.1111554

K. Magee, J. Magee, and J. Krammer, Concurrency: State Models & Java Programs, 2006.

. Mallet, The clock constraint specification language for building timed causality models, Innovations in Systems and Software Engineering, pp.99-106, 2010.
DOI : 10.1007/s11334-009-0109-0
URL : https://hal.archives-ouvertes.fr/inria-00464894

. Masuhara, A Compilation and Optimization Model for Aspect-Oriented Programs, Compiler Construction, pp.46-60, 2003.
DOI : 10.1007/3-540-36579-6_4

. Matougui, . Beugnard, S. Matougui, and A. Beugnard, How to Implement Software Connectors? A Reusable, Abstract and Adaptable Connector, Lecture Notes in Computer Science, vol.18, pp.83-94, 2005.
DOI : 10.1145/167049.167055

D. Mcallester, Variational Attribute Grammars for Computer Aided Design (Release 3.0), 1994.

R. Mcneile, A. Mcneile, and E. Roubtsova, CSP parallel composition of aspect models, Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling, AOM '08, pp.13-18, 2008.
DOI : 10.1145/1404920.1404923

A. Mcneile and E. Roubtsova, Aspect-Oriented Development Using Protocol Modeling, Transactions on Aspect-Oriented Software Development (TAOSD) Special issue on Aspect Oriented Modeling, pp.1-34, 2010.
DOI : 10.1007/978-3-642-16086-8_4

S. Mcneile, A. T. Mcneile, and N. Simons, Protocol modelling: A modelling approach that supports reusable behavioural abstractions, Software and System Modeling, pp.91-107, 2006.
DOI : 10.1007/s10270-005-0100-7

. Medvidovic, . Taylor, N. Medvidovic, and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077

. Mellor, . Balcer, S. J. Mellor, and M. Balcer, Executable UML: A Foundation for Model-Driven Architectures, 2002.

. Merks, The Eclipse Modeling Framework, 2003.

J. Miller and J. Mukerji, MDA Guide Version 1.0.1, 2003.

. Montagnat, Data composition patterns in service-based workflows, 2006 Workshop on Workflows in Support of Large-Scale Science, 2006.
DOI : 10.1109/WORKS.2006.5282350
URL : https://hal.archives-ouvertes.fr/hal-00683193

. Montagnat, A data-driven workflow language for grids based on array programming principles, Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science, WORKS '09, pp.1-10, 2009.
DOI : 10.1145/1645164.1645171
URL : https://hal.archives-ouvertes.fr/hal-00677806

. Moreau, Data Flow Repair in Web Service Orchestration at Runtime, 2009 Fourth International Conference on Internet and Web Applications and Services, pp.43-48, 2009.
DOI : 10.1109/ICIW.2009.15
URL : https://hal.archives-ouvertes.fr/hal-01294402

. Mosser, Visualizing and Assessing a Compositional Approach of Business Process Design, Software Composition,'s Lecture Notes in Computer Sciences, 2010.
DOI : 10.1007/978-3-642-14046-4_7
URL : https://hal.archives-ouvertes.fr/hal-00531032

. Mosser, Workflow Design using Fragment Composition (Crisis Management System Design through ADORE), Transactions on Aspect-Oriented Software Development (TAOSD) Special issue on Aspect Oriented Modeling, pp.1-34, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00531026

. Mosser, Orchestration Evolution Following Dataflow Concepts: Introducing Unanticipated Loops inside a Legacy Workflow, 2009 Fourth International Conference on Internet and Web Applications and Services, pp.389-394, 2009.
DOI : 10.1109/ICIW.2009.64
URL : https://hal.archives-ouvertes.fr/hal-00531036

. Mosser, Web Services Orchestrations Evolution: A Merge Process for Behavioral Evolution, 2nd European Conference on Software Architecture (ECSA'08), pp.35-49, 2008.
DOI : 10.1007/978-3-540-88030-1_5

. Mosser, Service Oriented Architecture Definition Using Composition of Business-Driven Fragments, Models and Evolution (MODSE'09), workshop, pp.1-10, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00531039

. Mosser, Web Services Composition: Mashups Driven Orchestration Definition, 2008 International Conference on Computational Intelligence for Modelling Control & Automation, pp.284-289, 2008.
DOI : 10.1109/CIMCA.2008.96

. Mosser, From aspect-oriented requirements models to aspect-oriented business process design models, Proceedings of the tenth international conference on Aspect-oriented software development, AOSD '11, 2011.
DOI : 10.1145/1960275.1960281
URL : https://hal.archives-ouvertes.fr/hal-00531027

. Mougenot, D-Praxis : A Peer-to-Peer Collaborative Model Editing Framework, Lecture Notes in Computer Science, vol.37, issue.1, pp.16-29, 2009.
DOI : 10.1145/1057977.1057980
URL : https://hal.archives-ouvertes.fr/hal-00669776

P. Mougin and S. Ducasse, OOPAL: Integrating Array Programming in Object-Oriented Programming, OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications, pp.65-77, 2003.

. Muller, On Executable Meta-Languages applied to Model Transformations, Model Transformations In Practice Workshop, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000381

. Muller, Modeling Modeling, MoDELS, pp.2-16, 2009.
DOI : 10.1007/978-3-540-75209-7_7
URL : https://hal.archives-ouvertes.fr/inria-00477528

. Muller, Model-driven analysis and synthesis of textual concrete syntax, Software and System Modeling, pp.423-441, 2008.
DOI : 10.1007/s10270-008-0088-x
URL : https://hal.archives-ouvertes.fr/inria-00468231

H. Muller, P. Muller, and M. Hassenforder, HUTN as a Bridge between ModelWare and GrammarWare, WISME Workshop, 2005.

G. Mussbacher and D. Amyot, Extending the User Requirements Notation with Aspect-Oriented Concepts, SDL 2009: Design for Motes and Mobiles, pp.115-132, 2009.
DOI : 10.1109/ISRE.1997.566873

. Mussbacher, Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study, Transactions on Aspect-Oriented Software Development VII, volume 6210 of Lect. Notes Comp. Sci, pp.23-68, 2010.
DOI : 10.1007/978-3-642-16086-8_2

. Mussbacher, Semantic-Based Interaction Detection in Aspect-Oriented Scenarios, 2009 17th IEEE International Requirements Engineering Conference, pp.203-212, 2009.
DOI : 10.1109/RE.2009.13

. Nagy, Composing Aspects at Shared Join Points, pp.19-38, 2005.

. Nejati, Matching and Merging of Statecharts Specifications, 29th International Conference on Software Engineering (ICSE'07), pp.54-64, 2007.
DOI : 10.1109/ICSE.2007.50

. Nemo, Merging Overlapping Orchestrations: an Application to the Bronze Standard Medical Application, International Conference on Services Computing, pp.364-371, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00683168

. Oinn, Taverna: a tool for the composition and enactment of bioinformatics workflows, Bioinformatics, vol.20, issue.17, pp.203045-3054, 2004.
DOI : 10.1093/bioinformatics/bth361

. Omg and . Omg, Business Process Modeling Notation (BPMN) Specification, Final Adopted Specification, 2006.

. Omg and . Omg, CORBA Component Model 4.0 Specification. Specification Version 4.0, Object Management Group, 2006.

F. Oquendo, ??-ADL, ACM SIGSOFT Software Engineering Notes, vol.29, issue.3, pp.291-305, 2004.
DOI : 10.1145/986710.986728

L. Ortiz, G. Ortiz, and F. Leymann, Combining WS-Policy and Aspect-Oriented Programming, Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06), p.143, 2006.
DOI : 10.1109/AICT-ICIW.2006.66

K. Pant, Business Process Driven SOA using BPMN and BPEL: From Business Process Modeling to Orchestration and Service Oriented Architecture, 2008.

M. P. Papazoglou, Service-oriented computing: concepts, characteristics and directions, Proceedings of the 7th International Conference on Properties and Applications of Dielectric Materials (Cat. No.03CH37417), p.3, 2003.
DOI : 10.1109/WISE.2003.1254461

M. P. Papazoglou, Web Services: Principles and Technology, 2008.

. Papazoglou, M. P. Papazoglou, and W. J. Heuvel, Service-oriented design and development methodology, International Journal of Web Engineering and Technology, vol.2, issue.4, pp.412-442, 2006.
DOI : 10.1504/IJWET.2006.010423

T. Parr, Language Implementation Patterns: Create Your Own Domain- Specific and General Programming Languages, 2009.

. Parra, Context Awareness for Dynamic Service-Oriented Product Lines, SPLC, volume 446 of ACM International Conference Proceeding Series, pp.131-140, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00425586

. Pawlak, CompAr: Ensuring Safe Around Advice Composition, Lecture Notes in Computer Science, vol.15, issue.12, pp.163-178, 2005.
DOI : 10.1145/643603.643614
URL : https://hal.archives-ouvertes.fr/inria-00446489

C. Peltz, Web services orchestration and choreography, Computer, vol.36, issue.10, pp.46-52, 2003.
DOI : 10.1109/MC.2003.1236471

. Perrouin, Reconciling Automation and Flexibility in Product Derivation, 2008 12th International Software Product Line Conference, pp.339-348, 2008.
DOI : 10.1109/SPLC.2008.38
URL : https://hal.archives-ouvertes.fr/inria-00456507

. Pessemier, A component-based and aspect-oriented model for software evolution, International Journal of Computer Applications in Technology, vol.31, issue.1/2, pp.94-105, 2008.
DOI : 10.1504/IJCAT.2008.017722
URL : https://hal.archives-ouvertes.fr/inria-00269895

. Popovici, Dynamic weaving for aspect-oriented programming, Proceedings of the 1st international conference on Aspect-oriented software development , AOSD '02, pp.141-147, 2002.
DOI : 10.1145/508386.508404

F. Pourraz, Diapason : une approche formelle et centrée architecture pour la composition évolutive de services Web, 2007.

C. Prehofer, Feature-oriented programming: A fresh look at objects, ECOOP'97 ? Object-Oriented Programming, pp.419-443, 1007.
DOI : 10.1007/BFb0053389

. Recker, J. Mendling-]-recker, and J. Mendling, On the Translation between BPMN and BPEL: Conceptual Mismatch between Process Modeling Languages, 2006.

. Reddy, Directives for Composing Aspect-Oriented Design Class Models, Transactions on Aspect-Oriented Software Development I, pp.75-105, 2006.
DOI : 10.1007/BFb0053381

. Rho, Fine-grained Generic Aspects, Workshop on Foundations of Aspect-Oriented Languages (FOAL'06), in conjunction with Fifth International Conference on Aspect-Oriented Software Development (AOSD.06), 2006.

. Rose, Constructing Models with the Human-Usable Textual Notation, MoDELS '08: Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems, pp.249-263, 2008.
DOI : 10.1007/978-3-540-87875-9_18

. Roubtsova, Modular Behaviour Modelling of Service Providing Business Processes, pp.338-341, 2009.

. Sangiorgi, . Walker, D. Sangiorgi, and D. Walker, PI-Calculus: A Theory of Mobile Processes, 2001.

. Schärli, Traits: Composable Units of Behaviour, ECOOP 2003 ? Object-Oriented Programming, pp.327-339978, 1007.
DOI : 10.1007/978-3-540-45070-2_12

R. W. Schulte and Y. V. Natis, SSA Research Note SPA-401- 068, Service Oriented Architectures, 1996.

K. Schwaber and M. Beedle, Agile Software Development with Scrum, 2001.

. Seinturier, Reconfigurable SCA Applications with the FraSCAti Platform, 2009 IEEE International Conference on Services Computing, pp.268-275, 2009.
DOI : 10.1109/SCC.2009.27
URL : https://hal.archives-ouvertes.fr/inria-00397856

A. Snyder, Encapsulation and Inheritance in Object-Oriented Programming Languages, OOPLSA '86: Conference proceedings on Object-oriented programming systems, languages and applications, pp.38-45, 1986.

. Sriplakich, Supporting Collaborative Development in an Open MDA Environment, 2006 22nd IEEE International Conference on Software Maintenance, pp.244-253, 2006.
DOI : 10.1109/ICSM.2006.64
URL : https://hal.archives-ouvertes.fr/hal-01352090

. Stein, Enabling Business Experts to Discover Web Services for Business Process Automation, Emerging Web Services Technology, Volume II, Whitestein Series in Software Agent Technologies and Autonomic Computing, pp.23-39978, 2008.
DOI : 10.1007/978-3-7643-8864-5_3

M. E. Stickel, A Unification Algorithm for Associative-Commutative Functions, Journal of the ACM, vol.28, issue.3, pp.423-434, 1981.
DOI : 10.1145/322261.322262

G. Stoerzer, M. Stoerzer, and J. Graf, Using pointcut delta analysis to support evolution of aspect-oriented software, 21st IEEE International Conference on Software Maintenance (ICSM'05), pp.653-656, 2005.
DOI : 10.1109/ICSM.2005.99

H. Störrle, Semantics and Verification of Data Flow in UML 2.0 Activities, Electronic Notes in Theoretical Computer Science, vol.127, issue.4, pp.35-52, 2004.
DOI : 10.1016/j.entcs.2004.08.046

B. Stroustrup, The C++ Programming Language, 2000.

. Sun, A Model Engineering Approach to Tool Interoperability, Software Language Engineering, pp.178-187978, 1007.
DOI : 10.1504/IJEH.2006.008697

C. Szyperski, Component Software: Beyond Object-Oriented Programming, 1998.

G. Taentzer, AGG: A??Graph Transformation Environment for Modeling and Validation of Software, Applications of Graph Transformations with Industrial Relevance, pp.446-453, 2004.
DOI : 10.1007/978-3-540-25959-6_35

. Thaker, Safe composition of product lines, Proceedings of the 6th international conference on Generative programming and component engineering , GPCE '07, pp.95-104, 2007.
DOI : 10.1145/1289971.1289989

. Ungar, . Smith, D. Ungar, and R. B. Smith, Self: The power of simplicity, pp.227-242, 1987.

. Uzuncaova, Incremental Test Generation for Software Product Lines, IEEE Transactions on Software Engineering, vol.36, pp.309-322, 2010.
DOI : 10.1109/TSE.2010.29

W. M. Van-der-aalst-aalst, THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT, Journal of Circuits, Systems and Computers, vol.08, issue.01, pp.21-66, 1998.
DOI : 10.1142/S0218126698000043

. Verheecke, AOP for Dynamic Configuration and Management of Web Services, Web Services -ICWS-Europe 2003, pp.55-85978, 1007.

S. Vinoski, WS-nonexistent standards, IEEE Internet Computing, vol.8, issue.6, pp.94-96, 2004.
DOI : 10.1109/MIC.2004.73

F. Wang, G. Wang, and C. K. Fung, Architecture Paradigms and Their Influences and Impacts on Component-Based Software Systems, HICSS '04: Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) -Track 9, pp.90272-90273, 2004.

S. A. White, Using BPMN to Model a BPEL Process, 2005.

. Whittle, MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation, pp.191-237, 2009.
DOI : 10.1007/978-3-642-03764-1_6

K. Wimmer, M. Wimmer, and G. Kramler, Bridging Grammarware and Modelware, Satellite Events at the MoDELS 2005 Conference, pp.159-168, 1007.
DOI : 10.1007/11663430_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3835

. Wohed, On the Suitability of BPMN for Business Process Modelling, Proceedings 4th International Conference on Business Process Management, pp.161-176, 2006.
DOI : 10.1007/11841760_12

H. Wong, J. Wong, and J. I. Hong, Making mashups with marmite, Proceedings of the SIGCHI conference on Human factors in computing systems , CHI '07, pp.1435-1444, 2007.
DOI : 10.1145/1240624.1240842

D. M. Yellin and R. E. Strom, Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, pp.292-333, 1997.
DOI : 10.1145/244795.244801

. Zhang, Aspect Composition in the Motorola Aspect-Oriented Modeling Weaver., The Journal of Object Technology, vol.6, issue.7, pp.89-108, 2007.
DOI : 10.5381/jot.2007.6.7.a4