WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition.

Petros Papapanagiotou Jacques D. Fleuriot

Published in: CADE (2017)

Keyphrases

main contribution
process model
formal specification
lightweight
theoretical framework
conceptual model
specification languages
decision making
formal model
formal methods