×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [web service choreography]
Home >
web service choreography
Process Analysis Toolkit PAT is A SPIN-like self-contained environment for system specification, visualized simulation and automated verification. PAT.
214 views
Reasoning Tasks and Mediation on Choreography and Orchestration in WSMO Michael Stollberg WIW 2005, June 6-7, Innsbruck, Austria.
217 views
Reasoning Tasks and Mediation on Choreography and Orchestration in WSMO
49 views