A Barker, CD Walton… - IEEE Transactions on …, 2009 - ieeexplore.ieee.org
This paper introduces the multiagent protocols (MAP) Web service choreography language
and demonstrates how service choreographies can be specified, verified, and enacted with …