Workflow temporal verification for monitoring parallel business processes.
Xiao LiuDingxian WangDong YuanFutian WangYun YangPublished in: J. Softw. Evol. Process. (2016)
Keyphrases
- business processes
- business process
- workflow management systems
- workflow systems
- process execution
- temporal constraints
- web services
- workflow management
- workflow model
- process model
- workflow processes
- temporal information
- business process models
- inter organizational
- business environment
- business applications
- business rules
- data centric
- business process management
- temporal reasoning
- business process modeling
- process management
- cross organizational
- process mining
- business objectives
- ws bpel
- business partners
- competitive advantage
- model checking
- service oriented architecture
- workflow execution
- information technology
- case study