Unifying Denotational Semantics with Operational Semantics for Web Services.

Huibiao Zhu Jifeng He Jing Li

Published in: ICDCIT (2007)

Keyphrases

denotational semantics
operational semantics
web services
formal semantics
business processes
model theoretic
programming language
business process
mental states
agent programming
cooperative
relational databases
query language
activity diagrams