Business Process Flow Verification Using Knowledge Based System

  • Regina Miseviciene
  • Germanas Budnikas
  • Dalius Makackas
Part of the Communications in Computer and Information Science book series (CCIS, volume 403)


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.


verification business process AND/OR graphs Prolog 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aalst, W.: Trends in business process analysis: From verification to process mining. In: Cardoso, J., Cordeiro, J., Filipe, J. (eds.) Proceedings of the 9th International Conference on Enterprise Information Systems (ICEIS 2007), pp. 12–22. Institute for Systems and Technologies of Information, Control and Communication, INSTICC, Medeira (2007)Google Scholar
  2. 2.
  3. 3.
    Cormen, T.H., Leiserson, C.H., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. MIT Press, Cambridge (2009)zbMATHGoogle Scholar
  4. 4.
    Corradini, F., Polzonetti, A., Re, B., Falcioni, D.: An ECLIPSE Plug-in for Formal Verification of BPMN Processes. In: Proceedings of the Third International Conference on Communication Theory, Reliability, and Quality of Service, pp. 144–149 (2010)Google Scholar
  5. 5.
    Davis, R.: Business Process Modeling with ARIS. A Practical Guide. Springer-Verlag, New York, Inc. (2001)Google Scholar
  6. 6.
    Jakstonyte, G., Boguslauskas, V.: Graphic model regulating the application of land site taxation deductions. Engineering Economics 21(3), 238–243 (2010)Google Scholar
  7. 7.
    Karami, N., Iijima, J.: A logical approach for implementing dynamic business rules. Contemporary Management Research 6, 29–52 (2010)Google Scholar
  8. 8.
    Lohmann, N., Verbeek, E., Dijkman, R.: Petri Net Transformations for Business Processes – A Survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 46–63. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  9. 9.
    Polyvyanyy, A., Weske, M.: Hypergraph-Based Modeling of Ad-Hoc Business Processes. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008 Workshops. LNBIP, vol. 17, pp. 278–289. Springer, Heidelberg (2009)Google Scholar
  10. 10.
    Pranevicius, H., Miseviciene, R.: Verification of business rules using logic programming means. In: Proceedings of the International Conference Modeling of Business, Industrial and Transport Systems, pp. 99–106. Transport and Telecommunication Institute, Riga (2008)Google Scholar
  11. 11.
    Pranevicius, H., Miseviciene, R.: Verification of business process workflows. Technological and Economic Development of Economy 18(4), 623–635 (2012)CrossRefGoogle Scholar
  12. 12.
    Rima, A., Vasilecas, O., Smaizys, A.: Comparative analysis of business rules and business process modeling languages. Computational Science and Technologies 1(1), 52–60 (2013), Special issue for research innovations fundamentalsGoogle Scholar
  13. 13.
    Russell, N., Wil, M.P., Hofstede, A., Wohed, P.: On the suitability of UML 2.0 activity diagrams for business process modeling. In: Proceeding APCCM 2006 Proceedings of the 3rd Asia-Pacific Conference on Conceptual Modeling, vol. 53, pp. 95–104. Australian Computer Society, Inc. (2006)Google Scholar
  14. 14.
    Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Information Systems 25(2), 117–134 (2000)CrossRefGoogle Scholar
  15. 15.
    Sadiq, S., Orlowska, M., Sadiq, W., Foulger, C.: Data flow and validation in workflow modelling. In: ADC 2004 Dunedin, Conferences in Research and Practice in Information Technology, vol. 27, pp. 1–8 (2004)Google Scholar
  16. 16.
    Schumm, D., Karastoyanova, D., Leymann, F., Nitzsche, J.: On Visualizing and Modelling BPEL with BPMN. In: Grid and Pervasive Computing Conference, GPC 2009, pp. 80–87 (2009)Google Scholar
  17. 17.
    Smaizys, A., Vasilecas, O.: Business rules based agile ERP systems development. Informatica 20(3), 439–460 (2009)zbMATHGoogle Scholar
  18. 18.
    Weske, M.: Business Process Management Concepts, Languages, Architectures. Springer-Verlag New York, Inc. (2012)Google Scholar
  19. 19.
    WFMC. Workflow Management Coalition Workflow Standard: Workflow Process Definition Interface – XML Process Definition Language (XPDL) (WFMC-TC-1025). Technical report, Workflow Management Coalition, Lighthouse Point, Florida, USA (2002)Google Scholar
  20. 20.
    Ye, J., Sun, S., Song, W., Wen, L.: Formal semantics of BPMN process models using YAWL. In: Second International Symposium on Intelligent Information Technology Application, pp. 70–74. IEEE (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Regina Miseviciene
    • 1
  • Germanas Budnikas
    • 1
  • Dalius Makackas
    • 1
  1. 1.Faculty of InformaticsKaunas University of TechnologyKaunasLithuania

Personalised recommendations