Search

Your search keyword '"Service choreography"' showing total 34 results

Search Constraints

Start Over You searched for: Descriptor "Service choreography" Remove constraint Descriptor: "Service choreography" Publication Type eBooks Remove constraint Publication Type: eBooks
34 results on '"Service choreography"'

Search Results

1. 'OR' of Rule-Based Specification for Service Choreography

2. Correctness of Automatically Generated Choreography Specifications

4. A Model-Based Approach for the Pragmatic Deployment of Service Choreographies

5. Semantic Annotation of Service Choreographies

6. AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications

9. Towards the Integration of Ontologies with Service Choreographies

10. Synthesis of Resilient Choreographies

11. On Deriving Detailed Component Design from High-Level Service Specification

14. On Guaranteeing Global Dependability Properties in Collaborative Business Process Management

15. Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective

18. From Flow-Global Choreography to Component Types

19. Analyzing Web Service Choreography Specifications Using Colored Petri Nets

20. Realizability Is Controllability

21. Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems

22. Future Directions

23. A Petri-Net-Based Approach to QoS Estimation of Web Service Choreographies

24. Service Interaction: Patterns, Formalization, and Analysis

25. Modeling Service Choreographies Using BPMN and BPEL4Chor

26. WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic

27. Scaling Choreography Modelling for B2B Value-Chain Analysis

28. Extending BPMN for Modeling Complex Choreographies

31. 3-Level Service Composition and Cashew: A Model for Orchestration and Choreography in Semantic Web Services

32. Dynamic Discovery, Invocation and Composition of Semantic Web Services

33. Service Choreography and Orchestration with Conversations

Catalog

Books, media, physical & digital resources