Skip to main content
SpringerLink
Log in
Book cover

Progress in Intelligent Computing Techniques: Theory, Practice, and Applications pp 345–356Cite as

A Framework for Goal Compliance of Business Process Model

  • Conference paper
  • First Online:

  • 1022 Accesses

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 719))

Abstract

In this paper, we propose a framework toward formal representation and validation of goal compliance for a business process model. All the tasks, postconditions, constraints, and goals are captured using first-order logic (FOL). We have used theorem prover (Prover9) for goal entailment. An experimental validation for goal compliance is presented considering a use case on health care domain. We start with an exhaustive solution space of all possible business process models for all possible activities on a particular domain and derive a reduced solution space of goal complied process models.

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

References

  1. Alotaibi, Y., Liu, F.: Business process modelling towards derive and implement it goals. In: Industrial Electronics and Applications (ICIEA), pp. 1739–1744. IEEE (2013)

    Google Scholar 

  2. Awad, A., Goré, R., Thomson, J., Weidlich, M.: An Iterative Approach for Business Process Template Synthesis from Compliance Rules. In: 23rd International Conference Advanced Information Systems Engineering, CAiSE 2011, pp. 406–421. Springer (2011)

    Google Scholar 

  3. Combi, C., Gambini, M., Migliorini, S., Posenato, R.: Representing business processes through a temporal data-centric workflow modeling language: An application to the management of clinical pathways. IEEE Transactions on Systems, Man, and Cybernetics: Systems 44(9), 1182–1203 (2014)

    Article  Google Scholar 

  4. Deb, D., Chaki, N., Ghose, A.: Business process generation by leveraging complete search over a space of activities and process goals. In: Proceedings of the 5th International Conference on Cloud Computing and Services Science (CLOSER 2015), pp. 233–240. ScitePress (2015)

    Google Scholar 

  5. Gao, J., Chen, W., Wang, Y., Zhao, D., Li, W., Bo, Z.: Verification of business process constraints based on xyz/z. In: International Conference on Information Technology and Applications (ITA), pp. 479–482. IEEE (2013)

    Google Scholar 

  6. Ghose, A., Koliadis, G.: Auditing Business Process Compliance. In: Fifth International Conference Service-Oriented Computing - ICSOC 2007, pp. 169–180. Springer (2007)

    Google Scholar 

  7. Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC’06), pp. 221–232 (2006)

    Google Scholar 

  8. Hinge, K., Ghose, A., Koliadis, G.: Process seer: A tool for semantic effect annotation of business process models. In: Enterprise Distributed Object Computing Conference, 2009. EDOC’09. IEEE International, pp. 54–63. IEEE (2009)

    Google Scholar 

  9. Indian public health standards, http://nrhm.gov.in (2012)

  10. Koubarakis, M., Plexousakis, D.: A formal framework for business process modelling and design. Information Systems 27(5), 299–319 (2002)

    Article  MATH  Google Scholar 

  11. Limam Mansar, S., Reijers, H.A., Ounnar, F.: Development of a decision-making strategy to improve the efficiency of bpr. Expert Systems with Applications 36(2),3248–3262 (2009)

    Article  Google Scholar 

  12. Malesevic, A., Brdjanin D., Maric, S.: Tool for automatic layout of business process model represented by uml activity diagram. In: IEEE EUROCON, pp. 537–542. IEEE (2013)

    Google Scholar 

  13. Natalia, C., Alexandru M., Mihai, S., Stefan, S., Munteanu, C.: Medical services modelling based on business process model framework. In: IEEE E-Health and Bioengineering Conference (EHB), pp. 1–4. IEEE (2013)

    Google Scholar 

  14. Reijers, H.A., Liman Mansar, S.: Best practices in business process redesign: an overview and qualitative evaluation of successful redesign heuristics. Omega 33(4), 283–306 (2005)

    Article  Google Scholar 

  15. Yu, W., Yan, C., Ding, Z., Jiang, C., Zhou, M.: Modeling and validating e-commerce business process based on petri nets. IEEE Transactions on Systems, Man and Cybernetics: Systems 44(3), 327–341 (2014)

    Article  Google Scholar 

  16. Zhang, Y., Perry, D.: A goal-directed modeling technique towards business process. In: IEEE 8th International Symposium on Service Oriented System Engineering (SOSE), pp. 110–121. IEEE (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, University of Calcutta, Kolkata, India

    Dipankar Deb & Nabendu Chaki

Authors
  1. Dipankar Deb
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nabendu Chaki
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Dipankar Deb .

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, National Institute of Technology, Rourkela, Odisha, India

    Pankaj Kumar Sa

  2. Department of Computer Science and Engineering, National Institute of Technology, Rourkela, Odisha, India

    Manmath Narayan Sahoo

  3. School of Mechatronic Engineering, Universiti Malaysia Perlis (UniMAP), Arau, Perlis, Malaysia

    M. Murugappan

  4. The University of Exeter, Exeter, Devon, United Kingdom

    Yulei Wu

  5. Department of Computer Science and Engineering, National Institute of Technology, Rourkela, Odisha, India

    Banshidhar Majhi

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Singapore Pte Ltd.

About this paper

Cite this paper

Deb, D., Chaki, N. (2018). A Framework for Goal Compliance of Business Process Model. In: Sa, P., Sahoo, M., Murugappan, M., Wu, Y., Majhi, B. (eds) Progress in Intelligent Computing Techniques: Theory, Practice, and Applications. Advances in Intelligent Systems and Computing, vol 719. Springer, Singapore. https://doi.org/10.1007/978-981-10-3376-6_38

Download citation

  • DOI: https://doi.org/10.1007/978-981-10-3376-6_38

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-10-3375-9

  • Online ISBN: 978-981-10-3376-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation