Results 1 - 10 of 1,675

Formalizing Web Service Choreographies

by Antonio Brogi, Carlos Canal, Ernesto Pimentel, Antonio Vallecillo , 2004
"... Current Web service choreography proposals, such as BPEL4WS, BPSS, WSFL, WSCDL or WSCI, provide notations for describing the message flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of reasoning mechanisms or tool support for ch ..."
Abstract - Cited by 65 (4 self) - Add to MetaCart
for checking the compatibility of Web services based on the proposed notations. In this paper we present the formalization of one of these Web service choreography proposals (WSCI), and discuss the benefits that can be obtained by such formalization. In particular, we show how to check whether two or more Web

Simulation, verification, automated composition of web services

by Srini Narayanan, Sheila A. Mcilraith - In WWW , 2002
"... Web services-- Web-accessible programs and devices – are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services tasks. Our objective is to enable markup and automated reason ..."
Abstract - Cited by 391 (7 self) - Add to MetaCart
. With the semantics in hand, we encode our service descriptions in a Petri Net formalism and provide decision procedures for Web service simulation, verification and composition. We also provide an analysis of the complexity of these tasks under different restrictions to the DAML-S composite services we can describe

Adapting Golog for composition of semantic web Services

by Sheila Mcilraith , 2002
"... Motivated by the problem of automatically composing network accessible services, such as those on the World Wide Web, this paper proposes an approach to building agent technology based on the notion of generic procedures and customizing user constraint. We argue that an augmented version of the logi ..."
Abstract - Cited by 381 (17 self) - Add to MetaCart
of the logic programming language Golog provides a natural formalism for automatically composing services on the Semantic Web. To this end, we adapt and extend the Golog language to enable programs that are generic, customizable and usable in the context of the Web. Further, we propose logical criteria

Compatibility Verification for Web Service Choreography

by Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer - In Proc. ICWS , 2004
"... In this paper we discuss a model-based approach to verifying process interactions for coordinated web service compositions. The approach uses finite state machine representations of web service orchestrations and assigns semantics to the distributed process interactions. The move towards implementin ..."
Abstract - Cited by 48 (0 self) - Add to MetaCart
. The described approach is supported by a suite of cooperating tools for specification, formal modeling and providing verification results from orchestrated web service interactions.

Towards a formal framework for choreography

by Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro - In Proc. of 3rd International Workshop on Distributed and Mobile Collaboration (DMC 2005). IEEE Computer , 2005
"... Abstract — One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for the description of choreographies. A choreography defines the collaborations between interacting services: more pr ..."
Abstract - Cited by 15 (3 self) - Add to MetaCart
Abstract — One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for the description of choreographies. A choreography defines the collaborations between interacting services: more

Web Service Modeling Ontology

by Dumitru Roman, Uwe Keller, Holger Lausen, Jos De Bruijn, Rubén Lara, Michael Stollberg, Axel Polleres, Cristina Feier, Cristoph Bussler, Dieter Fensel - STANDARD (WSMO - STANDARD), WSMO DELIVERABLE D2 VERSION 1.0 WORKING DRAFT 29 JULY 2004. AVAILABLE: HTTP://WWW.WSMO.ORG/2004/D2/V1.0/20040729
"... The potential to achieve dynamic, scalable and cost-effective marketplaces and eCommerce solutions has driven recent research efforts towards so-called Semantic Web Services, that are enriching Web services with machine-processable semantics. To this end, the Web Service Modeling Ontology (WSMO) pro ..."
Abstract - Cited by 270 (23 self) - Add to MetaCart
) provides the conceptual underpinning and a formal language for semantically describing all relevant aspects of Web services in order to facilitate the automatization of discovering, combining and invoking electronic services over the Web. In this paper we describe the overall structure of WSMO by its four

Towards the formal model and verification of web service choreography description language

by Xiangpeng Zhao, Hongli Yang, Zongyan Qiu - in Proc. of WS-FM 2006 , 2006
"... Abstract. The Web Services Choreography Description Language (WS-CDL) is a W3C specification for the description of peer-to-peer collaborations of participants from a global viewpoint. For the rigorous development and tools support for the language, the formal semantics of WS-CDL is worth investigat ..."
Abstract - Cited by 14 (1 self) - Add to MetaCart
Abstract. The Web Services Choreography Description Language (WS-CDL) is a W3C specification for the description of peer-to-peer collaborations of participants from a global viewpoint. For the rigorous development and tools support for the language, the formal semantics of WS-CDL is worth

Model-based analysis of obligations in web service choreography

by Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer - In Proc. of IEEE International Conference on Internet&Web Applications and Services , 2006
"... In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of Message Sequence Charts (MSCs) and implemented in the Web Service Choreography Description Language (WS-CDL). The approa ..."
Abstract - Cited by 25 (0 self) - Add to MetaCart
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of Message Sequence Charts (MSCs) and implemented in the Web Service Choreography Description Language (WS

A formal model of web service choreography description language(ws-cdl

by Yang Hongli, Zhao Xiangpeng, Qiu Zongyan, Pu Geguang, Wang Shuling , 2006
"... a specification of W3C developed for the description of peer-to-peer collaborations of participants from a global viewpoint. For the rigorous definition and tools support for the language, the formal semantics of WS-CDL is worth investigating. This paper proposes a small language CDL as a formal mod ..."
Abstract - Cited by 4 (0 self) - Add to MetaCart
model of simplified WS-CDL, which includes many important concepts related to participant roles and collaborations among them in a choreography. The formal operational semantics of CDL is given, and static validation and verification of choreographies is studied as well. A purchase order choreography

Analysis of realizability conditions for Web service choreographies.

by Raman Kazhamiakin , Marco Pistore , 2006
"... Abstract. Web service choreography languages allow for the description of multipart collaborations from a global point of view, specifying the information exchanged by the participants in order to accomplish a common business goal. An important issue, emerging from the choreography modelling, is th ..."
Abstract - Cited by 13 (0 self) - Add to MetaCart
Abstract. Web service choreography languages allow for the description of multipart collaborations from a global point of view, specifying the information exchanged by the participants in order to accomplish a common business goal. An important issue, emerging from the choreography modelling
Results 1 - 10 of 1,675