Towards verification of computation orchestration

• المؤلفون الرئيسيون: Dong, Jin Song, Liu, Yang, Sun, Jun, Zhang, Xian
• مؤلفون آخرون: School of Computer Engineering
• التنسيق: مقال
• اللغة: English
• منشور في: 2013
• الموضوعات: DRNTU::Engineering::Computer science and engineering
• الوصول للمادة أونلاين: https://hdl.handle.net/10356/97865; http://hdl.handle.net/10220/17739
• المؤسسة: 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...