4,193 Hits in 3.1 sec

Message Correlation in Web Services Choreographies: A 4-phase Validation Method

Gregory Van Seghbroeck, Bruno Volckaert, Filip De Turck, Bart Dhoedt
2009 2009 Seventh IEEE European Conference on Web Services  
It is shown that this correlation validation is more feasible to realize in case of choreographies than with orchestrations, due to the orchestration's limited view on the overall business process.  ...  Whereas an orchestration can be thought of as a service composition with a single participant taking the lead, a choreography is a decentralized collaboration between different autonomous participants.  ...  We will use the very detailed and comprehensive specification, the web services choreography description language (WS-CDL, [5] ), to help us in our effort to tackle the message correlation problem.  ... 
doi:10.1109/ecows.2009.22 dblp:conf/ecows/SeghbroeckVTD09 fatcat:satu2wza4feoriorouyg6sei74

Validation and verification of Web services choreographies by using timed automata

M. Emilia Cambronero, Gregorio Díaz, Valentín Valero, Enrique Martínez
2011 The Journal of Logic and Algebraic Programming  
We present an approach for the validation and verification of Web services choreographies, and more specifically, for those composite Web services systems with timing restrictions.  ...  We use a W3C proposal for the description of composite Web services, WS-CDL (Web Services Choreography Description Language), and we define an operational semantics for a relevant subset of it.  ...  Therefore, in this work we present a technique for the formal verification and validation of Web services choreographies.  ... 
doi:10.1016/j.jlap.2010.02.001 fatcat:ilnbssmclfharhetkmopyk2vma


2012 Proceedings of the 8th International Conference on Web Information Systems and Technologies   unpublished
Choreography specifications and Governance are two different proposals which can contribute to such a vision, by permitting to define rules and functioning agreements both at the technical level and at  ...  the validation of both the choreography enactments, and the implementations of the services they refer.  ...  Indeed, the test cases validates if the usage of a service implementation as participant of a choreography is compliant with the service pre-conditions or with service protocol.  ... 
doi:10.5220/0003936200580070 fatcat:cvbyf3urdfcs5eflvvk5lpcirq

Reasoning Tasks and Mediation for Choreography and Orchestration in WSMO

Michael Stollberg
2005 WSMO Implementation Workshop  
Choreography and Orchestration are defined as sub-classes of service interface for describing how the functionality of a Web Service can be consumed and how it is achieved by aggregating other Web Services  ...  The Web Service Modelling Ontology (WSMO) semantically describes the core elements of Semantic Web Services, aiming at a framework for unambiguous formal descriptions on which inference mechanisms shall  ...  Hence, we can apply the same approach for determining validity of an orchestration and for existence of a valid choreography between Web Services.  ... 
dblp:conf/wiw/Stollberg05 fatcat:mmzemvuk5zaotdpercvpm6dfy4

Towards automated testing of web service choreographies

Felipe M. Besson, Pedro M.B. Leal, Fabio Kon, Alfredo Goldman, Dejan Milojicic
2011 Proceeding of the 6th international workshop on Automation of software test - AST '11  
Web service choreographies have been proposed as a decentralized scalable way of composing services in a SOA environment.  ...  In this paper, we present our first step in that direction, a software prototype composed of ad hoc automated test case scripts for testing a web service choreography.  ...  To face this problem, Choreographies of web services have been proposed as a decentralized composition solution.  ... 
doi:10.1145/1982595.1982621 dblp:conf/icse/BessonLKGM11 fatcat:nbf2johchvbuzcrxvlnon2l34q

XML Methods for Validation of Temporal Properties on Message Traces with Data [chapter]

Sylvain Hallé, Roger Villemaire
2008 Lecture Notes in Computer Science  
All these capabilities, which come "for free" in any web service environment providing a standard XQuery engine, are tested using a representative choreography scenario.  ...  We perform trace validation of LTL formulae by exclusively using readily-available XML technologies.  ...  This shows that trace validation of web service choreographies can be done using technologies already present in web service environments.  ... 
doi:10.1007/978-3-540-88871-0_23 fatcat:36qzvzf2unhr5kix2x66qbufva

Validation of Collaborative Business Processes using Goals Model [article]

Amir Ebrahimifard, Mostafa Khoramabadi Arani, Mohammad Javad Amiri,, Saeed Parsa
2017 arXiv   pre-print
Validating process model against corresponding requirements is one of the most important problems in domain of collaborative processes.  ...  These paths are modeled by sequence diagram and collaborative processes are validated according to the corresponding requirements using Savara tool.  ...  In other words, an important problem in web service domain is choreography validation.  ... 
arXiv:1707.02547v1 fatcat:2xpo5hphnvcrnbtpz4briyweza

Toward a Better Interoperability of Enterprise Information Systems: A CPNs and Timed CPNs -based Web Service Interoperability Verification in a Choreography

