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 orchestration of web services. COWS combines in an original way a number of ingredients borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing activities, while resulting different from any of them. Several examples illustrates COWS peculiarities and show its expressiveness both for modelling imperative and orchestration constructs, e.g. web services, flow graphs, fault and compensation handlers, and for encoding other process and orchestration languages.

References in zbMATH (referenced in 51 articles , 2 standard articles )

Showing results 1 to 20 of 51.
Sorted by year (citations)

1 2 3 next

  1. De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco: A formal approach to the engineering of domain-specific distributed systems (2020)
  2. Pugliese, Rosario; Tiezzi, Francesco: Replacement freeness: a criterion for separating process calculi (2020)
  3. Bhattacharyya, Anirban; Mokhov, Andrey; Pierce, Ken: An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (2017)
  4. Neykova, Rumyana; Bocchi, Laura; Yoshida, Nobuko: Timed runtime monitoring for multiparty conversations (2017)
  5. Di Giusto, Cinzia; Pérez, Jorge A.: Event-based run-time adaptation in communication-centric systems (2016)
  6. Al-Humaimeedy, Abeer S.; Fernández, Maribel: Enabling synchronous and asynchronous communications in CSP for SOC (2015)
  7. AlTurki, Musab A.; Meseguer, José: Executable rewriting logic semantics of Orc and formal analysis of Orc programs (2015)
  8. Bartoletti, Massimo; Castellani, Ilaria; Deniélou, Pierre-Malo; Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia; Pantovic, Jovanka; Pérez, Jorge A.; Thiemann, Peter; Toninho, Bernardo; Vieira, Hugo Torres: Combining behavioural types with security analysis (2015)
  9. Demangeon, Romain; Honda, Kohei; Hu, Raymond; Neykova, Rumyana; Yoshida, Nobuko: Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (2015)
  10. Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi: The evolution of Jolie. From orchestrations to adaptable choreographies (2015)
  11. Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto: A calculus of quality for robustness against unreliable communication (2015)
  12. ter Beek, Maurice H.; Gnesi, Stefania; Mazzanti, Franco: From EU projects to a family of model checkers. From Kandinsky to KandISTI (2015)
  13. Cruz-Filipe, Luís; Lanese, Ivan; Martins, Francisco; Ravara, António; Vasconcelos, Vasco Thudichum: The stream-based service-centred calculus: a foundation for service-oriented programming (2014)
  14. Riccobene, Elvinia; Scandurra, Patrizia: A formal framework for service modeling and prototyping (2014) ioport
  15. Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro: Session types for safe web service orchestration (2013)
  16. Bae, Kyungmin; Meseguer, José: A rewriting-based model checker for the linear temporal logic of rewriting (2012)
  17. Chen, Zhenbang; Liu, Zhiming; Wang, Ji: Failure-divergence semantics and refinement of long running transactions (2012)
  18. Fiadeiro, José; Lopes, Antónia; Abreu, João: A formal model for service-oriented interactions (2012)
  19. Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco: Using formal methods to develop WS-BPEL applications (2012) ioport
  20. Pugliese, Rosario; Tiezzi, Francesco: A calculus for orchestration of web services (2012) ioport

1 2 3 next