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 45 articles , 2 standard articles )

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

1 2 3 next

  1. Bhattacharyya, Anirban; Mokhov, Andrey; Pierce, Ken: An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (2017)
  2. Di Giusto, Cinzia; Pérez, Jorge A.: Event-based run-time adaptation in communication-centric systems (2016)
  3. Al-Humaimeedy, Abeer S.; Fernández, Maribel: Enabling synchronous and asynchronous communications in CSP for SOC (2015)
  4. AlTurki, Musab A.; Meseguer, José: Executable rewriting logic semantics of Orc and formal analysis of Orc programs (2015)
  5. 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)
  6. Demangeon, Romain; Honda, Kohei; Hu, Raymond; Neykova, Rumyana; Yoshida, Nobuko: Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (2015)
  7. Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto: A calculus of quality for robustness against unreliable communication (2015)
  8. 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)
  9. Riccobene, Elvinia; Scandurra, Patrizia: A formal framework for service modeling and prototyping (2014) ioport
  10. Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro: Session types for safe web service orchestration (2013)
  11. Bae, Kyungmin; Meseguer, José: A rewriting-based model checker for the linear temporal logic of rewriting (2012)
  12. Chen, Zhenbang; Liu, Zhiming; Wang, Ji: Failure-divergence semantics and refinement of long running transactions (2012)
  13. Fiadeiro, José; Lopes, Antónia; Abreu, João: A formal model for service-oriented interactions (2012)
  14. Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco: Using formal methods to develop WS-BPEL applications (2012) ioport
  15. Pugliese, Rosario; Tiezzi, Francesco: A calculus for orchestration of web services (2012) ioport
  16. Vaz, Cátia; Ferreira, Carla: On the analysis of compensation correctness (2012)
  17. Banti, Federico; Pugliese, Rosario; Tiezzi, Francesco: An accessible verification environment for UML models of services (2011)
  18. Fiadeiro, José Luiz; Lopes, Antónia; Bocchi, Laura: An abstract model of service discovery and binding (2011) ioport
  19. Gao, Han; Nielson, Flemming; Nielson, Hanne Riis: \ssfCaPiTo: Protocol stacks for services (2011)
  20. Lapadula, A.; Pugliese, R.; Tiezzi, F.: A WSDL-based type system for asynchronous WS-BPEL processes (2011)

1 2 3 next