A Language for Task Orchestration and Its Semantic Properties
Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. Orc provides constructs to orchestrate the concurrent invocation of services – while managing time-outs, priorities, and failure of services or communication. In this paper, we show a trace-based semantic model for Orc, which induces a congruence on Orc programs and facilitates reasoning about them. Despite the simplicity of the language and its semantic model, Orc is able to express a variety of useful orchestration tasks.
KeywordsSubstitution Event Semantic Property Business Process Management Concurrent Programming Site Call
Unable to display preview. Download preview PDF.
- 2.Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling (May 2006), Available for download at: http://dx.doi.org/10.1007/s10270-006-0012-1
- 4.Rosario, S., Benveniste, A., Haar, S., Jard, C.: SLA for web services orchestrations (unpublished, manuscript 2006)Google Scholar
- 7.Kitchin, D., Cook, W.R., Misra, J.: Semantic properties of asynchronous Orc. Technical Report TR-06-32, University of Texas at Austin, Department of Computer Sciences (2006)Google Scholar
- 10.van Glabbeek, R.: On specifying timeouts. In: Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond. Electronic Notes in Theoretical Computer Science (to appear, 2005)Google Scholar
- 12.Hoare, C.: Communicating Sequential Processes. Prentice Hall International, Englewood Cliffs (1984)Google Scholar
- 13.Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)Google Scholar