Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes.
Kais KlaiSamir TataJörg DeselPublished in: Data Knowl. Eng. (2011)
Keyphrases
- high level
- intermediate level
- hardware designs
- business process management
- information management
- workflow management systems
- information technology infrastructure
- information systems
- knowledge management
- model checking
- symbolic representation
- business environment
- reasoning processes
- bounded model checking
- database systems
- verification method