1 paper · 2 filters
R. Ramanujam, S. Sheerazuddin
Web service choreographies specify conditions on observable interactions among the services. An important question in this regard is realizability: given a choreography C, does the…