Linking denotational semantics with operational semantics for web services.

Huibiao Zhu Jifeng He Jing Li Geguang Pu Jonathan P. Bowen

Published in: Innov. Syst. Softw. Eng. (2010)

Keyphrases

denotational semantics
operational semantics
web services
formal semantics
model theoretic
business processes
programming language
mental states
data model
business process
databases
logic programs
black box
speech acts
activity diagrams