Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification.
Bing LiJunichi IijimaPublished in: MSVVEIS (2007)
Keyphrases
- business process
- situation calculus
- business processes
- action theories
- initial state
- event calculus
- model checking
- reasoning about actions
- provably correct
- process model
- business rules
- ws bpel
- business process models
- modal logic
- concurrent actions
- workflow model
- fluent calculus
- case study
- business process modeling
- logical language
- web services
- business process management
- indirect effects
- sensing actions
- formal methods
- formal specification
- artificial intelligence
- real world