COFIE: a regex-like interaction and control flow description.

Leandro Batista Ribeiro Marcel Baunach

Published in: ICPS (2019)

Keyphrases

control flow
data flow
software testing
process model
human computer interaction
high level
memory hierarchy
business process models
workflow management systems
formal semantics
reactive systems
transition systems
database
machine learning
modeling language