227 8.3.2 Mechanisms for Analyzing, 228 8.3.4 Integration into Deployment Pipeline . . . . . . . . . . . . . . . . 229 ,
Proof of Assembly Join Associativity Then the induction case is true for ?(A) Therefore the associativity property (A@B)@C = A@(B@C) is true for all assemblies ,
StringLiteral Properties ::= Property * 3 Id ::= IdLiteral Type ::= IdLiteral Name ::= 'name' ':' StringLiteral State ::= 'state' ':' StringLiteral 7 Version ::= 'version' ':' VersionLiteral Repository ::= '{' Name ',' 'url' ':' UrlLiteral '}' Repositories ::= '[' Repository, Properties '}' ResourceDeclaration ::= Id GenericResource? 'dependsOn' Id ,
15 Fact ::= ('true' | 'false') Condition ::= '{' GenericResource ':' Fact '}' Conditions ::= '[' Condition (',' Condition) * ']' ConditionalAssembly ::= ( 19 ('when' ':' Conditions 'then ,
Requirements to Pervasive System Continuous Deployment, International Workshop on Self-Managing Pervasive Service Systems (SeMaPS) ,
Self-aware Cyber-physical Systems and Applications in Smart Buildings and Cities, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 ,
DOI : 10.7873/DATE.2013.240
Autonomic Pervasive Applications Driven by Abstract Speciications " , International workshop on Self-aware internet of things (Self-IoT, List of Figures 2.1 Evolution of Computer Systems (adapted from, p.11, 2007. ,
114 5.2 Positioning against continuous deployment requirements, p.172 ,
209 7.4 iCASA Framework deployment measurements, p.214 ,
225 List of Algorithms - Procedure identify(assembly A) 129 - Procedure subsume(assembly A) 129 - Procedure join(assembly A, assembly B) 131 - Procedure join*(assembly A, assembly B), 135 - Procedure deploy(assembly A, platform P) . . . . . . . . . . . . . . . . . . . . . . 138 - Procedure deployApplication(Application a, Platform P, Set of conditions C P ), p.143 ,
A deployment system for pervasive computing, Software Maintenance, . Proceedings. International Conference on ,
Deployment and dynamic reconnguration planning for distributed software systems ,
The Internet of Things: A survey, Computer Networks, vol.54, issue.15, p.pages ?????, October . (page ,
DOI : 10.1016/j.comnet.2010.05.010
A survey on context-aware systems, International Journal of Ad Hoc and Ubiquitous Computing, vol.2, issue.4, p.pages ???? ,
DOI : 10.1504/IJAHUC.2007.014070
Challenges: An Application Model for Pervasive Computing, Proceedings of the th Annual International Conference on Mobile Computing and Networking, p.???? ,
Towards an Automatic Integration of Heterogeneous Services and Devices, 2010 IEEE Asia-Pacific Services Computing Conference, p.pages ???? ,
DOI : 10.1109/APSCC.2010.89
URL : https://hal.archives-ouvertes.fr/hal-00941786
The disappearing boundary between development-time and run-time, Proceedings of the FSE/SDP workshop on Future of software engineering research, FoSER '10 ,
DOI : 10.1145/1882362.1882367
Location models from the perspective of context-aware applications and mobile ad hoc networks, Personal and Ubiquitous Computing, p.pages ????, . (page ,
Basea micro-broker-based middleware for pervasive computing, p.???? ,
Formalization of Component Substitutability, Electronic Notes in Theoretical Computer Science, vol.215, p.pages ??? ,
DOI : 10.1016/j.entcs.2008.06.022
How dynamic is your Dynamic Software Product Line ,
Middleware: a model for distributed system services, Communications of the ACM, vol.39, issue.2, p.pages ??? ,
DOI : 10.1145/230798.230809
Balancing Agility and Discipline: A Guide for the Perplexed ,
DOI : 10.1007/978-3-540-24675-6_1
Social, economic, and ethical implications of ambient intelligence and ubiquitous computing, Ambient intelligence, p.pages ??? ,
Design and use of software architectures: adopting and evolving a product-line approach ,
Maturity and Evolution in Software Product Lines: Approaches, Artefacts and Organization, GaryJ. Chastek, editeur, Software Product Lines, volume of Lecture Notes in Computer Science, p.pages ???? ,
DOI : 10.1007/3-540-45652-X_16
Autonomic Management of Clustered Applications, 2006 IEEE International Conference on Cluster Computing, p.pages ???, . (page ,
DOI : 10.1109/CLUSTR.2006.311842
URL : https://hal.archives-ouvertes.fr/hal-00684406
An Open Component Model and Its Support in Java, Component-Based Software Engineering, p.pages ??? ,
DOI : 10.1007/978-3-540-24774-6_3
A Model of Dynamic Binding in .NET, Lecture Notes in Computer Science, p.pages ???? ,
DOI : 10.1007/11590712_12
Balancing Advanced Features in a Hierarchical Component Model, Fourth International Conference on Software Engineering Research, Management and Applications, p.pages ???, . (page ,
A Characterization of the Software Deployment Process and a Survey of related Technologies ,
A tool suite to prototype pervasive computing applications, th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops), p.pages ????, . (page ,
An Architectural Discussion on DSPL, Software Product Lines, th International Conference Proceedings. Second Volume (Workshops), p.pages ??? ,
Some properties of conversion, Transactions of the American Mathematical Society, vol.39, issue.3, p.pages ????, . (page ,
DOI : 10.1090/S0002-9947-1936-1501858-0
Principles of Transactional Grid Deployment, Advances in Grid Computing -EGC , volume of Lecture Notes in Computer Science, p.pages ??? ,
DOI : 10.1007/11508380_11
How Do Committees Invent? Datamation ,
Context is key, Communications of the ACM, vol.48, issue.3, p.pages ???, . (page ,
DOI : 10.1145/1047671.1047703
A framework for constraintbased development and autonomic management of distributed applications, Autonomic Computing, . Proceedings. International Conference on ,
Software Deployment, Past, Present and Future, Future of Software Engineering (FOSE '07), p.pages ???? ,
DOI : 10.1109/FOSE.2007.20
Garbagerst Garbage Collection, Proceedings of the th International Symposium on Memory Management ,
DOI : 10.1145/1029873.1029879
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.6386
Understanding and Using Context. Personal and Ubiquitous Computing ,
Autonomic iPOJO: Towards Self-Managing Middleware for Ubiquitous Systems, 2008 IEEE International Conference on Wireless and Mobile Computing, Networking and Communications, p.????, . (page ,
DOI : 10.1109/WiMob.2008.89
Self-stabilizing systems in spite of distributed control, Communications of the ACM, vol.17, issue.11, p.pages ????, November . (page ,
DOI : 10.1145/361179.361202
The K-Component Architecture Meta-Model for Self-Adaptive Software, Metalevel Architectures and Separation of Crosscutting Concerns ,
DOI : 10.1007/3-540-45429-2_6
EEcience Énergétique des Services dans les Systèmes Répartis Hétérogènes et Dynamiques : Application à la Maison Numérique. These ,
Applying omg d&c speciication and eca rules for autonomous distributed component-based systems, Models in Software Engineering, p.pages ????, . (page ,
Graphgrammars: An algebraic approach, IEEE Conference Record of th Annual Symposium on, p.pages ???? ,
Introduction to the algebraic theory of graph grammars (a survey) In Graph-Grammars and Their Application to, Computer Science and Biology, p.pages ??? ,
Ambient Intelligence ,
Developing an OSGilike service platform for .NET, IEEE Consumer Communications and Networking Conference ,
iPOJO : Un modèle à composant à service exible pour les systèmes dynamiques. These ,
Managing Dynamism in Service Dependencies, IEEE International Conference on Services Computing ,
Requirements to Pervasive System Continuous Deployment. The nd International Workshop on Self-Managing Pervasive Service Systems (SeMaPS ,
The Internet of Things: How the Next Evolution of the Internet Is Changing Everything. april ,
How to design a system in which modules can be changed on the, ICSE ''': Proceedings of the nd international conference on Software engineering ,
Architectural Styles and the Design of Networkbased Software Architectures ,
Deploying on the Grid with DeployWare, 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (CCGRID), p.pages ????. IEEE ,
DOI : 10.1109/CCGRID.2008.59
URL : https://hal.archives-ouvertes.fr/hal-00259836
Using architecture models for runtime adaptability, IEEE Software, vol.23, issue.2, p.pages ???, . (page ,
DOI : 10.1109/MS.2006.61
Kevoree: une approche model@ runtime pour les systèmes ubiquitaires ,
uBiquitous, secUre inTernet-of-things with Location and contExt-awareness, Delivrable ,
Computers and intractability; a guide to the theory of np-completeness ,
Project Aura: Toward Distraction-Free Pervasive Computing, IEEE Pervasive Computing ,
SmartFrog: Connguration and Automatic Ignition of Distributed Applications, In: HP Openview University Association Conference (HP OVUA, p.pages ??, . (page ,
Everyware : the dawning age of ubiquitous computing ,
System support for pervasive applications. Future directions in distributed computing ,
A cooperative approach to support software deployment using the software dock, Proceedings of the 21st international conference on Software engineering, ICSE '99, p.???? ,
DOI : 10.1145/302405.302463
Dynamic Software Product Lines, Computer, p.pages ???, . (page ,
DOI : 10.1109/mc.2008.123
URL : https://hal.archives-ouvertes.fr/hal-00722377
A development framework and methodology for self-adapting applications in ubiquitous computing environments, Journal of Systems and Software, vol.85, issue.12, p.pages ?????, December . (page ,
DOI : 10.1016/j.jss.2012.07.052
Pervasive computing : the mobile world ,
Things that think, Personal Technologies, vol.1, issue.1, p.pages ???, . (page ,
DOI : 10.1007/BF01317884
A Characterization Framework for Software Deployment Technologies ,
The Gator Tech Smart House: a programmable pervasive space, Computer, p.pages ??? ,
Middleware support for the deployment of ubiquitous software components, Personal and Ubiquitous Computing, p.pages ???? ,
Autonomic computing: IBM's perspective on the State of Information Technology ,
Adaptive middleware for context-aware applications in smart-homes, Proceedings of the 2nd workshop on Middleware for pervasive and ad-hoc computing -, p.pages ????, . (page ,
DOI : 10.1145/1028509.1028511
Continuous Delivery: Reliable Software Releases through Build, Test, and Deployment Automation ,
Why Enterprises Must Adopt Devops to Enable Continuous Delivery, Cutter IT Journal, p.pages ??? ,
MQTT-S — A publish/subscribe protocol for Wireless Sensor Networks, 2008 3rd International Conference on Communication Systems Software and Middleware and Workshops (COMSWARE '08), p.pages ???? ,
DOI : 10.1109/COMSWA.2008.4554519
IEEE Standard for Systems and Software Engineering -Software Life Cycle Processes, p.cc????, . (page ,
The vision of autonomic computing, Computer, vol.36, issue.1, p.pages ??? ,
DOI : 10.1109/MC.2003.1160055
The aware home: A living laboratory for ubiquitous computing research, Cooperative buildings. Integrating information, organizations, and architecture, p.pages ???? ,
Middleware Architecture with Patterns and Frameworks ,
Self-Managed Systems: an Architectural Challenge, Future of Software Engineering (FOSE '07), p.????. IEEE ,
DOI : 10.1109/FOSE.2007.19
TALplanner: A Temporal Logic Based Forward Chaining Planner, Annals of Mathematics and Artiicial Intelligence, p.????, Mars . (page ,
Cilia: An autonomic service bus for pervasive environments, Proceedings of the th IEEE International Conference on Services Computing (SCC) ,
Dependability: Basic Concepts and Terminology, International Federation for Information Processing WG .. on Dependable Computing and Fault Tolerance ,
DOI : 10.1007/978-3-7091-9170-5_1
Iterative and incremental developments. a brief history, Computer, vol.36, issue.6, p.pages ???, . (page ,
DOI : 10.1109/MC.2003.1204375
Programs, life cycles, and laws of software evolution, Proceedings of the IEEE, p.????, . (page ,
HealthOS, Proceedings of the Second ACM Workshop on Mobile Systems, Applications, and Services for HealthCare, mHealthSys '12, p.??? ,
DOI : 10.1145/2396276.2396281
A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, p.pages ?????, November . (page ,
DOI : 10.1145/197320.197383
A Formal Framework for Component Deployment, Proceedings of the st Annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications, p.???? ,
The vision and technical foundations of ubiquitous computing. Upgrade European Online Magazine, p.??, . (page ,
Ubiquitous Computing: Scenarios for an informatized world, p.pages ???? ,
CEYLON: A Service-Oriented Framework for Building Autonomic Managers, 2010 Seventh IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems, p.pages ???, . (page ,
DOI : 10.1109/EASe.2010.10
URL : https://hal.archives-ouvertes.fr/hal-00941702
Composing adaptive software, Computer, vol.37, issue.7, p.pages ???, . (page ,
DOI : 10.1109/MC.2004.48
ADLs and dynamic architecture changes In Joint proceedings of the second international software architecture workshop (ISAWand nd international workshop on multiple perspectives in software development (Viewpoints' ) on SIGSOFT''' workshops, p.pages ???. ACM ,
A classiication and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, p.pages ???, . (page ,
Software deployment architecture and quality-of-service in pervasive environments In International workshop on Engineering of software services for pervasive environments: in conjunction with the th ESEC/FSE joint meeting, p.pages ??? ,
Architecture-Level Support for Software Component Deployment in Resource Constrained Environments, Component Deployment, p.pages ??? ,
DOI : 10.1007/3-540-45440-3_3
Can you CHOP up autonomic computing? http://www.ibm.com/developerworks ,
Cramming more components onto integrated circuits ,
Test-Driven Infrastructure with Chef ,
An architecture-based approach to self-adaptive software. Intelligent Systems and Their Applications, IEEE, p.pages ??? ,
Context awareness for dynamic service-oriented product lines, Proceedings of the th International Software Product Line Conference, p.pages ???? ,
URL : https://hal.archives-ouvertes.fr/inria-00425586
A conceptual foundation for component-based software deployment, Journal of Systems and Software, vol.57, issue.3, p.pages ????, . (page ,
DOI : 10.1016/S0164-1212(01)00009-7
Leading Lean Software Development: Results Are not the Point ,
Lean Software Development: A Tutorial, IEEE Software, vol.29, issue.5, p.pages ???, . (page ,
DOI : 10.1109/MS.2012.107
Fault tolerance via idempotence, Proceedings of the th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages ,
Nanotechnology: A gentle introduction to the next big idea. Safari Tech Books Online ,
Gaia, ACM SIGMOBILE Mobile Computing and Communications Review, vol.6, issue.4, p.pages ???, . (page ,
DOI : 10.1145/643550.643558
The battle of concepts: Ubiquitous Computing, pervasive computing and ambient intelligence in Mass Media, Ubiquitous Computing and Communication Journal. vv ii ,
Software Engineering for Self-Adaptive Systems. chapitre MUSIC: Middleware Support for Self- Adaptation in Ubiquitous and Service-Oriented Environments, p.pages ???? ,
Project Oxygen: Pervasive, Human-Centric Computing ??? An Initial Experience, Advanced Information Systems Engineering, p.pages ??? ,
DOI : 10.1007/3-540-45341-5_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.461.6405
Self-adaptive software: Landscape and research challenges, ACM Trans. Auton. Adapt. Syst, p.??? ,
Pervasive computing: vision and challenges, IEEE Personal Communications, vol.8, issue.4, p.pages ??? ,
DOI : 10.1109/98.943998
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.6338
Pervasive Computing Middleware Handbook of Ambient Intelligence and Smart Environments, Hideyuki Nakashima ,
PerLa: A Language and Middleware Architecture for Data Management and Integration in Pervasive Information Systems, IEEE Transactions on Software Engineering, vol.38, issue.2, p.pages ????, . (page ,
DOI : 10.1109/TSE.2011.25
Don't Install Software by Hand, IEEE Software, vol.29, issue.4 ,
DOI : 10.1109/MS.2012.85
New oxford american dictionary ,
DOI : 10.1093/acref/9780195392883.001.0001
Energy Harvesting Sensor Nodes: Survey and Implications, IEEE Communications Surveys & Tutorials, vol.13, issue.3, p.pages ????, . (page ,
DOI : 10.1109/SURV.2011.060710.00094
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.331.8359
Component technology -what, where, and how? In Software Engineering, Proceedings. th International Conference on, p.pages ???? ,
PLASMA: A Plan-based Layered Architecture for Software Model-driven Adaptation, Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, p.???? ,
Approaches for Service Deployment, IEEE Internet Computing, vol.9, issue.2, p.pages ??? ,
DOI : 10.1109/MIC.2005.32
WComp middleware for ubiquitous computing: Aspects and composite event-based Web services, annals of telecommunications - annales des t??l??communications, vol.32, issue.11, p.pages ????, . (page ,
DOI : 10.1007/s12243-008-0081-y
URL : https://hal.archives-ouvertes.fr/hal-00378325
Pro puppet. Apress, . (page .) [van der Burg ] Sander van der Burg et Eelco Dolstra. A self-adaptive deployment framework for service-oriented systems, Proceedings of the th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, p.pages ???? ,
DOI : 10.1007/978-1-4302-3058-8
Nano-informatique et intelligence ambiante: inventer l'ordinateur du xxie siècle, Hermès science publications ,
A Language-based Approach to Service Deployment, 2006 IEEE International Conference on Services Computing (SCC'06), p.pages ???, . (page ,
DOI : 10.1109/SCC.2006.9
The computer for the st century, Scientiic American ,