Limitations of Choreography Specifications with BPMN.

Albert Fleischmann

Published in: S-BPM ONE (2020)

Keyphrases

business process
business processes
business process models
process model
service oriented architecture
model driven
business process modeling
formal specification
information retrieval
case study
high level
programming language
data structure
lightweight
finite state machines
delay insensitive