Login / Signup
Using Formal Analysis Techniques in Business Process Redesign.
Kees M. van Hee
Hajo A. Reijers
Published in:
Business Process Management (2000)
Keyphrases
</>
business process
formal analysis
business processes
process model
formal methods
business process modeling
web services
workflow model
ban logic
ws bpel
business process models
case study
process mining
business rules
workflow technology
agent model
virtual organization
workflow management systems