Overview of Time Issues with Temporal Logics for Business Process Models.
Krzysztof KluzaKrystian JobczykPiotr WisniewskiAntoni LigezaPublished in: FedCSIS (2016)
Keyphrases
- temporal logic
- business process models
- model checking
- business process
- mazurkiewicz traces
- business processes
- modal logic
- satisfiability problem
- process model
- verification method
- reactive systems
- model checker
- temporal knowledge
- control flow
- linear temporal logic
- concurrent systems
- predicate logic
- real world
- belief revision
- transition systems
- test set
- object oriented