Specification and analysis of dynamically-reconfigurable service architectures

Authors:
Howard Foster;Arun Mukhija;David S. Rosenblum;Sebastian Uchitel
Affiliations:
London Software Systems, Dept. of Computing, Imperial College London, London, UK;London Software Systems, Dept. of Computer Science, University College London, London, UK;London Software Systems, Dept. of Computer Science, University College London, London, UK;London Software Systems, Dept. of Computing, Imperial College London, London, UK
Venue:
Rigorous software engineering for service-oriented systems
Year:
2011

Citing 9
Cited 0

Composing Web services on the Semantic Web

The VLDB Journal — The International Journal on Very Large Data Bases
Transformation of UML Models for Service-Oriented Software Architectures

ECBS '05 Proceedings of the 12th IEEE International Conference and Workshops on Engineering of Computer-Based Systems
Self Management and the Future of Software Design

Electronic Notes in Theoretical Computer Science (ENTCS)
QoS-Aware Service Composition in Dino

ECOWS '07 Proceedings of the Fifth European Conference on Web Services
Modes in component behavior specification via EBP and their application in product lines

Information and Software Technology
Towards Self-management in Service-Oriented Computing with Modes

Service-Oriented Computing - ICSOC 2007 Workshops
Architecture and behaviour analysis for engineering Service Modes

PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
Automated composition of web services by planning at the knowledge level

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Modes for software architectures

EWSA'06 Proceedings of the Third European conference on Software Architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

A Service-Oriented Computing (SoC) architecture consists of a number of collaborating services to achieve one or more goals. Traditionally, the focus of developing services (as software components) has been on the static binding of these services within a single context and constrained in an individual manner. However, service architectures should be dynamic, where service binding and context changes with environmental changes. The task of designing and analysing such architectures becomes very complex. In this chapter we discuss a specification profile and analysis framework for service modes. A service mode provides an encapsulation of both specification and adaptation in different service scenarios. The approach is implemented as a tool suite and integrated into the Eclipse IDE.