A sharing-based approach to supporting adaptation in service compositions
- PDF / 1,502,540 Bytes
- 40 Pages / 439.37 x 666.142 pts Page_size
- 70 Downloads / 195 Views
A sharing-based approach to supporting adaptation in service compositions Dragan Ivanovi´c · Manuel Carro · Manuel V. Hermenegildo
Received: 5 July 2012 / Accepted: 25 October 2012 / Published online: 17 November 2012 © Springer-Verlag Wien 2012
Abstract Data-related properties of the activities involved in a service composition can be used to facilitate several design-time and run-time adaptation tasks, such as service evolution, distributed enactment, and instance-level adaptation. A number of these properties can be expressed using a notion of sharing. We present an approach for automated inference of data properties based on sharing analysis, which is able to handle service compositions with complex control structures, involving loops and sub-workflows. The properties inferred can include data dependencies, information content, domain-defined attributes, privacy or confidentiality levels, among others. The analysis produces characterizations of the data and the activities in the composition in terms of minimal and maximal sharing, which can then be used to verify compliance of potential adaptation actions, or as supporting information in their generation. This sharing analysis approach can be used both at design time and at run time. In the latter case, the results of analysis can be refined using the composition traces (execution logs) at the point of execution, in order to support run-time adaptation.
D. Ivanovi´c (B) · M. Carro · M. V. Hermenegildo Facultad de Informatica, Universidad Politécnica de Madrid, Campus de Montegancedo s/n, Boadilla del Monte 28660, Spain e-mail: [email protected] M. Carro e-mail: [email protected] M. V. Hermenegildo e-mail: [email protected] M. Carro · M. V. Hermenegildo IMDEA Software Institute, Madrid, Spain e-mail: [email protected] M. V. Hermenegildo e-mail: [email protected]
123
454
D. Ivanovi´c et al.
Keywords Service composition · Adaptation · Sharing · Static analysis · Horn clauses Mathematics Subject Classification 68Q60
68M14 · 68U35 · 68N30 · 68Q85 · 68N17 ·
1 Introduction Service-Oriented Computing (SOC) has become a well-established paradigm for developing, evolving and integrating complex, enterprise-level software systems. The core concept in SOC is that of a service: a software component which is independent of any platform and programming language, with a well defined, standards-based interface exposed on the Internet (or a corporate intranet). In that way, SOC stimulates low coupling between software components. Individual services are usually highly specialized for a particular task, and their interfaces typically include of one or more functionally cohesive sets of operations (called ports). However, the true power of SOC shows in complex, cross-domain and cross-organizational settings, where service compositions put together several service components (often provided and maintained by third parties) [11] to perform higher-level or more complex tasks. In turn, exposing service compositions themselves as services and enabling the
Data Loading...
