Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude.

Peng Liu Huibiao Zhu Shengchao Qin Phillip J. Brooke Xi Wu

Published in: ICECCS (2013)

Keyphrases

operational semantics
web services
formal semantics
model theoretic
denotational semantics
declarative semantics
mental states
data model
multi agent
agent communication language
business process
speech acts
agent programming
activity diagrams
cooperative
object oriented
business processes
database