Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services

Melliti, Tarek; Poizat, Pascal; Mokhtar, Sonia Ben

doi:10.1007/978-3-540-78743-3_12

Cited by 16 publications

(16 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These pieces of information can describe different views of the WS semantics, from ontological ones that ease the discovery phase, to behavioral ones that ease the composition of WSs. For the latter many approaches have been proposed in the literature with the aim to automatically compose WSs, see [6,7,10,12,13] just to mention the most recent. In most of the cases, the approaches rely on the assumption that, along with the WSDL, some information is provided about how the clients invoking the WS should behave.…”

Section: Introductionmentioning

confidence: 99%

Automatic synthesis of behavior protocols for composable web-services

Bertolino

Inverardi

Tivoli

2009

Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Found

107

View full text Add to dashboard Cite

Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing new composite web-services out of existing ones. In the literature many approaches have been proposed with the aim to automatically compose web-services. All of them assume that, along with the webservice signature, some information is provided about how clients interacting with the web-service should behave when invoking it. We call this piece of information the web-service behavior protocol. Unfortunately, in the practice this assumption turns out to be unfounded. To address this need, in this paper we propose a method to automatically derive from the web-service signature an automaton modeling its behavior protocol. The method, called StrawBerry, combines synthesis and testing techniques. In particular, synthesis is based on data type analysis. The conformance between the synthesized automaton and the implementation of the corresponding web-service is checked by means of testing. The application of StrawBerry to the Amazon E-Commerce Service shows that it is practical and realistic.

show abstract

Section: Introductionmentioning

confidence: 99%

Automatic synthesis of behavior protocols for composable web-services

Bertolino

Inverardi

Tivoli

2009

Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Found

107

View full text Add to dashboard Cite

show abstract

“…Many approaches have been proposed in the literature aiming at automatically composing services by means of BPEL-, WSCI-, or the latest W3C choreography pattern candidate, WS-CDL -choreographers [17,22,24,88,89,103,117,129]. The common idea underlying these approaches is to assume a high-level specification of the requirements that the choreography has to fulfill and a behavioral specification of the services participating in the choreography.…”

Section: State Of the Artmentioning

confidence: 99%

Service-oriented middleware for the Future Internet: state of the art and research directions

Issarny

Georgantas

Hachem

et al. 2011

J Internet Serv Appl

144

View full text Add to dashboard Cite

Service-oriented computing is now acknowledged as a central paradigm for Internet computing, supported by tremendous research and technology development over the last 10 years. However, the evolution of the Internet, and in particular, the latest Future Internet vision, challenges the paradigm. Indeed, service-oriented computing has to face the ultra large scale and heterogeneity of the Future Internet, which are orders of magnitude higher than those of today's service-oriented systems. This article aims at contributing to this objective by identifying the key research directions to be followed in light of the latest state of the art. This article more specifically focuses on research challenges for service-oriented middleware design, therefore, investigating service description, discovery, access, and composition in the Future Internet of services.

show abstract

“…19 We continue specifying the sets of rules and model fragments. The set Crs i,orch with the actual adaptation orchestration by McPhil i , comprising the rules (37) to (68) (47)- (50) Rules (43)- (46), with McPhil i in ToR, cover the new R-order, basically implementing the to-be rules (11)- (14) (17)- (76) …”

Section: Migration Coordination Distributed Among Helpersmentioning

confidence: 99%

“…Some aspects of dynamic adaptation of distributed systems, tailored for the domains considered, have been treated in [2,37]. In the domain of Web Services, [2] proposes a method to generate distributed adapters from given service descriptions.…”

Section: Introductionmentioning

confidence: 99%

“…In the domain of Web Services, [2] proposes a method to generate distributed adapters from given service descriptions. [37] focuses on modeling and deployment of distributed resources for adaptive services in a mobile environment. Tuosto et al [18,14,19] advocate the use of contracts in distributed setting, in particular addressing service-oriented computing involving multiple parties and multiple sessions.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Dynamic adaptation with distributed control in Paradigm

Andova

Groenewegen

Vink

2014

Science of Computer Programming

View full text Add to dashboard Cite

Adaptation of a component-based system can be achieved in the coordination modeling language Paradigm through the special component McPal. McPal regulates the propagation of new behaviour and guides the changes in the components and in their coordination. Here we show how McPal may delegate part of its control to local adaptation managers, created on-the-fly, allowing for distribution of the adaptation indeed. We illustrate the approach for the well-known example of the dining philosophers problem, by modeling migration from a deadlock-prone solution to a deadlock-free and starvation-free solution without any system quiescence. The system migration goes through various stages, exhibiting a shift of control among McPal and its helpers, and changing degrees of orchestrated and choreographic collaboration. The distributed system adaptation is formally verified using the mCRL2 model checker.

show abstract

Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services

Cited by 16 publications

References 25 publications

Automatic synthesis of behavior protocols for composable web-services

Automatic synthesis of behavior protocols for composable web-services

Service-oriented middleware for the Future Internet: state of the art and research directions

Dynamic adaptation with distributed control in Paradigm

Contact Info

Product

Resources

About