.. Tisseur-d-'aspects-d-'assemblage, 106 5.3.1 Instanciation des greffon des

J. Y. Tigli, S. Lavirotte, G. Rey, N. Ferry, V. Hourdin et al., Aspect of Assembly: From Theory to Performance, Transactions on Aspect Oriented Software Development (TAOSD), 2012.
DOI : 10.1007/978-3-642-35551-6_2
URL : https://hal.archives-ouvertes.fr/hal-01330258

C. , S. Fathallah, S. Lavirotte, J. Tigli, G. Rey et al., A Symmetric Compositional Approach for Adaptive Ubiquitous Systems, Proceedings of the 15th IEEE International Conference on Computational Science and Engineering (CSE), pp.5-7, 2012.

S. Fathallah, S. Lavirotte, J. Tigli, G. Rey, M. Riveill-stéphane-lavirotte et al., The Dynamic Composition of Independent Adaptations including Interferences ManagementAdaptations Interferences Detection and Resolution with Graph-Transformation Approach, Proceedings of the Seventh International Conference on Software Engineering Advances (ICSEA) Proceedings of the Proceedings of the 6th International Conference : Sciences of Electronic, Technologies of Information and Telecommunications (SETIT), pp.21-24, 2012.

S. Fathallah, S. Lavirotte, J. Tigli, G. Rey, and M. Riveill, A Dynamic mechanism for solving Interference Adaptation in Ubiquitous Computing Environment, Proceedings of the 1st International Workshop on Dynamicity (DYNAM), 2011.

S. Fathallah, S. Lavirotte, J. Tigli, G. Rey, and M. Riveill, MergeIA : A Service for Dynamic Merging of Interfering Adaptations in Ubiquitous System, Proceedings of the Proceedings of the Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM), pp.20-25, 2011.

C. Nationale, S. Fathallah, S. Lavirotte, J. Tigli, G. Rey et al., Résolution des interférences entre les adaptations par transformations de graphes, Proceedings of the 29ème INFORSID, pp.24-26, 2011.

S. Fathallah, S. Lavirotte, J. Tigli, and K. Hamrouni, Tissages Multiples d'Aspects d'Assemblage : Application à l'adaptation logicielle pour l'Informatique Ambiante, Research Report, vol.3, 2009.

. Bibliographie, A + 05] Farhad Arbab et al. Composition by interaction, 2005.

J. Robert and . Allen, A formal approach to software architecture, 1997.

[. Arbab and F. Mavaddat, Coordination through Channel Composition, Coordination Models and Languages, pp.22-39, 2002.
DOI : 10.1007/3-540-46000-4_6

A. Arbab, What do you mean, coordination. Bulletin of the Dutch Association for Theoretical Computer Science, NVTI, p.1122, 1998.

A. Arbab, Abstract behavior types : A foundation model for components and their composition, Formal Methods for Components and Objects, pp.33-70

A. Arnold, Systèmes de transitions finis et sémantique des processus communicants, 1992.
DOI : 10.1051/ita/1981150201031
URL : http://archive.numdam.org/article/ITA_1981__15_2_103_0.pdf

[. Aksit, A. Rensink, and T. Staijen, A graph-transformation-based simulation approach for analysing aspect interference on shared join points, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.39-50, 2009.
DOI : 10.1145/1509239.1509247

A. V. Dionysis-athanasopoulos, V. Zarras, and . Issarny, CoWSAMI: Interface-aware context gathering in ambient intelligence environments, Pervasive and Mobile Computing, vol.4, issue.3, pp.360-389, 2008.
DOI : 10.1016/j.pmcj.2007.12.004

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The fractal component model and its support in java. Software : Practice and Experience, pp.11-121257, 2006.

L. Berger, Mise en oeuvre des interactioons en environnements distribués, compilés et fortement typés : le modèle MICADO, 2001.

H. Boufaied, Machines d'execution pour langages synchrones, 1998.

M. Baier, F. Sirjani, J. Arbab, and . Rutten, Modeling component connectors in Reo by constraint automata, Science of Computer Programming, vol.61, issue.2, pp.75-113, 2006.
DOI : 10.1016/j.scico.2005.10.008

G. Coulson, G. Blair, P. Grace, F. Taiani, A. Joolia et al., A generic component model for building systems software, ACM Transactions on Computer Systems, vol.26, issue.1, p.1, 2008.
DOI : 10.1145/1328671.1328672

[. Wo, Adaptation dynamique par tissage d'aspects d'assemblage, 2009.
URL : https://hal.archives-ouvertes.fr/tel-00460159

W. Ciraci, M. Havinga, C. Aksit, P. Bockisch, and . Van-den-broek, A graph-based aspect interference detection approach for uml-based aspectoriented models, Transactions on aspect-oriented software development VII, pp.321-374, 2010.

[. Chomsky, Three models for the description of language. Information Theory, IRE Transactions on, vol.2, issue.3, pp.113-124, 1956.

[. Chaari, F. Laforest, and A. Flory, Adaptation des applications au contexte en utilisant les services web, Proceedings of the 2nd French-speaking conference on Mobility and uibquity computing , UbiMob '05, pp.111-118, 2005.
DOI : 10.1145/1102613.1102638

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

[. Cwi, General description of a connector@ONLINE, 2013.

[. Durr, L. Bergmans, and M. Aksit, Static and Dynamic Detection of Behavioral Conflicts Between Aspects, Runtime Verification, pp.38-50, 2007.
DOI : 10.1007/978-3-540-77395-5_4

K. Anind and . Dey, Providing architectural support for building context-aware applications, 2000.

R. Douence, T. Fritz, N. Loriant, J. Menaud, M. Ségura-devillechaise et al., An expressive aspect language for system applications with arachne, Transactions on Aspect-Oriented Software Development I, pp.174-213, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00442180

P. D. Bruno-de-fraine, V. Quiroga, and . Jonckers, Management of aspect interactions using statically verified control flow relations, Proceedings of the Third International Workshop on Aspects, Dependencies and Interactions, pp.5-14, 2008.

C. Disenfeld and S. Katz, A closer look at aspect interference and cooperation, Proceedings of the 11th annual international conference on Aspect-oriented Software Development, AOSD '12, pp.107-118, 2012.
DOI : 10.1145/2162049.2162063

P. David and T. Ledoux, Une approche par aspects pour le d??veloppement de composants Fractal adaptatifs, L'objet, vol.12, issue.2-3, pp.113-132, 2006.
DOI : 10.3166/objet.12.2-3.113-132

[. Dinkelaker, M. Mezini, and C. Bockisch, The art of the meta-aspect protocol, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.51-62, 2009.
DOI : 10.1145/1509239.1509248

R. Douence and M. Südholt, A model and a tool for event-based aspect-oriented programming (eaop), Ecole des Mines de Nantes. TR, 2002.

[. Ehrig, M. Korff, and M. Löwe, Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts, Graph grammars and their application to computer science, pp.24-37, 1991.
DOI : 10.1007/BFb0017375

[. Ehrig, M. Nagl, G. Rozenberg, and A. Rosenfeld, Graphgrammars and Their Application to Computer Science : 3rd International Workshop, 1986.

[. Fathallah, Tissages Multiples d'Aspects d'Assemblage : Application à l'adaptation logicielle pour l'Informatique Ambiante, 2009.

S. Sana-fathallah-ben-abdenneji, J. Lavirotte, G. Tigli, M. Rey, and . Riveill, The dynamic composition of independent adaptations including interferences management, ICSEA 2012, The Seventh International Conference on Software Engineering Advances, pp.678-684, 2012.

S. Sana-fathallah-ben-abdenneji, J. Lavirotte, G. Tigli, M. Rey, and . Riveill, A symmetric compositional approach for adaptive ubiquitous systems, 2012 IEEE 15th International Conference on, pp.223-228, 2012.

S. Sana-fathallah-ben-bbdenneji, J. Lavirotte, G. Tigli, M. Rey, and . Riveill, Mergeia : A service for dynamic merging of interfering adaptations in ubiquitous system, UBICOMM 2011 The Fifth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, pp.34-38, 2011.

[. Fu, T. Bultan, and J. Su, Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.621-630, 2004.
DOI : 10.1145/988672.988756

[. Ferry, Adaptations dynamiques au contexte en informatique ambiante : propriétés logiques et temporelles, 2011.

S. Fathallah, S. Lavirotte, J. Tigli, G. Rey, and M. Riveill, Adaptations interferences detection and resolution with graph-transformation approach, Sciences of Electronics, Technologies of Information and Telecommunications (SETIT), 2012 6th International Conference on, pp.36-43, 2012.

[. Gaffe, Suite logicielle autour des machines d'Ã c tats finis@ONLINE, 2012.

[. Gelernter, Parallel programming in Linda, 1985.

. Greenwood, . Lagaisse, . Sanen, . Coulson, . Rashid et al., Interactions in ao middleware, Proc Workshop on ADI, 2007.

[. Grace, B. Lagaisse, E. Truyen, and W. Joosen, A Reflective Framework for Fine-Grained Adaptation of Aspect-Oriented Compositions, Software Composition, pp.215-230, 2008.
DOI : 10.1007/978-3-540-78789-1_17

[. Garlan, R. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.159-173
DOI : 10.1145/1925805.1925814

[. Geihs, R. Reichle, M. Wagner, and M. Khan, Modeling of Context-Aware Self-Adaptive Applications in Ubiquitous and Service-Oriented Environments, Software engineering for self-adaptive systems, pp.146-163, 2009.
DOI : 10.4018/978-1-59904-840-6.ch011

[. Guennoun, Architectures dynamiques dans le contexte des applications à base de composants et orientées service, 2006.

[. Havinga, On the design of software composition mechanisms and the analysis of composition conflicts, 2009.

[. Hannousse, R. Douence, and G. Ardourel, Static analysis of aspect interaction and composition in component models, Proceedings of the 10th ACM international conference on Generative programming and component engineering, GPCE '11, pp.43-52, 2011.
DOI : 10.1145/2047862.2047871
URL : https://hal.archives-ouvertes.fr/hal-00606270

L. Walter, C. V. Hürsch, and . Lopes, Separation of concerns, 1995.

[. He, Z. Li, and K. He, Towards trusted aspect composition, Computer and Information Technology Workshops IEEE 8th International Conference on, pp.643-648, 2008.

[. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.
DOI : 10.1145/363235.363259

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

V. Hourdin, Contexte et sécurité dans les intergiciels d'informatique ambiante, 2010.

O. [. Clarke-jr, D. Grumberg, and . Peled, Model Checking, 2000.

M. Karnaugh, The map method for synthesis of combinational logic circuits American Institute of Electrical Engineers, Part I : Communication and Electronics, Transactions of the, pp.593-599, 1953.

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, ECOOP 2001 Object Oriented Programming, pp.327-354, 2001.
DOI : 10.1007/3-540-45337-7_18

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

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes et al., Aspect-oriented programming, 1997.

A. Lazovik and F. Arbab, Using Reo for Service Coordination, Service- Oriented Computing?ICSOC 2007, pp.398-403, 2007.
DOI : 10.1007/978-3-540-74974-5_34

[. Lau, P. Velasco-elizondo, and Z. Wang, Exogenous Connectors for Software Components, Component-Based Software Engineering, pp.90-106
DOI : 10.1007/11424529_7

[. Lau, L. Ling, V. Ukis, and P. V. Elizondo, Composite Connectors for Composing Software Components, Software Composition, pp.266-280, 2007.
DOI : 10.1007/978-3-540-77351-1_21

[. Lau, V. Ukis, P. Velasco, and Z. Wang, A Component Model for Separation of Control Flow from Computation in Component-Based Systems, Electronic Notes in Theoretical Computer Science, vol.163, issue.1, pp.57-69, 2006.
DOI : 10.1016/j.entcs.2006.07.003

A. Lopes, M. Wermelinger, and J. Fiadeiro, Higher-order architectural connectors, ACM Transactions on Software Engineering and Methodology, vol.12, issue.1, pp.64-104, 2003.
DOI : 10.1145/839268.839272

[. Mascolo, L. Capra, and W. Emmerich, Mobile Computing Middleware, Advanced lectures on networking, pp.20-58, 2002.
DOI : 10.1007/3-540-36162-6_2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.5585

J. Magee, J. Kramer-nikunj, R. Mehta, N. Medvidovic, and S. Phadke, Dynamic structure in software architectures, Proceedings of the 22nd international conference on Software engineeringMMT06] Katharina Mehner, Mattia Monga, and Gabriele Taentzer Requirements Engineering, 14th IEEE International ConferenceMos10] Sébastien Mosser, pp.3-14, 1996.
DOI : 10.1145/250707.239104

M. R. Mousavi, M. Sirjani, and F. Arbab, Formal Semantics and Analysis of Component Connectors in Reo, Electronic Notes in Theoretical Computer Science, vol.154, issue.1, pp.83-99, 2006.
DOI : 10.1016/j.entcs.2005.12.034

K. Philip, S. Mckinley, . Masoud-sadjadi, P. Eric, . Kasten et al., A taxonomy of compositional adaptation. Rapport Technique numéroMSU-CSE-04-17, juillet, 2004.

T. Mens and P. Van-gorp, A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, pp.125-142, 2006.
DOI : 10.1016/j.entcs.2005.10.021

A. Marot, R. Michael, M. Gorlick, N. Richard, D. Taylor et al., Detecting unanticipated aspect interferences at runtime with compositional intentions [OGT + 99] Peyman Oreizy An architecture-based approach to self-adaptive software. Intelligent Systems and Their Applications, Proceedings of the Workshop on AOP and Meta-Data for Software Evolution, page 3, pp.1454-62, 1999.

A. Popovici, T. Gross, and G. Alonso, Dynamic homogenous aop with prose. Switerland, 2001.

P. Mike, P. Papazoglou, S. Traverso, F. Dustdar, and . Leymann, Serviceoriented computing : State of the art and research challenges [RE99] Grzegorz Rozenberg and Hartmut Ehrig. Handbook of graph grammars and computing by graph transformation, Computer World Scientific London, vol.40, issue.1, pp.38-45, 1999.

W. R. , G. Rey, J. Tigli, S. Lavirotte, N. Ferry et al., Petri nets : an introduction Anne-Marie Pinna-Déry, and Vincent Hourdin. Modélisation du contexte et Adaptation Interference of larissa aspects, FOAL 2006 ProceedingsSat01] Mahadev Satyanarayanan. Pervasive computing : Vision and challenges. Personal Communications, pp.5710-5727, 1985.

M. Shaw, R. Deline, and G. Zelesnik, Abstractions and implementations for architectural connections, Proceedings of International Conference on Configurable Distributed Systems, pp.2-10, 1996.
DOI : 10.1109/CDS.1996.509340

A. Sun, A. Farhad, K. Bernhard, A. Lcramioara, R. Spitznagel et al., Connectors as designs : Modeling, refinement and test case generation A compositional formalization of connector wrappers Component software : beyond object-oriented programming, Software Engineering Proceedings. 25th International Conference onSSK + 07] Andrea Schauerhuber, pp.799-822, 2002.

M. Salehie and L. Tahvildari, Self-adaptive software, ACM Transactions on Autonomous and Adaptive Systems, vol.4, issue.2, pp.14-23, 2006.
DOI : 10.1145/1516533.1516538

G. Taentzer, AGG: A Tool Environment for Algebraic Graph Transformation, Applications of Graph Transformations with Industrial Relevance, pp.481-488
DOI : 10.1007/3-540-45104-8_41

M. Springer-francis-tessier, L. Badri, S. Tigli, G. Lavirotte, N. Rey et al., Aspect of assembly : from theory to performance A catalogue of component connectors to support development with reuse The Computer for the Twenty-First Century Mata : A tool for aspect-oriented modeling based on graph transformation Interaction analysis for faulttolerance in aspect-oriented programming, Transactions on Aspect-Oriented Software Development IXWJ08] Jon Whittle and Praveen Jayaraman Models in Software Engineering Proceedings of the Workshop on Methods , Models and Tools for Fault Tolerance (MeMoT), pp.53-911165, 1991.

J. Zhang, T. Cottenier, A. Van-den, J. Berg, and . Gray, Aspect interference and composition in the motorola aspect-oriented modeling weaver, MoDELS, 2006.

. La-réécriture-d, un envoi de message avec lui-même est décrite par la règle de la figure A.1. Dans le graphe résultant R un seul lien vers le port en question sera maintenu. FIGURE A.1 ? La Règle de fusion de deux appels d

L. Réécriture and . Un-port-le-connecteur, PAR est utilisé pour définir que deux actions s'effectuent en parallèle. La réécriture d'un PAR avec un port qui appartient à l'ensemble de ses successeurs produit le graphe R de la figure A.2. Un seul lien (qui part du PAR) sera gardé vers ce port. Par exemple le résultat de fusion de : PAR(a, B) ? a est PAR(a, B) avec : CTy(a)

L. Réécriture and . La-règle-de-réécriture-d, un connecteur concurrentiel avec un autre comportement est décrite dans la figure A.3. L'arc libellé par la chaîne de caractère " P " montre le sens de propagation de l'opérateur de fusion ?. Il est calculé par la fonction Pivot Cette fonction permet de contrôler la manière dont la réécriture s'opère. Le pivot sert à guider la réécriture afin qu'elle se fasse en des points précis. Cette fonction recherche s'il existe des ports FIGURE A.17 ? L'écran d'accueil de l'outil de preuve de l'associativité A

C. .. De, Analyse des interactions entre les règles de transformation à l'aide, p.26

L. Instande-de, AA de la figure 5, p.115

L. Règle-de-fusion-par-défaut and .. , 145 A.16 Générer automatiquement les sous-graphes d'entrée pour la preuve, p.146

.. Règle-de-réécriture-pour, OR(a, b) ? OR(b, c), p.157