Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on (2010)
June 9, 2010 to June 11, 2010
Recently, Orc is proposed as a powerful yet elegant language for distributed and concurrent programming which provides computational services such as distributed communication and data manipulation via sites. With a few concurrency primitives, programmers are able to orchestrate the invocation of sites to achieve a goal, and meanwhile, manage timeouts, priorities, and failures. To guarantee the correctness of Orc models, effective verification support is desirable. In this work, we present an automatic approach to verify different properties against Orc models using model checking techniques. To further improve the performance, advanced reduction techniques, like partial order reduction, are proposed.
Orc, Orchestration, Model Checking
T. H. Tan, "Towards Verification of a Service Orchestration Language," Secure Software Integration and Reliability Improvement Companion, IEEE International Conference on(SSIRI-C), Singapore, Singapore, 2010, pp. 36-37.