Vérification formelle des processus workflow. Extension aux workflows inter-organisationnels.
Zohra SbaïKamel BarkaouiPublished in: Ingénierie des Systèmes d Inf. (2013)
Keyphrases
- workflow management systems
- workflow systems
- scientific workflows
- workflow management
- workflow execution
- business processes
- workflow model
- web services
- workflow engine
- business process
- control flow
- data processing
- workflow models
- cross organizational
- exception handling
- data flow
- petri net
- expert systems
- inter organizational workflow
- document management
- manufacturing enterprises
- database
- conflict resolution
- data management
- supply chain
- relational databases
- database systems
- website
- artificial intelligence
- information retrieval
- machine learning
- databases