Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes.
Saoussen CheikhrouhouSlim KallelNawal GuermoucheMohamed JmaielPublished in: IEEE SCC (2014)
Keyphrases
- formal specification
- temporal constraints
- business processes
- model checking
- workflow systems
- concurrent systems
- business process
- formal methods
- temporal reasoning
- model checker
- business rules
- protocol specification
- temporal logic
- formal verification
- temporal information
- workflow processes
- specification language
- web services
- workflow management systems
- reverse engineering
- business process management
- workflow management
- process model
- constraint satisfaction problems
- asynchronous circuits
- service oriented architecture
- object oriented
- data model
- database systems
- knowledge base