Well-formed control flow for critical sections in RTFM-core.

Per Lindgren Marcus Lindner Andreas Lindner David Pereira Luís Miguel Pinho

Published in: INDIN (2015)

Keyphrases

control flow
data flow
software testing
transition systems
process model
workflow management systems
information systems
database
case study
multi agent systems
information technology
training set
automatically generated
formal semantics
business process models