Towards verification of computation orchestration

• Main Authors: Dong, Jin Song, Liu, Yang, Sun, Jun, Zhang, Xian
• Other Authors: School of Computer Engineering
• Format: Article
• Language: English
• Published: 2013
• Subjects: DRNTU::Engineering::Computer science and engineering
• Online Access: https://hdl.handle.net/10356/97865; http://hdl.handle.net/10220/17739
• Institution: Nanyang Technological University

Recently, a promising programming model called Orc has been proposed to support a structured way of orchestrating distributed Web Services. Orc is intuitive because it offers concise constructors to manage concurrent communication, time-outs, priorities, failure of Web Services or communication and...