An approach to construct formal model of business process model from BPMN workflow patterns.
Saran YamasathienWiwat VatanawoodPublished in: DICTAP (2014)
Keyphrases
- formal model
- process model
- business process
- business processes
- business process models
- formal models
- design patterns
- security patterns
- process mining
- business process management
- workflow management systems
- business process modeling
- control flow
- workflow systems
- workflow technology
- web services
- security properties
- dynamic behaviors
- business rules
- event logs
- petri net
- workflow management
- business applications
- data mining techniques
- case study
- pattern discovery
- software process
- frequent patterns
- information systems
- data mining