Business Process Flow Verification Using Knowledge Based System
| Autor: | Dalius Makackas, Regina Miseviciene, Germanas Budnikas |
|---|---|
| Rok vydání: | 2013 |
| Předmět: |
Functional verification
Artifact-centric business process model Business process business.industry Programming language Computer science Business process modeling computer.software_genre Intelligent verification Business Process Model and Notation Business process management Systems engineering business computer Software verification |
| Zdroj: | Communications in Computer and Information Science ISBN: 9783642419461 ICIST |
| DOI: | 10.1007/978-3-642-41947-8_8 |
| Popis: | Analysis of business process flows presented in this paper constitutes three main activities: representation of business flows by AND/OR graphs, their transformation to Prolog clauses and verification in Prolog environment using created knowledge based system where deadlock and endless loop properties are defined. An ordering process verification example is used for illustration of the approach proposed. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|