Distributed Enforcement of Service Choreographies

Modern service-oriented systems are often built by reusing, and composing together, existing services distributed over the Internet. Service choreography is a possible form of service composition whose goal is to specify the interactions among participant services from a global perspective. In this paper, we formalize a method for the distributed and automated enforcement of service choreographies, and prove its correctness with respect to the realization of the specified choreography. The formalized method is implemented as part of a model-based tool chain released to support the development of choreography-based systems within the EU CHOReOS project. We illustrate our method at work on a distributed social proximity network scenario.Comment: In Proceedings FOCLASA 2014, arXiv:1502.0315

AO-OpenCom: an AO-Middleware architecture supporting flexible dynamic reconfiguration

Middleware has emerged as a key technology in the construction of distributed systems. As a consequence, middleware is increasingly required to be highly modular and configurable, to support separation of concerns between services, and, crucially, to support dynamic reconfiguration: i.e. to be capable of being changed while running. Aspect-oriented middleware is a promising technology for the realisation of distributed reconfiguration in distributed systems. In this paper we propose an aspect-oriented middleware platform called AO-OpenCom that builds AO-based reconfiguration on top of a dynamic component approach to middleware system composition. The goal is to support extremely flexible dynamic reconfiguration that can be applied at all levels of the system and uniformly across the distributed environment. We evaluate our platform by the capability in meeting flexible reconfiguration and the impact of these overheads

Un modèle de composition automatique et distribuée de services web par planification

National audienceWeb services advent as an inevitable technology of the Web and its dissimination on a large scale, poses the problem of their automatic composition. Indeed, one of the most im- portant obstacle to the development of web services oriented architectures relies on the manual generation of composite services by human experts. In order to overtake this approach, we propose in this article a novel architecture for web services composition based on planning techniques. Its originality consists in its completely distributed planning model where agents reason together on their own services to achieve a shared goal defined by users and where the global shared plan built stand for a possible composition of their services.L'avènement des services web comme une technologie incontournable du web et sa dissémination à grande échelle pose dorénavant la problématique de leur composition automa- tique. En effet, l'un des verrous les plus importants au développement des architectures orien- tées services réside dans l'élaboration manuelle par un expert de services composites. Afin de répondre à cette problématique, nous proposons dans cet article une architecture originale de composition automatique de services web par des techniques de planification. Son originalité repose sur la conception d'un modèle de planification entièrement distribué dans lequel les agents raisonnent conjointement sur leurs services respectifs pour atteindre un but commun prédéfini par l'utilisateur, créant ainsi un plan global représentant une composition possible de leurs services

Un modèle de composition automatique et distribuée de services web par planification

National audienceWeb services advent as an inevitable technology of the Web and its dissimination on a large scale, poses the problem of their automatic composition. Indeed, one of the most im- portant obstacle to the development of web services oriented architectures relies on the manual generation of composite services by human experts. In order to overtake this approach, we propose in this article a novel architecture for web services composition based on planning techniques. Its originality consists in its completely distributed planning model where agents reason together on their own services to achieve a shared goal defined by users and where the global shared plan built stand for a possible composition of their services.L'avènement des services web comme une technologie incontournable du web et sa dissémination à grande échelle pose dorénavant la problématique de leur composition automa- tique. En effet, l'un des verrous les plus importants au développement des architectures orien- tées services réside dans l'élaboration manuelle par un expert de services composites. Afin de répondre à cette problématique, nous proposons dans cet article une architecture originale de composition automatique de services web par des techniques de planification. Son originalité repose sur la conception d'un modèle de planification entièrement distribué dans lequel les agents raisonnent conjointement sur leurs services respectifs pour atteindre un but commun prédéfini par l'utilisateur, créant ainsi un plan global représentant une composition possible de leurs services

ACTAS: Adaptive Composition and Trading with Agents for Services

Mainly in business domains, the vision of gaining flexible, adaptive service environments is based on the standardization and practical proliferation of (Semantic) Web Services, ontologies, and agents. The standards of Web Services and their Service-oriented Architectures (SOA) became the standard paradigm for software component integration. Dynamic changes and the permanently increasing amount of available e-services of different domains are a challenge of Service Discovery and Composition. Mediation between different approaches and expert knowledge is often necessary for the composition of services of different domains. Semantic enhancements, Autonomic Service Discovery, and the research for more holistic concepts for the classification of e-services are current attempts of overcoming this challenge, in order to reach the ultimate goal of Autonomic SOC