Workflow Charts and Their Semantics Using Abstract State Machines.

Theodorich Kopetzky Verena Geist

Published in: EMISA (2012)

Keyphrases

control flow
formal semantics
web services
logic programming
neural network
data management
programming language
data sets
domain knowledge
high level
semantic information
first order logic
learning algorithm
semantic representation
speech acts
workflow systems
logical language