Specification and Construction of Control Flow Semantics.

Ruben Smelik Arend Rensink Harmen Kastenberg

Published in: VL/HCC (2006)

Keyphrases

control flow
data flow
transition systems
active rules
reactive systems
formal semantics
software testing
process model
business process models
workflow management systems
modeling language
high level
artificial intelligence
database
specification language
test cases
formal language