J. Mercadal, Q. Enard, C. Consel, and N. Loriant, A Domain-Specific Approach to Architecturing Error Handling in Pervasive Computing, Proceedings of the 25th International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10), pp.47-61, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00486930

Z. Drey, J. Mercadal, and C. Consel, A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications, Proceedings of the IFIP TC 2
DOI : 10.1007/978-3-540-39653-6_20
URL : https://hal.archives-ouvertes.fr/inria-00403590

J. Mercadal, N. Palix, C. Consel, and J. Lawall, Pantaxou, Proceedings of the 7th international conference on Generative programming and component engineering, GPCE '08, pp.149-160, 2008.
DOI : 10.1145/1449913.1449936
URL : https://hal.archives-ouvertes.fr/inria-00333637

F. Latry, J. Mercadal, and C. Consel, Staging telephony service creation, Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications, IPTComm '07, pp.99-110, 2007.
DOI : 10.1145/1326304.1326319
URL : https://hal.archives-ouvertes.fr/inria-00353534

. F. Workshops-internationaux-1, J. Latry, C. Mercadal, and . Consel, Processing Domain-Specific Modeling Languages: A Case Study in Telephony Services, Proceedings of the 1st GPCE Workshop for QoS Provisioning in Distributed Systems (GPCE4QoS), 2006.

P. , .. D. Cassou, J. Bruneau, J. Mercadal, Q. Enard et al., Towards a Tool-Based Development Methodology for Sense/Compute/- Control Applications Using Style to Understand Descriptions of Software Architecture, Proceedings of the 25th International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10), pp.247-2489, 1993.

