A Language for Task Orchestration and Its Semantic Properties [chapter]

David Kitchin, William R. Cook, Jayadev Misra
2006 Lecture Notes in Computer Science  
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 timeouts, 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
more » ... anguage and its semantic model, Orc is able to express a variety of useful orchestration tasks. Work of the second author is partially supported by National Science Foundation grant CCF-0448128. are interchangeable. We show a number of laws about Orc programs, similar to those in Kleene algebra [5] ; the laws are based on strong bisimulation. We then introduce a more general congruence based on trace set equivalence which can establish laws not provable by strong bisimulation.
doi:10.1007/11817949_32 fatcat:px6lnwuctvawtlmifjpuonq2pa