From BPMN2 to Event B: A Specification and Verification Approach of Workflow Applications.
Ahlem Ben YounesYousra Bendaly HlaouiLeila Ben AyedMayssa BessifiPublished in: COMPSAC (2) (2019)
Keyphrases
- business process
- business processes
- workflow model
- formal verification
- process model
- event logs
- business process models
- business process modeling
- asynchronous circuits
- workflow management systems
- control flow
- business rules
- workflow systems
- process mining
- formal methods
- event detection
- protocol specification
- model checking
- workflow specification
- bpel ws
- business process management
- active database management systems
- model driven
- process execution
- workflow management
- web services
- workflow processes
- exception handling
- specification language
- high level
- document management
- workflow technology
- information systems
- event driven
- colored petri nets
- formal specification
- face verification
- database systems
- verification method
- modeling language
- workflow engine
- event condition action
- formal language
- scientific workflows
- virtual organization
- event recognition