Towards trace semantics for WS-CDL with alignments.

Yahui Lu Li Zhang Jiaguang Sun

Published in: SAC (2008)

Keyphrases

process algebra
formal semantics
concurrent systems
semantic representation
neural network
pairwise
object oriented
web services composition
data sets
information systems
knowledge base
formal specification
operational semantics
transformation rules
multiple sequence alignment