Abstract
COWS (Calculus for Orchestration of Web Services) is a foundational language for Service Oriented Computing that 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. In this paper, we extend COWS with timed orchestration constructs, this way we obtain a language capable of completely formalizing the semantics of WS-BPEL, the 'de facto' standard language for orchestration of web services. We present the semantics of the extended language and illustrate its peculiarities and expressiveness by means of several examples. © Springer-Verlag Berlin Heidelberg 2007.
Cite
CITATION STYLE
Lapadula, A., Pugliese, R., & Tiezzi, F. (2007). COWS: A timed service-oriented calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4711 LNCS, pp. 275–290). Springer Verlag. https://doi.org/10.1007/978-3-540-75292-9_19
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
