Login / Signup
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