Automated deduction of cross-organizational collaborative business processes.
Aurélie MontarnalWenxin MuFrédérick BénabenJacques LamotheMatthieu LaurasNicolas SalatgéPublished in: Inf. Sci. (2018)
Keyphrases
- business processes
- cross organizational
- automated deduction
- business process
- theorem proving
- workflow management
- web services
- theorem prover
- inference rules
- business applications
- security management
- conflict resolution
- crisis management
- process model
- service oriented
- inter organizational
- workflow management systems
- business rules
- database
- virtual enterprise
- artificial intelligence
- decision making
- knowledge intensive