You are here: Welcome to service-technology.org » Operational semantics for web service languages
Problem statement: Give a formal operational semantics to web service languages such as WS-BPEL
Motivation: Formal semantics may reveal ambiguities or inconsistencies in the informal specification. Moreover, a formal semantics enables the application of formal methods to specifications.