, Contraintes de localisation. Les composants ???????t?????r et ???????t????r doivent résider sur des machines distinctes L'élément t?r??t permet de spécifier soit un nom de variable grâce à l'attribut ??r???? soit le nom de la machine grâce à l'attribut ??st???? (ou ??) Les contraintes sur les variables sont spécifiées à l'aide d'opérateurs, nous nous sommes inspirés de GNU-Prolog [DC01]. La liste des opérateurs actuellement supportés par CDL est donnée dans le tableau 6.1. Ces opérateurs prennent en argument des variables de placement. Par ailleurs, chaque variable désignant une machine le listing 6.5 montre comment guider le placement des composants ?????t et ??r??r de telle manière que le composant ??r??r soit placé sur la machine ayant la puissance de calcul la plus élévée
, « Apport des architectures à composants pour l'administration des intergiciels, Thèse de doctorat, 2006.
, Specifying and analyzing dynamic software architectures, Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE'98), 1998.
DOI : 10.1007/BFb0053581
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.31.5206
, « Unreliable distributed timing scrutinizers to converge towards conditions », Studia Universalis Informatica, vol.3, issue.1, pp.17-36, 2004.
, An Open Component Model and Its Support in Java, Proceedings of the International Symposium on Component-based Software Engineering (CBSE7), numéro 3054 dans LNCS, 2004.
DOI : 10.1007/978-3-540-24774-6_3
, From Distributed Objects to Hierarchical Grid Components, pp.1226-1242, 2003.
DOI : 10.1007/978-3-540-39964-3_78
, « Yesterday's tomorrows : notes on ubiquitous computing's dominant vision ». Personal and Ubiquitous Computing, pp.133-143, 2007.
, « Middleware : a model for distributed system services, Commun. ACM, vol.39, issue.2, pp.86-98, 1996.
, PCOM - a component system for pervasive computing, Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the, pp.67-76, 2004.
DOI : 10.1109/PERCOM.2004.1276846
, Managing Dynamic Reconfiguration in Component-Based Systems, pp.1-17, 2005.
DOI : 10.1007/11494713_1
, « EasyLiving : technologies for intelligent environments, pp.12-29, 2000.
, « Another advantage of free choice : completely asynchronous agreement protocols, pp.27-30, 1983.
, Middleware and application adaptation requirements and their support in pervasive computing, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings., pp.98-103, 2003.
DOI : 10.1109/ICDCSW.2003.1203539
, « BASE -a microbroker-based middleware for pervasive computing, pp.443-451, 2003.
, Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement, Information and Computation, vol.118, issue.1, pp.158-179, 1995.
DOI : 10.1006/inco.1995.1060
, The design of a configurable and reconfigurable middleware platform, Distributed Computing, pp.109-126, 2002.
DOI : 10.1007/s004460100064
, Disconnected operations in mobile environments, Proceedings 16th International Parallel and Distributed Processing Symposium, p.118, 2002.
DOI : 10.1109/IPDPS.2002.1016593
, The RUNES Middleware: A Reconfigurable Component-based Approach to Networked Embedded Systems, 2005 IEEE 16th International Symposium on Personal, Indoor and Mobile Radio Communications, 2005.
DOI : 10.1109/PIMRC.2005.1651554
, Reconfigurable Component-based Middleware for Networked Embedded Systems, Journal of Wireless Information Networks, 2006.
DOI : 10.1007/s10776-007-0057-2
, Resource management for parallel adaptive components, Proceedings International Parallel and Distributed Processing Symposium, pp.134-141, 2003.
DOI : 10.1109/IPDPS.2003.1213258
URL : https://hal.archives-ouvertes.fr/hal-00342140
, Software Architecture-Based Adaptation for Pervasive Systems, ARCS, pp.67-82, 2002.
DOI : 10.1007/3-540-45997-9_7
, Autonomous adaptation to dynamic availability using a service-oriented component model, Proceedings. 26th International Conference on Software Engineering, pp.614-623, 2004.
DOI : 10.1109/ICSE.2004.1317483
, « Towards seamless computing and metacomputing in Java ». Concurrency -Practice and Experience, pp.11-131043, 1998.
, « Intergiciel et construction d'applications réparties », Chapitre Le système de composants Fractal, 2007.
, Scalable Processing of Context Information with COSMOS, DAIS, pp.210-224, 2007.
DOI : 10.1109/MPRV.2002.1037720
URL : https://hal.archives-ouvertes.fr/inria-00155045
, Unreliable failure detectors for reliable distributed systems, Journal of the ACM, vol.43, issue.2, pp.225-267, 1996.
DOI : 10.1145/226643.226647
, « Design and implementation of the GNU Prolog system », Journal of Functional and Logic Programming, issue.6, 2001.
, « Handbook of graph theory », Chapitre 10.2, Dynamic Graph Algorithms, Discrete Mathematics and Its Applications, 2003.
, « A framework for constraint-based deployment and autonomic management of distributed applications, International Conference on Autonomic Computing, pp.300-301, 2004.
, « A middleware framework for constraint-based deployment and autonomic management of distributed applications ». Rapport Technique CS, 2004.
, « Towards a framework for self-adaptive componentbased applications, Proceedings of Distributed Applications and Interoperable Systems 2003, the 4th IFIP WG6.1 International Conference, 2003.
, WildCAT, Proceedings of the 3rd international workshop on Middleware for pervasive and ad-hoc computing , MPAC '05, 2005.
DOI : 10.1145/1101480.1101483
URL : https://hal.archives-ouvertes.fr/hal-00457084
, Consensus in the presence of partial synchrony, Journal of the ACM, vol.35, issue.2, pp.288-323, 1988.
DOI : 10.1145/42282.42283
, Applying OMG D&C Specification and ECA Rules for Autonomous Distributed Component-Based Systems, MoDELS Workshops, pp.242-251, 2006.
DOI : 10.1007/978-3-540-69489-2_30
URL : https://hal.archives-ouvertes.fr/hal-00177068
, « The decentralised coordination of self-adaptive components for autonomic distributed systems, Thèse de doctorat, 2004.
, Early stopping in Byzantine agreement, Journal of the ACM, vol.37, issue.4, pp.720-741, 1990.
DOI : 10.1145/96559.96565
, « Towards architecturebased self-healing systems, First Workshop on Self-Healing Systems (WOSS), pp.21-26, 2002.
, « Toward a recommended practice for architectural description, ICECCS, pp.408-413, 1996.
, « Software engineering and middleware : a roadmap, ICSE -Future of SE Track, pp.117-129, 2000.
, « A lightweight component model for peer-to-peer applications, ICDCS Workshops, pp.520-527, 2004.
, Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985.
DOI : 10.1145/3149.214121
, « Vers un environnement multi-personnalités pour la configuration et le déploiement d'applications à base de composants logiciels, re conférence sur le Déploiement et la (Re)Configuration de Logiciels, 2004.
, « Administration autonome d'applications réparties sur grilles, Proceedings of the 17e Rencontres francophones du Parallélisme (RenPar'17), 2006.
, Increasing System Dependability through Architecture-Based Self-Repair, Proceedings of the ICSE Workshop on Software Architecture for Dependable Systems, 2003.
DOI : 10.1007/3-540-45177-3_3
, System support for pervasive applications, Wetherall. « System support for pervasive applications, pp.421-486, 2004.
DOI : 10.1145/1035582.1035584
, « Self-organising distributed component software architectures, Thèse de doctorat, 2002.
, Self-organising software architectures for distributed systems, Proceedings of the first workshop on Self-healing systems , WOSS '02, pp.33-38, 2002.
DOI : 10.1145/582128.582135
, « Acme : architectural description of component-based systems, pp.47-67, 2000.
, « Acme : architectural description of component-based systems, pp.47-67, 2000.
, « System Support for Pervasive Applications, Thèse de doctorat, 2002.
, « Using gauges for architecture-based monitoring and adaptation, Proceedings of the Working Conference on Complex and Dynamic Systems Architecture, 2001.
, Project Aura: toward distraction-free pervasive computing, IEEE Pervasive Computing, vol.1, issue.2, pp.22-31, 2002.
DOI : 10.1109/MPRV.2002.1012334
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.7105
, « Agent-based Software Configuration and Deployment, Thèse de doctorat, 1999.
, Councill, éditeurs. Component-based Software Engineering : putting the Pieces Together, 2001.
, « A model for designing adaptable software components, Proceedings of the 22nd International Computer Software and Applications Conference (COMPSAC), pp.121-127, 1998.
, « A basis for composition language cl, 2002.
, Mapping ADL Specifications to an Efficient and Reconfigurable Runtime Component Platform, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), pp.131-140, 2005.
DOI : 10.1109/WICSA.2005.42
, Client-server computing in mobile environments, ACM Computing Surveys, vol.31, issue.2, pp.117-157, 1999.
DOI : 10.1145/319806.319814
, Component search service and deployment of distributed applications, Proceedings 3rd International Symposium on Distributed Objects and Applications, p.125, 2001.
DOI : 10.1109/DOA.2001.954078
, The vision of autonomic computing, The vision of autonomic computing, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055
, Caching Components for Disconnection Management in Mobile Environments, Proceedings of the International Symposium on Distributed Objects and Applications (DOA), 2004.
DOI : 10.1007/978-3-540-30469-2_32
, System software for ubiquitous computing, IEEE Pervasive Computing, vol.1, issue.1, pp.70-81, 2002.
DOI : 10.1109/MPRV.2002.993146
, Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.4, pp.394-409, 2000.
DOI : 10.1007/s100090050045
, « Gestion des déconnexions pour applications réparties à base de composants en environnements mobiles, Thèse de doctorat, Institut National des Télécommunications, 2005.
, « Middleware Architecture with Patterns and Frameworks
, « Contribution à l'automatisation du déploiement d'applications sur des grilles de calcul, Thèse de doctorat, 2005.
, « ASL : un langage et des outils pour les styles architecturaux -Contribution à la description d'architectures dynamiques, Thèse de doctorat, 2004.
, « Contractualisation des ressources pour les composants logiciels : une approche réflexive, Thèse de doctorat, 2003.
, Java Virtual Machine specification, 1999.
, « Duplication et cohérence configurables dans les applications réparties à base de composants, Thèse de doctorat, 2003.
, FORMAware: Framework of Reflective Components for Managing Architecture Adaptation, pp.115-129, 2002.
DOI : 10.1007/3-540-38093-0_8
, The ganglia distributed monitoring system: design, implementation, and experience, Parallel Computing, vol.30, issue.7, pp.5-6817, 2004.
DOI : 10.1016/j.parco.2004.04.001
, Regis: a constructive development environment for distributed programs, Distributed Systems Engineering, vol.1, issue.5, pp.304-312, 1994.
DOI : 10.1088/0967-1846/1/5/005
, « The grand challenge of trusted components, 2003.
, « Remote Procedure Call specification version 2 (RPC) », juin 1988
, Architectural styles, design patterns, and objects, Architectural styles, design patterns, and objects, pp.43-52, 1997.
DOI : 10.1109/52.566427
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.9287
, « MDA guide version 1.0.1 ». Rapport Technique, Object Management Group, 2003.
, « Capturing software architecture design expertise with Armani
, « Gaia : an OO middleware infrastructure for ubiquitous computing environments, Orientation and Operating Systems (ECOOP-OOOSWS), 2002.
, Architecture-Level Support for Software Component Deployment in Resource Constrained Environments, pp.31-50, 2002.
DOI : 10.1007/3-540-45440-3_3
, « Toward a framework for classifying disconnected operation techniques, Software Architecture for Dependable Systems, 2003.
, « Software architectural support for disconnected operation in highly distributed environments, CBSE, pp.23-39, 2004.
, « Support for disconnected operation via architectural self-reconfiguration, Proceedings of the First International Conference on Autonomic Computing, 2004.
, « Conditions on input vectors for consensus solvability in asynchronous distributed systems, pp.153-162, 2001.
, A hierarchy of conditions for consensus solvability, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing , PODC '01, pp.151-160, 2001.
DOI : 10.1145/383962.384006
, 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
, A Component Model for Field Devices, CD'02 : Proceedings of the IFIP/ACM Working Conference on Component Deployment, pp.200-209, 2002.
DOI : 10.1007/3-540-45440-3_14
, An architecture-based approach to self-adaptive software, IEEE Intelligent Systems, vol.14, issue.3, pp.54-62, 1999.
DOI : 10.1109/5254.769885
, Open Service Gateway initiative, ?tt?????????s????r?
, « Accords tolérant les fautes dans les systèmes répartis synchrones et asynchrones, Thèse de doctorat, 2004.
, SOFA/DCUP: architecture for component trading and dynamic updating, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159), p.43, 1998.
DOI : 10.1109/CDS.1998.675757
, Optimal early stopping uniform consensus in synchronous systems with process omission failures, Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures , SPAA '04, pp.302-310, 2004.
DOI : 10.1145/1007912.1007963
, Distributed agreement in the presence of processor and communication faults, IEEE Transactions on Software Engineering, vol.12, issue.3, pp.477-482, 1986.
DOI : 10.1109/TSE.1986.6312888
, Asynchronous, Hierarchical, and Scalable Deployment of Component-Based Applications, Proceedings of the 2nd International Working Conference on Component Deployment, 2004.
DOI : 10.1007/978-3-540-24848-4_4
, Gaia, Proceedings of the 9th workshop on ACM SIGOPS European workshop beyond the PC: new challenges for the operating system, EW 9, pp.229-234, 2000.
DOI : 10.1145/566726.566772
, Unified object bus : providing support for dynamic management of heterogeneous components, 1729.
, Cooperative Component-Based Software Deployment in Wireless Ad Hoc Networks, 3rd International Working Conference on Component Deployment, pp.1-16, 2005.
DOI : 10.1007/11590712_1
URL : https://hal.archives-ouvertes.fr/hal-00341748
, « Pervasive computing : vision and challenges ». Personal Communications, IEEE, vol.8, issue.4, pp.10-17, 2001.
, « PHOENIX : a self adaptable monitoring platform for cluster management, Cluster Computing, pp.75-85, 2002.
, Exploiting architectural design knowledge to support self-repairing systems, Proceedings of the 14th international conference on Software engineering and knowledge engineering , SEKE '02, pp.241-248, 2002.
DOI : 10.1145/568760.568804
, Structure and encapsulation in distributed systems : the proxy principle, Proc. 6th Intl. Conf. on Distributed Computing Systems, pp.198-204, 1986.
, CORBA 3 fundamentals and programming, 1999.
, Automated policy-based resource construction in utility computing environments, 2004 IEEE/IFIP Network Operations and Management Symposium (IEEE Cat. No.04CH37507), 2004.
DOI : 10.1109/NOMS.2004.1317677
, Pattern-Oriented Software Architecture : patterns for Concurrent and Networked Objects, 2000.
, Middleware for Distributed Systems, 2001.
DOI : 10.1002/9780470050118.ecse241
, « Research advances in middleware for distributed systems, Communication Systems : The State of the Art (IFIP World Computer Congress), pp.1-36, 2002.
, Component Software, 2002.
, « Cream : class library for constraint programming in Java
, Enforcing Architecture and Deployment Constraints of Distributed Component-Based Software, Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE'07), 2007.
DOI : 10.1007/978-3-540-71289-3_13
URL : https://hal.archives-ouvertes.fr/hal-00502388
, « Contractualisation de l'évolution architecturale de logiciels à base de composants : une approche pour la préservation de la qualité, Thèse de doctorat, 2006.
, Pattern languages of program design 2, 1996.
, « The alldifferent constraint : a survey ». CoRR, cs.PL/0105015, vHSD94] P. van Hentenryck, H. Simonis, et M. Dincbas. « Constraint satisfaction using constraint logic programming, pp.113-159, 1994.
, A case study in software adaptation, Proceedings of the first workshop on Self-healing systems , WOSS '02, pp.73-78, 2002.
DOI : 10.1145/582128.582142
, The Koala component model for consumer electronics software, Computer, vol.33, issue.3, pp.78-85, 2000.
DOI : 10.1109/2.825699
, century, ACM SIGMOBILE Mobile Computing and Communications Review, vol.3, issue.3, pp.3-11, 1999.
DOI : 10.1145/329124.329126
, « High-level framework for network-based resource sharing, 1976.
, « A distributed object model for the Java system, 2nd Conference on Object-Oriented Technologies & Systems (COOTS), pp.219-232, 1996.
, satin: A Component Model for Mobile Self Organisation, On the Move to Meaningful Internet Systems 2004 : CoopIS/DOA/ODBASE OTM Confederated International Conferences, Part II, pp.1303-1321, 2004.
DOI : 10.1007/978-3-540-30469-2_31