Results 1 - 10
of
1,675
Formalizing Web Service Choreographies
, 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
- 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
, 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
- 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
- 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
- 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
- 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
- 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
, 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.
, 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