Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
389
Non-desynchronizable Service Choreographies
"... A precise definition of interaction behavior between services is a prerequisite for successful business-to-business integration. Service choreographies provide a view on message exchanges and their ordering constraints from a global perspective. Assuming message sending and receiving as one atomic s ..."
Abstract
-
Cited by 11 (1 self)
- Add to MetaCart
A precise definition of interaction behavior between services is a prerequisite for successful business-to-business integration. Service choreographies provide a view on message exchanges and their ordering constraints from a global perspective. Assuming message sending and receiving as one atomic
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
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
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
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
Choreography Rehearsal ⋆
"... Abstract. We propose a methodology for statically predicting the possible interaction patterns of services within a given choreography. We focus on choreographies exploiting the event notification paradigm to manage service interactions. Control Flow Analysis techniques statically approximate which ..."
Abstract
- Add to MetaCart
Abstract. We propose a methodology for statically predicting the possible interaction patterns of services within a given choreography. We focus on choreographies exploiting the event notification paradigm to manage service interactions. Control Flow Analysis techniques statically approximate which
Choreographies as federations of choreographies and orchestrations. In:
- Proc. of CoSS
, 2006
"... Abstract. We propose a new conceptual model for choreographies of web-services. Choreographies are seen as virtual workflow models shared among participants. Subsets of these participants might have more refined models known only to them. So we see choreographies actually as federations of process ..."
Abstract
-
Cited by 8 (6 self)
- Add to MetaCart
Abstract. We propose a new conceptual model for choreographies of web-services. Choreographies are seen as virtual workflow models shared among participants. Subsets of these participants might have more refined models known only to them. So we see choreographies actually as federations of process
An Executable Calculus for Service Choreography
"... Abstract The Lightweight Coordination Calculus (LCC) is a compact choreography language based on process calculus. LCC is a directly ex-ecutable specification and can therefore be dynamically distributed to a group of peers for enactment at run-time; this offers flexibility and allows peers to coord ..."
Abstract
- Add to MetaCart
to coordinate in open systems without prior knowledge of an inter-action. This paper contributes to the body of choreography research by proposing two extensions to LCC covering parallel composition and cho-reography abstraction. These language extensions are evaluated against a subset of the Service
Service Choreography and Orchestration with Conversations
"... Service oriented computing provides technologies that enable multiple organizations to integrate their businesses over the Internet. Typical execution behavior in this type of distributed systems involves a set of autonomous peers interacting with each other through messages. Modeling and analysis o ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Service oriented computing provides technologies that enable multiple organizations to integrate their businesses over the Internet. Typical execution behavior in this type of distributed systems involves a set of autonomous peers interacting with each other through messages. Modeling and analysis
Choreographies on the Enterprise Service Bus
"... booktitle = {S-BPM ONE 2010- the Subjectoriented BPM Conference (CCIS)}, year = {2011}, series = {Communications in Computer and Information Science}, volume = {138}, publisher = {Springer-Verlag} ..."
Abstract
- Add to MetaCart
booktitle = {S-BPM ONE 2010- the Subjectoriented BPM Conference (CCIS)}, year = {2011}, series = {Communications in Computer and Information Science}, volume = {138}, publisher = {Springer-Verlag}
M.: Execution semantics for service choreographies
- WS-FM 2006. LNCS
, 2006
"... Abstract. A service choreography is a model of interactions in which a set of services engage to achieve a goal, seen from the perspective of an ideal observer that records all messages exchanged between these services. Choreographies have been put forward as a starting point for building service-or ..."
Abstract
-
Cited by 15 (6 self)
- Add to MetaCart
Abstract. A service choreography is a model of interactions in which a set of services engage to achieve a goal, seen from the perspective of an ideal observer that records all messages exchanged between these services. Choreographies have been put forward as a starting point for building service
Results 1 - 10
of
389