Maya Souilah Benabdelhafid, Mahmoud Boufaida
2014 Procedia Technology - Elsevier  
Web service choreographies are more collaborative in nature and permit direct interactions between Web services.  ...  This paper addresses the raised issues by providing a process of Web service choreography.  ...  Message Ordering Analysis Time Constraints Analysis A) Choreography Modeling and Validation: Modeling Web service choreography by constructing Web service protocols based on CPNs and composing them and  ... 
doi:10.1016/j.protcy.2014.10.092 fatcat:ybajp4dprnexdluo4xk4htwbje

Tool support for model-based engineering of Web service compositions

H. Foster, S. Uchitel, J. Magee, J. Kramer
2005 IEEE International Conference on Web Services (ICWS'05)  
By providing early design verification and validation, the implementation, testing and deployment of web service compositions can be eased through the understanding of the behavior exhibited by the composition  ...  In this paper we describe tool support for a modelbased approach to verifying compositions of web service implementations.  ...  All three of the above areas of verification can be applied to both web service compositions and web service choreography.  ... 
doi:10.1109/icws.2005.119 dblp:conf/icws/FosterUMK05 fatcat:25qodlckmjfzhghau4wdg74awy

An Improved Abstract State Machine Based Choreography Specification and Execution Algorithm for Semantic Web Services

Shahin Mehdipour Ataee, Zeki Bayram
2018 Scientific Programming  
We identify significant weaknesses in the original Abstract State Machine (ASM) based choreography algorithm of Web Service Modeling Ontology (WSMO), which make it impractical for use in semantic web service  ...  Our choreography engine takes as input semantic web service specifications written in the Flora-2 dialect of F-logic.  ...  Problems with the WSMO Choreography Algorithm. The algorithm presented in Section 3.3 verifies whether the choreography run is valid without addressing the role of the client of the web service.  ... 
doi:10.1155/2018/4094951 fatcat:cpnrubvwonautjftmyilufzdu4

Model-Based Analysis of Obligations in Web Service Choreography

H. Foster, S. Uchitel, J. Magee, J. Kramer
2006 Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06)  
(MSCs) and implemented in the Web Service Choreography Description Language (WS-CDL).  ...  The move towards implementing web service choreography requires design time verification of these service interactions to ensure that service implementations fulfill requirements for multiple interested  ...  In this paper we describe the formal approach to modeling and analyzing the behavior of web service choreography, defined in the Web Service Choreography Description Language (WS-CDL) [7] with that of  ... 
doi:10.1109/aict-iciw.2006.131 dblp:conf/aict/FosterUMK06 fatcat:zgcyjsc44jcsldo6n53tp4jd6y

Leveraging Eclipse for integrated model-based engineering of web service compositions

Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
2005 Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange - eclipse '05  
The approach uses finite state machine representations of web service compositions and service choreography rules, and assigns semantics to the distributed process interactions.  ...  The move towards implementing web service choreography requires design time verification of these service interactions to ensure that service implementations fulfill requirements for multiple interested  ...  and generating representations in the standards for web service orchestrations and choreography.  ... 
doi:10.1145/1117696.1117716 dblp:conf/eclipse/FosterUMK05 fatcat:nviph2x3wnec5jxuckqqjfykkm

Architecture based Comparison of Semantic Web Service Composition Processes

Aditya Khamparia, Babita Pandey
2014 International Journal of Computer Applications  
This paper aims to make development process easier by classifying the literature on web services composition based approaches like selection, discovery, orchestration, choreography, mediation, automatic  ...  composition to facilitate the end to end semantic web service composition easier.  ...  Each web service that participates in choreography has to know exactly when to become active and with whom to interoperate.  ... 
doi:10.5120/17154-7205 fatcat:fuej2lh6k5cftgcp2m3kkpgdua

Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM

Samira Tasharofi, Marjan Sirjani
2009 Electronical Notes in Theoretical Computer Science  
The main use of a choreography description is to precisely define the sequence of interactions between a set of cooperating web services in order to promote a common understanding between participants  ...  and to make it easy to automatically validate conformance and ensure interoperability.  ...  In our conformance definition, we assume a web service conforms to a choreography if every action allowed by the web service is also allowed by the behavioral interfaces extracted from choreography by  ... 
doi:10.1016/j.entcs.2009.06.034 fatcat:roijdmfrerhepgwf6lqi37gn7a

SOS - Simple Orchestration of Services

Ricardo Queirós, Alberto Simões, Marc Herbstritt
2017 Symposium on Languages, Applications and Technologies  
With the advent of the cloud, there are countless Web services that proliferate on the Web. One solution for developers is to use these Web Services.  ...  The developer must define a service as a SOS task based on a JSON schema and submit it in a Web specialized editor.  ...  Several languages specifications appeared to model service choreographies: the Web Service Choreography Description Language 2 (WS-CDL) and the Web Service Choreography Interface 3 (WSCI).  ... 
doi:10.4230/oasics.slate.2017.13 dblp:conf/slate/QueirosS17 fatcat:4b2uutb7xvao7bg4tjdhg2csmm
« Previous Showing results 1 — 15 out of 4,193 results