Proposal of Formal Verification of Selected BPMN Models with Alvis Modeling Language.

Marcin Szpyrka Grzegorz J. Nalepa Antoni Ligeza Krzysztof Kluza

Published in: IDC (2011)

Keyphrases

modeling language
metamodel
formal verification
model driven
model checking
databases
development process
formal semantics
business process models
bounded model checking
database
real world
business processes
design rationale
constraint language
automated verification