Formal Analysis of BPMN Via a Translation into COWS.

Davide Prandi Paola Quaglia Nicola Zannone

Published in: COORDINATION (2008)

Keyphrases

formal analysis
business processes
business process
business process models
formal methods
machine translation
model driven
process model
agent model
ban logic
cross language information retrieval
databases
case study
database systems
business process modeling