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

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

1 2 3 next

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

1 2 3 next