Skip to main content
SpringerLink
Log in

Business Process Flow Verification Using Knowledge Based System

  • Conference paper
Information and Software Technologies (ICIST 2013)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 403))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. Amzi!, http://www.amzi.com

  3. Cormen, T.H., Leiserson, C.H., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. MIT Press, Cambridge (2009)

    MATH  Google Scholar 

  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. Davis, R.: Business Process Modeling with ARIS. A Practical Guide. Springer-Verlag, New York, Inc. (2001)

    Google Scholar 

  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. Karami, N., Iijima, J.: A logical approach for implementing dynamic business rules. Contemporary Management Research 6, 29–52 (2010)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. Pranevicius, H., Miseviciene, R.: Verification of business process workflows. Technological and Economic Development of Economy 18(4), 623–635 (2012)

    Article  Google Scholar 

  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 fundamentals

    Google Scholar 

  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. Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Information Systems 25(2), 117–134 (2000)

    Article  Google Scholar 

  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. 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. Smaizys, A., Vasilecas, O.: Business rules based agile ERP systems development. Informatica 20(3), 439–460 (2009)

    MATH  Google Scholar 

  18. Weske, M.: Business Process Management Concepts, Languages, Architectures. Springer-Verlag New York, Inc. (2012)

    Google Scholar 

  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. 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 

Download references

Author information

Authors and Affiliations

  1. Faculty of Informatics, Kaunas University of Technology, Studentu 56-443, Kaunas, Lithuania

    Regina Miseviciene, Germanas Budnikas & Dalius Makackas

Authors
  1. Regina Miseviciene
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Germanas Budnikas
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Dalius Makackas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Kaunas University of Technology, Studentu g. 50-313a, 51368, Kaunas, Lithuania

    Tomas Skersys

  2. Centre of Information Systems Design Technologies, Kaunas University of Technology, Studentu st. 50-313a, 51368, Kaunas, Lithuania

    Rimantas Butleris

  3. Kaunas University of Technology, Studentu g. 50-309a, 51368, Kaunas, Lithuania

    Rita Butkiene

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Miseviciene, R., Budnikas, G., Makackas, D. (2013). Business Process Flow Verification Using Knowledge Based System. In: Skersys, T., Butleris, R., Butkiene, R. (eds) Information and Software Technologies. ICIST 2013. Communications in Computer and Information Science, vol 403. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41947-8_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-41947-8_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-41946-1

  • Online ISBN: 978-3-642-41947-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation