Login / Signup
Automatic Compositional Verification of Business Processes.
Luis E. Mendoza Morales
Manuel I. Capel
Published in:
ICEIS (2009)
Keyphrases
</>
business processes
business process
process model
web services
business environment
business partners
process mining
service oriented architecture
business applications
business rules
workflow systems
workflow management systems
case study
business objectives
process management
inter organizational
competitive advantage
model checking
business process management
data management
workflow management
organizational structure
business process modeling
business activities
business process models
ws bpel