Relaxed Soundness Verification for Interorganizational Workflow Processes.

Lígia Maria Soares Passos Stéphane Julia

Published in: ICEIS (3) (2015)

Keyphrases

workflow processes
grid workflow
business processes
business process
workflow management systems
temporal constraints
information integration
model checking
optimal solution
information technology
web services
dynamically changing
control flow
process model
query processing
mobile devices
formal methods