Business Process Flow Verification Using Knowledge Based System.
Regina MisevicieneGermanas BudnikasDalius MakackasPublished in: ICIST (2013)
Keyphrases
- knowledge based systems
- business process
- business processes
- formal methods
- knowledge acquisition
- expert systems
- knowledge base
- web services
- artificial intelligence
- ws bpel
- model checking
- workflow model
- information flow
- service oriented architecture
- business process modeling
- business rules
- process model
- business process models
- production rules
- inference engine
- process mining
- business process management
- case study
- virtual organization
- knowledge representation
- knowledge structures
- knowledge representation scheme
- deep knowledge
- workflow management systems
- knowledge sources
- proceedings of the th international conference