Abstract
Orc [9] is a language for task orchestration. It has a small set of primitives, but sufficient to express many useful programs succinctly. We identify an ambiguity in the trace semantics of Kitchin et al. [9]. We give possible interpretations of the ambiguous definition and show that the semantics is not adequate regardless of the interpretation. We remedy this situation by providing new operational and denotational semantics with a better treatment of variable binding, and proving an adequacy theorem to relate them. Also, we investigate strong bisimulation in Orc and show that bisimulation implies trace equivalence but not vice versa.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alves, A., Arkin, A., et al.: Web Services Business Process Execution Language version 2.0. Technical report (April 2007), http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf
Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical Foundations for Compensations in Flow Composition Languages. In: Palsberg, J., Abadi, M. (eds.) Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 209–220. ACM, New York (2005)
Butler, M.J., Ferreira, C.: A Process Compensation Language. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol. 1945, pp. 61–76. Springer, Heidelberg (2000)
Butler, M.J., Ferreira, C.: An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions. In: De Nicola, R., Ferrari, G.L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol. 2949, pp. 87–104. Springer, Heidelberg (2004)
Butler, M.J., Hoare, C.A.R., Ferreira, C.: A Trace Semantics for Long-Running Transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol. 3525, pp. 133–150. Springer, Heidelberg (2005)
Cook, W.R., Patwardhan, S., Misra, J.: Workflow Patterns in Orc. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 82–96. Springer, Heidelberg (2006)
Hoare, C.A.R., Menzel, G., Misra, J.: A Tree Semantics for an Orchestration Language, Lecture Notes for NATO summer school, Marktoberdorf (August 2004)
Kavantzas, N., Burdett, D., et al.: Web Services Choreography Description Language version 1.0. Technical report (November 2005), http://www.w3.org/TR/ws-cdl-10/
Kitchin, D., Cook, W.R., Misra, J.: A Language for Task Orchestration and its Semantic Properties. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 477–491. Springer, Heidelberg (2006)
Milner, R.: Operational and Algebraic Semantics of Concurrent Processes. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics (B), vol. B, pp. 1201–1242. MIT Press, Elsevier (1990)
Misra, J., Cook, W.R.: Computation Orchestration: A Basis for Wide-Area Computing. Software and Systems Modeling 6(1), 83–110 (2007)
van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow Patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)
Vardoulakis, D., Wand, M.: A Compositional Trace Semantics for Orc. Technical report, Northeastern University, College of Computer and Information Science (March 2008), http://www.ccs.neu.edu/~dimvar/papers/orc-coord.pdf
Viroli, M.: Towards a Formal Foundation to Orchestration Languages. Electr. Notes Theor. Comput. Sci. 105, 51–71 (2004)
Wehrman, I., Kitchin, D., Cook, W.R., Misra, J.: A Timed Semantics of Orc (unpublished)
Winskel, G.: The Formal Semantics of Programming Languages. MIT Press, Cambridge (1993)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vardoulakis, D., Wand, M. (2008). A Compositional Trace Semantics for Orc. In: Lea, D., Zavattaro, G. (eds) Coordination Models and Languages. COORDINATION 2008. Lecture Notes in Computer Science, vol 5052. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68265-3_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-68265-3_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68264-6
Online ISBN: 978-3-540-68265-3
eBook Packages: Computer ScienceComputer Science (R0)