control flow abstraction.

Rainer Findenig Thomas Leitner Michael Velten Wolfgang Ecker

Published in: HLDVT (2010)

Keyphrases

control flow
data flow
software testing
process model
high level
business process models
transition systems
workflow management systems
reactive systems
formal semantics
artificial intelligence
expert systems
test cases
petri net
modeling language