Formal semantics analysis of data flow and control flow for web composition transactions.

Yonglin Wang Yiyan Fan Aijun Jiang

Published in: ICIS (2010)

Keyphrases

data flow
control flow
formal semantics
database machine
object oriented software
modeling language
systolic array
database
business process models
process model
semantic web
object oriented
database systems
logical reasoning
logical language
high level
databases