MoSCoE: AN APPROACH FOR COMPOSING WEB SERVICES THROUGH ITERATIVE REFORMULATION OF FUNCTIONAL SPECIFICATIONS

Pathak, Jyotishman; Basu, Samik; Lutz, Robyn R.; Honavar, Vasant

doi:10.1142/s0218213008003807

Cited by 12 publications

(7 citation statements)

References 28 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

“…Service-oriented and component-based engineering -There are many approaches aiming at composing services by means of BPEL, WSCI, or WS-CDL choreographers [10,11,30,31,33,37,40]. The common idea underlying these approaches is to assume a high-level specification of the requirements that the choreography has to fulfil and a behavioural specification of the participants.…”

Section: Related Workmentioning

confidence: 99%

Distributed Enforcement of Service Choreographies

Autili¹,

Tivoli

2015

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

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

show abstract

MoSCoE: AN APPROACH FOR COMPOSING WEB SERVICES THROUGH ITERATIVE REFORMULATION OF FUNCTIONAL SPECIFICATIONS

Cited by 12 publications

References 28 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

Distributed Enforcement of Service Choreographies

Contact Info

Product

Resources

About