R. [. Abowd, D. Allen, and . Garlan, Formalizing style to understand descriptions of software architecture, ACM Transactions on Software Engineering and Methodology, vol.4, issue.4, pp.319-364, 1995.
DOI : 10.1145/226241.226244

]. G. Abo99 and . Abowd, Software Engineering Issues for Ubiquitous Computing, Proceedings of the 21st International Conference on Software Engineering (IC- SE'99), pp.75-84, 1999.

]. J. Acn02a, C. Aldrich, D. Chambers, and . Notkin, Architectural Reasoning in Arch- Java, Proceedings of the 16th European Conference on Object-Oriented Programming, pp.334-367, 2002.

]. J. Acn02b, C. Aldrich, D. Chambers, and . Notkin, ArchJava : Connecting Software Architecture to Implementation, Proceedings of the 24th International Conference on Software Engineering (ICSE'02), pp.187-197, 2002.

D. [. Allen and . Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

]. G. Agh86 and . Agha, Actors : a Model of Concurrent Computation in Distributed Systems, 1986.

J. [. Adkins, R. Kruse, and . Younger, Ubiquitous computing: omnipresent technology in support of Network Centric Warfare, Proceedings of the 35th Annual Hawaii International Conference on System Sciences, p.40, 2002.
DOI : 10.1109/HICSS.2002.993936

K. [. Alexandrescu and . Lorincz, ArchJava : an Evaluation. Rapport technique, 2003.

]. G. Ara89 and . Arango, Domain Analysis : From Art Form To Engineering Discipline

]. B. Avdr95, A. Arnold, M. Van-deursen, and . Res, An Algebraic Specification of a Language for Describing Financial Products, ACM SIGSOFT Software Engineering Notes Proceedings of the 17th ICSE Workshop on Formal Methods Application in Software Engineering Practice, pp.152-159, 1989.

]. J. Bar05 and . Bardram, The Java Context Awareness Framework (JCAF) ? A Service Infrastructure and Programming Framework for Context-Aware Applications, Proceedings of the 3rd International Conference on Pervasive Computing (PERVASIVE'05), pp.98-115, 2005.

V. [. Barron and . Cahill, YABS:, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, pp.285-294, 2006.
DOI : 10.1145/1173706.1173730

. Bcl-+-06-]-l, C. Burgy, F. Consel, J. Latry, N. Lawall et al., Language Technology for Internet-Telephony Service Creation, Proceedings of the 41st IEEE International Conference on Communications (ICC'06), pp.1795-1800, 2006.

T. [. Banavar, R. E. Chandra, D. C. Strom, and . Sturman, A Case for Message Oriented Middleware, Proceedings of the 13th International Symposium on Distributed Computing (DISC'99), pp.1-18, 1999.
DOI : 10.1007/3-540-48169-9_1

M. [. Binns, M. Engelhart, S. Jackson, and . Vestal, DOMAIN-SPECIFIC SOFTWARE ARCHITECTURES FOR GUIDANCE, NAVIGATION AND CONTROL, International Journal of Software Engineering and Knowledge Engineering, vol.06, issue.02, pp.201-227, 1996.
DOI : 10.1142/S0218194096000107

]. J. Ben86 and . Bentley, Programming Pearls : Little Languages, Communications of the ACM, vol.29, issue.8, pp.711-721, 1986.

M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser, Stratego/XT 0.17. A language and toolset for program transformation, Pourquoi et comment le monde devient numérique, pp.52-7039, 1984.
DOI : 10.1016/j.scico.2007.11.003

B. [. Buxton and . Randell, Software Engineering Techniques : Report of a Conference Sponsored by the NATO Science Committee Scientific Affairs Division, NATO iStuff : a Physical User Interface Toolkit for Ubiquitous Computing Environments, Proceedings of the 21st International Conference on Human Factors in Computing Systems (CHI'03), pp.27-31, 1969.

E. [. Cassou, C. Balland, J. Consel, and . Lawall, Leveraging software architectures to guide and verify the development of sense/compute/control applications, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.431-440, 2011.
DOI : 10.1145/1985793.1985852
URL : https://hal.archives-ouvertes.fr/inria-00537789

B. [. Cassou, N. Bertran, C. Loriant, and . Consel, A Generative Programming Approach to Developing Pervasive Computing Systems, Proceedings of the 8th International Conference on Generative Programming and Component Engineering (GPCE'09), pp.137-146, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00405819

]. D. Cbm-+-10, J. Cassou, J. Bruneau, Q. Mercadal, E. Enard et al., Towards a Tool-Based Development Methodology for Sense/Compute/Control Applications, Proceedings of the 25th International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10), pp.247-248, 2010.

G. P. Costa, R. Coulson, M. Gold, C. Lad, L. Mascolo et al., The RUNES Middleware for Networked Embedded Systems and its Application in a Disaster Management Scenario, Fifth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom'07), pp.69-78, 2007.
DOI : 10.1109/PERCOM.2007.36

C. [. Cerqueira, R. Cassino, and . Ierusalimschy, Dynamic component gluing across different componentware systems, Proceedings of the International Symposium on Distributed Objects and Applications, pp.362-371, 1999.
DOI : 10.1109/DOA.1999.794064

A. [. Caporuscio, A. L. Carzaniga, and . Wolf, Design and evaluation of a support service for mobile, wireless publish/subscribe applications, IEEE Transactions on Software Engineering, vol.29, issue.12, pp.1059-1071, 2003.
DOI : 10.1109/TSE.2003.1265521

O. [. Consel and . Danvy, Tutorial notes on partial evaluation, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '93, pp.493-501, 1993.
DOI : 10.1145/158511.158707

. Cdk-+-02-]-f, M. Curbera, R. Duftler, W. Khalaf, N. Nagy et al., Unraveling the Web Services Web : an Introduction to SOAP, WSDL, and UDDI, IEEE Internet Computing IEEE Educational Activities Department, vol.6, issue.2, pp.86-93, 2002.

D. A. Chander, N. Espinosa, P. Islam, G. C. Lee, . [. Necula et al., Enforcing resource bounds via static verification of dynamic checks, Proceedings of the 7th International Conference on Aspect-Oriented Software Development (AOSD'08), pp.28-72, 2007.
DOI : 10.1145/1275497.1275503

T. [. Chen, A. Finin, and . Joshi, An ontology for context-aware pervasive computing environments, The Knowledge Engineering Review, vol.18, issue.3, pp.197-207, 2003.
DOI : 10.1017/S0269888904000025

H. [. Cugola and . Jacobsen, Using publish/subscribe middleware for mobile systems, ACM SIGMOBILE Mobile Computing and Communications Review, vol.6, issue.4, pp.25-33, 2002.
DOI : 10.1145/643550.643552

D. [. Chen and . Kotz, Context Aggregation and Dissemination in Ubiquitous Computing Systems, Proceedings of the 4th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA '02), pp.105-114, 2002.

F. [. Consel, L. Latry, P. Réveillère, and . Cointe, A Generative Programming Approach to Developing DSL Compilers, Proceedings of the 4th International Conference on Generative Programming and Component Engineering (GPCE'05), pp.29-46, 2005.
DOI : 10.1007/11561347_4
URL : https://hal.archives-ouvertes.fr/hal-00350045

R. [. Consel and . Marlet, Architecturing Software Using a Methodology for Language Development, Proceedings of the 10th International Symposium on Programming Language Implementation and Logic Programming (PLILP'98), pp.170-194, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00476073

A. [. Chetan, R. H. Ranganathan, and . Campbell, Towards fault tolerant pervasive computing, IEEE Technology and Society Magazine, vol.24, issue.1, pp.38-44, 2005.
DOI : 10.1109/MTAS.2005.1407746
URL : http://choices.cs.uiuc.edu/~chetan/papers/tfpc.pdf

M. [. Clements, &. Cunningham, ]. A. Cunninghamdas01, G. D. Dey, D. Abowd et al., "The Golden Age of Software Architecture" Revisited, DD08] B. Demsky et A. Dash. Bristlecone : a Language for Robust Software Systems . Dans Proceedings of the 22nd European Conference on Object-Oriented (ECOOP'08), pp.70-7297, 1995.
DOI : 10.1109/MS.2009.83

]. A. Dey00 and . Dey, Providing Architectural Support for Building Context-Aware Applications, Thèse de doctorat, Georgia Institute of Technology, 2000.

H. [. Davies and . Gellersen, Beyond prototypes: challenges in deploying ubiquitous systems, IEEE Pervasive Computing, vol.1, issue.1, pp.26-35, 2002.
DOI : 10.1109/MPRV.2002.993142

]. A. Dic98 and . Dickman, Designing Applications with MSMQ : Message Queuing for Developers, 1998.

H. [. Deremer and . Kron, Programming-in-the-Large Versus Programmingin-the-Small, IEEE Transactions on Software Engineering, vol.2, issue.2, pp.80-86, 1976.

J. [. Drey, C. Mercadal, and . Consel, A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications, Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages (DSL'09), pp.78-99, 2009.
DOI : 10.1007/978-3-540-39653-6_20
URL : https://hal.archives-ouvertes.fr/inria-00403590

]. Z. Dre10 and . Drey, Vers une méthodologie dédiée à l'orchestration d'entités communicantes, Thèse de doctorat, 2010.

[. Forum, J. Dedecker, T. Van-cutsem, S. Mostinckx, T. D. Hondt et al., Domain-Specific Modeling [DVCM + 06 Ambient-Oriented Programming in AmbientTalk, Proceedings of the 20th European Conference on Object-Oriented Programming, pp.230-254, 2006.

A. Erbad, M. Blackstock, A. Friday, R. Lea, and J. , MAGIC Broker: A Middleware Toolkit for Interactive Public Displays, 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom), pp.509-514, 2008.
DOI : 10.1109/PERCOM.2008.109

R. [. Elrad, A. Filman, . T. Bader-[-efgk03-]-p, P. A. Eugster, R. Felber et al., Aspect-Oriented Programming : Introduction The Many Faces of Publish/Subscribe, Communications of the ACM ACM Computing Surveys, vol.44, issue.352, pp.29-32114, 2001.

R. [. Edwards and . Grinter, At Home with Ubiquitous Computing: Seven Challenges, Proceedings of the 3rd International Conference on Ubiquitous Computing (UbiComp'01), pp.256-272, 2001.
DOI : 10.1007/3-540-45427-6_22

G. [. Ekman and . Hedin, The JastAdd system ??? modular extensible compiler construction, Science of Computer Programming, vol.69, issue.1-3, pp.14-26, 2007.
DOI : 10.1016/j.scico.2007.02.003

]. A. Ein34 and . Einstein, Comment je vois le monde. Flammarion, 1934.

P. [. Filho, C. M. Brito, and . Rubira, Specification of exception flow in software architectures, Journal of Systems and Software, vol.79, issue.10, pp.1397-1418, 2006.
DOI : 10.1016/j.jss.2006.02.060

G. [. Falbo, K. C. Guizzardi, and . Duarte, An ontological approach to domain engineering, Proceedings of the 14th international conference on Software engineering and knowledge engineering , SEKE '02, pp.351-358, 2002.
DOI : 10.1145/568760.568822

S. [. France, T. Ghosh, A. Dinh-trong, and . Solberg, Model-Driven Development Using UML 2.0: Promises and Pitfalls, Computer, vol.39, issue.2, pp.59-66, 2006.
DOI : 10.1109/MC.2006.65

]. M. Fow03 and . Fowler, UML Distilled : a Brief Guide to the Standard Object Modeling Language, 2003.

]. M. Fow10 and . Fowler, Domain-Specific Languages, 2010.

R. [. Frakes, C. Prieto-díaz, and . Fox, DARE : Domain Analysis and Reuse Environment, Annals of Software Engineering, vol.5, pp.125-141, 1998.
DOI : 10.1023/A:1018972323770

R. [. Garlan, J. Allen, and . Ockerbloom, Exploiting style in architectural design environments, ACM SIGSOFT Software Engineering Notes, vol.19, issue.5, pp.175-188, 1994.
DOI : 10.1145/195274.195404

]. D. Gar95 and . Garlan, What is Style, Proceedings of the Dagstuhl Workshop on Software Architecture, 1995.

E. [. Gatti, C. Balland, and . Consel, A Step-Wise Approach for Integrating QoS throughout Software Development, Proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering (FASE'11), pp.217-231, 2011.
DOI : 10.1007/978-3-642-19811-3_16
URL : https://hal.archives-ouvertes.fr/inria-00561619

R. Grimm, J. Davis, E. Lemar, A. Macbeth, S. Swanson et al., System support for pervasive applications, ACM Transactions on Computer Systems, vol.22, issue.4, pp.421-486, 2004.
DOI : 10.1145/1035582.1035584

]. D. Gel85 and . Gelernter, Generative Communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985.

R. [. Gamma, R. Helm, J. Johnson, and . Vlissides, Design Patterns : Elements of Reusable Object-Oriented Software, 1995.

]. J. Gil-+-95, A. Gindling, J. Ioannidou, O. Loh, A. Lokkebo et al., LE- GOsheets : a Rule-Based Programming, Simulation and Manipulation Environment for the LEGO Programmable Brick, Proceedings of the 11th IEEE International Symposium on Visual Languages (VL'95), pp.172-179, 1995.

C. Greenhalgh, S. Izadi, J. Mathrick, J. Humble, and I. Taylor, ECT : a Toolkit to Support Rapid Construction of Ubicomp Environments, Proceedings of the Workshop on System Support for Ubiquitous Computing (UbiSys'04), at the 6th International Conference on Ubiquitous Computing, pp.207-234, 2004.

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

]. R. Gri04 and . Grimm, One.world : Experiences with a Pervasive Computing Architecture, IEEE Pervasive Computing IEEE Educational Activities Department, vol.3, issue.3, pp.22-30, 2004.

K. [. Greenfield, S. Short, S. Cook, and . Kent, Software factories, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, 2004.
DOI : 10.1145/949344.949348

D. [. Garlan, A. Siewiorek, P. Smailagic, and . Steenkiste, Project Aura: toward distraction-free pervasive computing, IEEE Pervasive Computing, vol.1, issue.2, pp.22-31, 2002.
DOI : 10.1109/MPRV.2002.1012334

R. [. Haahr, V. Cunningham, and . Cahill, Supporting CORBA applications in a mobile environment, Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking , MobiCom '99, pp.36-47, 1999.
DOI : 10.1145/313451.313463

]. J. Hch-+-03, A. Humble, T. Crabtree, K. Hemmings, B. Åkesson et al., Playing with the Bits" User-Configuration of Ubiquitous Domestic Environments, Proceedings of the 5th International Conference on Ubiquitous Computing (UbiComp'03), pp.256-263, 2003.

S. [. Hamey, . [. Goldrei, P. R. Heering, P. Hendriks, J. Klint et al., Implementing a Domain-Specific Language Using Stratego/XT : an Experience Paper Electronic Notes in Theoretical Computer Science The Syntax Definition Formalism SDF -reference manual, ACM SIGPLAN Notices, vol.203, issue.211, pp.37-51, 1989.

J. [. Henricksen and . Indulska, Developing context-aware pervasive computing applications: Models and approach, Pervasive and Mobile Computing, vol.2, issue.1, pp.37-64, 2006.
DOI : 10.1016/j.pmcj.2005.07.003

]. C. Hoa69 and . Hoare, An Axiomatic Basis for Computer Programming, Communications of the ACM, vol.12, issue.10, pp.576-580, 1969.

B. [. Harel and . Rumpe, Meaningful modeling: what's the semantics of "semantics"?, Computer, vol.37, issue.10, pp.64-72, 2004.
DOI : 10.1109/MC.2004.172

]. P. Hud96 and . Hudak, Building Domain-Specific Embedded Languages, ACM Computing Surveys, vol.28, issue.4es, p.196, 1996.

]. J. Iiv96 and . Iivari, Why Are CASE Tools Not Used ?, Communications of the ACM, vol.39, issue.10, pp.94-103, 1996.

[. Jakob, C. Consel, and N. Loriant, Architecturing Conflict Handling of Pervasive Computing Resources, Proceedings of the 11th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS'11), pp.92-105, 2011.
DOI : 10.1038/scientificamerican0991-94
URL : https://hal.archives-ouvertes.fr/inria-00581604

[. Chu-de-nice, Accueil des Urgences le parcours du patient optimisé, 2006.

F. M. Jimenez, P. Rosique, B. Sanchez, A. Alvarez, and . Iborra, Habitation: A Domain-Specific Language for Home Automation, IEEE Software, vol.26, issue.4, pp.30-38, 2009.
DOI : 10.1109/MS.2009.93

R. [. Johnson, . [. Sethi, P. Judd, and . Steenkiste, Providing Contextual Information to Pervasive Computing Applications, II : research system chapitre Yacc : a Parser Generator Proceedings of the 1st IEEE International Conference on Pervasive Computing and Communications (PerCom'03), pp.347-374, 1990.

]. K. Kal06 and . Kalleberg, Stratego : a Programming Language for Program Manipulation, Crossroads, vol.12, issue.3, pp.4-4, 2006.

]. K. Kch-+-90, S. Kang, J. Cohen, W. Hess, S. Novak et al., Feature-Oriented Domain Analysis (FODA) Feasibility Study, 1990.

]. D. Knu64 and . Knuth, Backus Normal Form vs, Backus Naur Form. Communications of the ACM, vol.7, issue.12, pp.735-736, 1964.

H. [. Kruchten, J. Obbink, and . Stafford, The Past, Present, and Future for Software Architecture, IEEE Software, vol.23, issue.2, pp.22-30, 2006.
DOI : 10.1109/MS.2006.59

]. P. Kru95 and . Kruchten, The 4+1 View Model of Architecture, IEEE Software, vol.12, issue.6, pp.42-50, 1995.

]. P. Kru03 and . Kruchten, The Rational Unified Process : an Introduction, 2003.

J. [. Kelly and . Tolvanen, Domain-Specific Modeling : Enabling Full Code Generation, 2008.
DOI : 10.1002/9780470249260

]. R. Lad03 and . Laddad, AspectJ in Action : Practical Aspect-Oriented Programming, 2003.

]. F. Lat07 and . Latry, Approche langage au développement logiciel : Application au domaine des services de Téléphonie sur IP, Thèse de doctorat, 2007.

. C. Lka-+-95-]-d, J. J. Luckham, L. M. Kenney, J. Augustin, D. Vera et al., Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.336-355, 1995.

M. Lippert and C. V. Lopes, A study on exception detection and handling using aspect-oriented programming, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium, pp.418-427, 2000.
DOI : 10.1109/ICSE.2000.870432

J. [. Latry, C. Mercadal, and . Consel, Processing Domain-Specific Modeling Languages : A Case Study in Telephony Services, Proceedings of the 1st GPCE Workshop for QoS Provisioning in Distributed Systems (GPCE4QoS), 2006.
URL : https://hal.archives-ouvertes.fr/inria-00353576

J. [. Latry, C. Mercadal, and . Consel, Staging telephony service creation, Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications, IPTComm '07, pp.99-110, 2007.
DOI : 10.1145/1326304.1326319
URL : https://hal.archives-ouvertes.fr/inria-00353534

H. [. Lennox and . Schulzrinne, CPL : A Language for User Control of Internet Telephony Services, Internet Engineering Task Force, IPTEL WG, 2000.

J. [. Luckham and . Vera, An event-based architecture definition language, IEEE Transactions on Software Engineering, vol.21, issue.9, pp.717-734, 1995.
DOI : 10.1109/32.464548

]. R. Mcc85 and . Mccain, Reusable Software Component Construction : a Product-Oriented Paradigm, Proceedings of the 5th AiAA/ACM/NASA/IEEE Computers in Aerospace Conference, pp.125-135, 1985.

L. [. Mascolo, W. Capra, and . Emmerich, Mobile Computing Middleware, Mobile Computing Middleware. Advanced Lectures on Networking, vol.2497, 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

]. S. Mdb-+-06, J. Mostinckx, E. G. Dedecker, T. Boix, W. D. Van-cutsem et al., Ambient-Oriented Exception Handling, Advanced Topics in Exception Handling Techniques, pp.141-160, 2006.

Q. [. Mercadal, C. Enard, N. Consel, and . Loriant, A Domain-Specific Approach to Architecturing Error Handling in Pervasive Computing, Proceedings of the 25th International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA'10), pp.47-61, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00486930

]. D. Men05 and . Menasce, MOM vs RPC : Communication Models for Distributed Applications, IEEE Internet Computing IEEE Educational Activities Department, vol.9, issue.2, pp.90-93, 2005.

]. J. Mer06 and . Mercadal, Modélisation et Langages Métiers : Application aux Services de Téléphonie, MHC00] R. Monson-Haefel et D. Chappell. Java Message Service. O'Reilly & Associates, 2000.

J. [. Mernik, A. M. Heering, and . Sloane, When and how to develop domain-specific languages, ACM Computing Surveys, vol.37, issue.4, pp.316-344, 2005.
DOI : 10.1145/1118890.1118892
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.735

J. [. Magee and . Kramer, Dynamic structure in software architectures, ACM SIGSOFT Software Engineering Notes, vol.21, issue.6, pp.3-14, 1996.
DOI : 10.1145/250707.239104
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.7938

P. [. Medvidovic, J. E. Oreizy, R. N. Robbins, and . Taylor, Using object-oriented typing to support architectural design in the C2 style, ACM SIGSOFT Software Engineering Notes, vol.21, issue.6, pp.24-32, 1996.
DOI : 10.1145/250707.239106

N. [. Mercadal, C. Palix, J. Consel, A. L. Lawall, G. P. Murphy et al., LIME : a Coordination Model and Middleware Supporting Mobility of Hosts and Agents Correct Architecture Refinement Chemical Markup Language Devil : an IDL for Hardware Programming A Classification and Comparison Framework for Software Architecture Description Languages, Pantaxou : a Domain- Specific Language for Developing Safe Coordination Services. Dans Proceedings of the 7th International Conference on Generative Programming and Component Engineering Proceedings of the 4th Symposium on Operating Systems Design and Implementation (OSDI'00)MZ09] M. Mamei et F. Zambonelli. Programming Pervasive and Mobile Computing Applications : the TOTA ApproachNei80] J. M. Neighbors. Software Construction Using Components Thèse de doctoratOMG95] OMG. The Common Object Request Broker : Architecture and Specification. Rapport technique, Object Management GroupOus94] J. K. Ousterhout. Tcl and the Tk ToolkitPal08] N. Palix. Langages dédiés au développement de services de communications, pp.149-160279, 1980.

]. D. Par72, . L. Parnaspar76-]-d, . Parnaspar07-]-t, and . Parr, On the Criteria To Be Used in Decomposing Systems into Modules On the Design and Development of Program Families The Definitive ANTLR Reference : Building Domain-Specific Languages . Pragmatic Bookshelf Domain Analysis : an Introduction, Thèse de doctoratPDN86] R. Prieto-Díaz et J. M. Neighbors. Module Interconnection Languages, pp.1053-10581, 1972.

J. Joseph, . A. Pfeiffer-jr, and . Rule, Based Visual Language for Small Robotic Applications, Proceedings of the 13th IEEE International Symposium on Visual Languages (VL'97 Proceedings of the 1st IEEE International Conference on Pervasive Computing and Communications (PerCom'03), pp.162-173, 1997.

]. G. Plo04 and . Plotkin, A Structural Approach to Operational Semantics, Journal of Logic and Algebraic Programming, pp.60-6117, 2004.

R. [. Reynolds and . Brangeon, Service Machine Development for an Open Longterm Mobile and Fixed Network Environment, DOLMEN Consortium, 1996.

R. [. Ranganathan and . Campbell, Provably Correct Pervasive Computing Environments, 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom), pp.160-169, 2008.
DOI : 10.1109/PERCOM.2008.116
URL : http://choices.cs.uiuc.edu/~ranganat/Pubs/ranganathan-provably.pdf

A. Ranganathan, S. Chetan, J. Al-muhtadi, R. H. Campbell, and M. D. Mickunas, Olympus: A High-Level Programming Model for Pervasive Computing Environments, Third IEEE International Conference on Pervasive Computing and Communications, pp.7-16, 2005.
DOI : 10.1109/PERCOM.2005.26

R. Hess, A. Cerqueira, R. H. Ranganathan, K. Campbell, and . Nahrstedt, A Middleware Infrastructure for Active Spaces, IEEE Pervasive Computing IEEE Educational Activities Department, vol.1, issue.4, pp.74-83, 2002.

R. Reichle, M. Wagner, M. U. Khan, K. Geihs, M. Valla et al., A Context Query Language for Pervasive Computing Environments, 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom), pp.434-440, 2008.
DOI : 10.1109/PERCOM.2008.29

]. L. Ré01 and . Réveillère, Approche langage au développement de pilotes de périphériques robustes, Thèse de doctoratSat01] M. Satyanarayanan. Pervasive Computing : Vision and Challenges. IEEE Personal Communications, pp.10-17, 2001.

Z. [. Sheard, E. Benaissa, and . Pasalic, DSL Implementation Using Staging and Monads, Proceedings of the 2nd Conference on Domain-Specific Languages (DSL'99), pp.81-94, 1999.

L. [. Seco and . Caires, A Basic Model of Typed Components, Proceedings of the 14th European Conference on Object-Oriented Programming, pp.108-128, 2000.
DOI : 10.1007/3-540-45102-1_6

P. [. Shaw and . Clements, The golden age of software architecture, IEEE Software, vol.23, issue.2, pp.31-39, 2006.
DOI : 10.1109/MS.2006.58

]. D. Sch86 and . Schmidt, Denotational Semantics : a Methodology for Language Development, 1986.

]. W. Sch95 and . Schilit, A System Architecture for Context-Aware Mobile Computing, Thèse de doctorat, 1995.

]. A. Sch02 and . Schmidt, Ubiquitous Computing ? Computing in Context, Thèse de doctorat, 2002.

]. M. Sdk-+-95, R. Shaw, D. V. Deline, T. L. Klein, D. M. Ross et al., Abstractions for Software Architecture and Tools to Support Them, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.314-335, 1995.

M. Shaw and D. Garlan, Software Architecture : Perspectives on an Emerging Discipline, 1996.

D. [. Sousa and . Garlan, Aura: An Architectural Framework for User Mobility in Ubiquitous Computing Environments, Proceedings of the 3rd Working IEEE/IFIP Conference on Software Architecture (WICSA'02), pp.29-43, 2002.
DOI : 10.1007/978-0-387-35607-5_2

A. [. Saha, . Mukherjeesno89-]-r, and . Snodgrass, Pervasive Computing, IEEE Computer, vol.36, issue.3, pp.25-31, 1989.
DOI : 10.1007/978-1-4615-1143-4_1

R. [. Staab and . Studer, Handbook on Ontologies, 2009.

W. [. Schmidtke and . Woo, Towards Ontology-Based Formal Verification Methods for Context Aware Systems, Proceedings of the 7th International Conference on Pervasive Computing (PERVASIVE'09), pp.309-326, 2009.
DOI : 10.1007/978-3-642-01516-8_21

]. W. Tah99 and . Taha, Multi-Stage Programming : Its Theory and Applications, Thèse de doctorat, Oregon Graduate Institute of Science and Technology, 1999.

]. S. Thi98 and . Thibault, Langage Dédiés : Conception, Implémentation et Application

]. W. Tic79 and . Tichy, Software Development Control Based on Module Interconnection, Proceedings of the 4th International Conference on Software Engineering (ICSE'79), pp.29-41, 1979.

R. [. Thibault, C. Marlet, and . Consel, Domain-specific languages: from design to implementation application to video device drivers generation, IEEE Transactions on Software Engineering, vol.25, issue.3, pp.363-377, 1999.
DOI : 10.1109/32.798325
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.3868

N. [. Taylor, E. M. Medvidovic, and . Dashofy, Software architecture, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, 2009.
DOI : 10.1145/1595696.1595754
URL : https://hal.archives-ouvertes.fr/hal-00444077

H. [. Tarr, W. Ossher, S. M. Harrison, and J. Sutton, N degrees of separation : multi-dimensional separation of concerns, Proceedings of the 21st International Conference on Software Engineering (ICSE'99), pp.107-119, 1999.

J. [. Ubayashi, T. Nomura, and . Tamai, Archface, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.75-84, 2010.
DOI : 10.1145/1806799.1806815

]. M. Van-den-brand, H. A. De-jong, P. Klint, and P. A. Olivier, Efficient Annotated Terms. Software : Practice and Experience, pp.259-291, 2000.

]. M. Van-den-brand, J. Heering, P. Klint, P. A. Olivier, A. Van-deursen et al., Compiling language definitions: the ASF+SDF compiler, vDK02] A. van Deursen et P. Klint. Domain-Specific Language Design Requires Feature Descriptions. Journal of Computing and Information Technology, pp.334-36875, 1998.
DOI : 10.1145/567097.567099
URL : https://hal.archives-ouvertes.fr/inria-00101029

]. A. Van-deursen, P. Klint, J. Visser, and J. Van-gumster, Domain-specific languages, ACM SIGGRAPH 2003 Educators Program, pp.26-36, 2000.
DOI : 10.1145/352029.352035

R. Van-ommering, F. Van-der-linden, J. Kramer, and J. Magee, The Koala Component Model for Consumer Electronics Software, IEEE Transactions on Computers, vol.33, issue.3, pp.78-85, 2000.

D. [. Van-wyk, J. Bodin, L. Gao, and . Krishnan, Silver: An extensible attribute grammar system, Science of Computer Programming, vol.75, issue.1-2, pp.39-54, 2010.
DOI : 10.1016/j.scico.2009.07.004

A. [. Van-wyk and . Schwerdfeger, Context-aware scanning for parsing extensible languages, Proceedings of the 6th international conference on Generative programming and component engineering , GPCE '07, pp.63-72, 2007.
DOI : 10.1145/1289971.1289983

]. P. Wad90 and . Wadler, Comprehending Monads, Proceedings of the 6th ACM Conference on Lisp and Functional Programming (LFP'90), pp.61-78, 1990.

]. M. Wei91 and . Weiser, The Computer for the 21st Century, Scientific American, vol.265, issue.3, pp.66-75, 1991.

]. G. Win93 and . Winskel, The Formal Semantics of Programming Languages : an Introduction, 1993.

M. Knoll, A. Ulbrich, G. Muhl, and A. Brandle, Rapid Prototyping for Pervasive Applications, IEEE Pervasive Computing IEEE Educational Activities Department, vol.6, issue.2, pp.76-84, 2007.

C. [. Weiss and . Lai, Software Product-Line Engineering : a Family- Based Software Development Process, 1999.

T. [. Want and . Pering, System challenges for ubiquitous & pervasive computing, Proceedings of the 27th international conference on Software engineering , ICSE '05, pp.9-1481, 2005.
DOI : 10.1145/1062455.1062463