Login / Signup
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