Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Requirements Engineering
From goals to components: a combined approach to self-management
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Goal-Based Modeling of Dynamically Adaptive System Requirements
ECBS '08 Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Model-Based Adaptation of Behavioral Mismatching Components
IEEE Transactions on Software Engineering
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A Case Study in Goal-Driven Architectural Adaptation
Software Engineering for Self-Adaptive Systems
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems
ICECCS '09 Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems
An Automatic Approach to Enable Replacement of Conversational Services
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Automated composition of Web services via planning in asynchronous domains
Artificial Intelligence
Requirements reflection: requirements as runtime entities
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
RELAX: a language to address uncertainty in self-adaptive systems requirement
Requirements Engineering - RE'09 Special Issue; Guest Editor:Kevin T Ryan
Bounded Reachability for Temporal Logic over Constraint Systems
TIME '10 Proceedings of the 2010 17th International Symposium on Temporal Representation and Reasoning
A Tile-Based Approach for Self-Assembling Service Compositions
ICECCS '10 Proceedings of the 2010 15th IEEE International Conference on Engineering of Complex Computer Systems
Fuzzy Goals for Requirements-Driven Adaptation
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods
Towards an architecture for runtime interoperability
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Automata learning with automated alphabet abstraction refinement
VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation
Starlink: Runtime Interoperability between Heterogeneous Middleware Protocols
ICDCS '11 Proceedings of the 2011 31st International Conference on Distributed Computing Systems
WSMX process mediation based on choreographies
BPM'05 Proceedings of the Third international conference on Business Process Management
| Hi-index | 0.00 |
Pervasive environments are characterised by highly heterogeneous services and mobile devices with dynamic availability. Approaches such as that proposed by the Connect project provide means to enable such systems to be discovered and composed, through mediation where necessary. As services appear and disappear, the set of feasible compositions changes. In such a pervasive environment, a designer encounters two related challenges: what goals it is reasonable to pursue in the current context and how to use the services presently available to achieve his goals. This paper proposes an approach to design service compositions, facilitating an interactive process to find the trade-off between the possible and the desirable. Following our approach, the system finds at runtime, where possible, compositions related to the developer's requirements. This process can realise the intent the developer specifies at design time, taking into account the services available at runtime, without a prohibitive level of pre-specification, inappropriate for such dynamic environments.