ScriptOrc: A specification language for web service choreographyA.K. BhattacharjeeR.K. Shyamasundar2008APSCC 2008