Message Assertions and Predicate-Based Control-Flow Unfolding Revisited.

Thomas S. Heinze Wolfram Amme Simon Moser

Published in: ZEUS (2014)

Keyphrases

control flow
data flow
software testing
email
process model
workflow management systems
petri net
knowledge base
first order logic
transition systems
program chairs
reactive systems
decision trees
business process
software systems
formal semantics
e learning
decision making
real world
business process models
database