Towards verification of computation orchestration

• Main Authors: Dong, Jin Song, Liu, Yang, Sun, Jun, Zhang, Xian
• 其他作者: School of Computer Engineering
• 格式: Article
• 語言: English
• 出版: 2013
• 主題: DRNTU::Engineering::Computer science and engineering
• 在線閱讀: https://hdl.handle.net/10356/97865; http://hdl.handle.net/10220/17739

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...