An incidence matrix-based verification method for business process model in inter-domain network management system.
Wen YangYuehui JinTan YangPublished in: ICCT (2013)
Keyphrases
- process model
- inter domain
- verification method
- business process
- business processes
- business process models
- model checking
- process mining
- temporal logic
- autonomous systems
- business rules
- business process management
- network management
- mobile ip
- decision making
- workflow management systems
- web services
- event logs
- petri net
- case study
- qos aware
- virtual organization
- databases
- real world