Unified management of control flow and data mismatches in web service composition - Ali, S. A.; Roop, P.; Warren, I.; Bhatti, Z. E. (2011 IEEE 6th International Symposium on Service Oriented System, 2011)
Keywords: Automata; Conferences; data mediation; Insurance; model checking; orchestration; Semantics; Syntactics; Vehicles; web service composition; Web services