[BOOK][B] Business process management architectures
M Weske - 2007 - Springer
7 Business Process Management Architectures Page 1 7 Business Process Management
Architectures Following our discussion of the evolution of enterprise systems architectures in …
Architectures Following our discussion of the evolution of enterprise systems architectures in …
Deadlock-freedom-by-design: multiparty asynchronous global programming
Over the last decade, global descriptions have been successfully employed for the
verification and implementation of communicating systems, respectively as protocol …
verification and implementation of communicating systems, respectively as protocol …
Structured communication-centred programming for web services
This paper relates two different paradigms of descriptions of communication behaviour, one
focussing on global message flows and another on end-point behaviours, using formal …
focussing on global message flows and another on end-point behaviours, using formal …
A microservice composition approach based on the choreography of BPMN fragments
Context Microservices must be composed to provide users with complex and elaborated
functionalities. It seems that the decentralized nature of microservices makes a …
functionalities. It seems that the decentralized nature of microservices makes a …
[BOOK][B] Choreographic programming
F Montesi - 2014 - pure.itu.dk
Choreographies are descriptions of distributed systems where the developer gives a global
view of how messages are exchanged by endpoint nodes (endpoints for short), instead of …
view of how messages are exchanged by endpoint nodes (endpoints for short), instead of …
Towards the theoretical foundation of choreography
Z Qiu, X Zhao, C Cai, H Yang - … of the 16th international conference on …, 2007 - dl.acm.org
With the growth of interest on the web services, people pay increasinglyattention to the
choreography, that is, to describe collaborations ofparticipants in accomplishing a common …
choreography, that is, to describe collaborations ofparticipants in accomplishing a common …
[BOOK][B] Specification and verification of declarative open interaction models: a logic-based approach
M Montali - 2010 - books.google.com
Many novel application scenarios and architectures in business process management or
service composition are characterized by a distribution of activities and resources, and by …
service composition are characterized by a distribution of activities and resources, and by …
A calculus for orchestration of web services
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational
language for SOC whose design has been influenced by WS-BPEL, the de facto standard …
language for SOC whose design has been influenced by WS-BPEL, the de facto standard …
SOCK: A Calculus for Service Oriented Computing
Abstract Service oriented computing is an emerging paradigm for designing distributed
applications where service and composition are the main concepts it is based upon. In this …
applications where service and composition are the main concepts it is based upon. In this …
Structured communication-centered programming for web services
This article relates two different paradigms of descriptions of communication behavior, one
focusing on global message flows and another on end-point behaviors, using formal calculi …
focusing on global message flows and another on end-point behaviors, using formal calculi …