Login / Signup
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support.
Flavio Corradini
Chiara Muzi
Barbara Re
Lorenzo Rossi
Francesco Tiezzi
Published in:
BPM (2018)
Keyphrases
</>
formal semantics
tool support
modeling language
software tools
logical reasoning
software development
design decisions
operational semantics
formal language
logical language
first order logic
information technology
business process
modelling language