Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes.

Kais Klai Samir Tata Jörg Desel

Published in: BPM (2009)

Keyphrases

high level
intermediate level
model checking
information technology infrastructure
knowledge management
symbolic representation
business environment
hardware designs
database
information management
workflow management systems
databases
e government
human resources management