Skip to main content
SpringerLink
Log in
Book cover

Information System Development pp 269–282Cite as

Data-Aware Conformance Checking for Declarative Business Process Models

  • Conference paper
  • First Online:

Abstract

Since the accurate management of business processes is receiving increasing attention, conformance checking, i.e., verifying whether the observed behaviour matches a modelled behaviour, is becoming more and more critical. Moreover, declarative languages are more frequently used to provide an increased flexibility. However, little work has been conducted to deal with conformance checking of declarative models. Furthermore, only control-flow perspective is usually considered although other perspectives (e.g., data) are crucial. In addition, most approaches exclusively check the conformance without providing any diagnostics. To enhance the accurate management of flexible business processes, this work presents a constraint-based approach for conformance checking over declarative models (including control-flow and data perspectives) and for providing related diagnosis.

This is a preview of subscription content, 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   169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   219.99
Price excludes VAT (USA)
  • Durable hardcover 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

Learn about institutional subscriptions

Notes

  1. 1.

    Note that conformance checking is one of the three main application scenarios of process mining.

  2. 2.

    In a similar way, [11] deals with modelling data in ConDec.

  3. 3.

    This model is an adaptation of the model presented in [12].

  4. 4.

    For the sake of clarity, only completed events for activity executions are included in the trace representation.

  5. 5.

    Note that the CSP variables st and et allows dealing with non-atomic activities.

  6. 6.

    All the instances which are generated for the empirical evaluation can be accessed at http://www.lsi.us.es/-quivir/index.php/Main/Downloads.

References

  1. Weske M (2007) Business process management: concepts, languages, architectures. Springer, Berlin

    Google Scholar 

  2. Rozinat A, van der Aalst WMP (2008) Conformance checking of processes based on monitoring real behavior. Inform Syst 33(1):64–95

    Article  Google Scholar 

  3. De Leoni M, Maggi F, van der Aalst WMP (2012) Aligning event logs and declarative process models for conformance checking. In: BPM 2012. LNCS, vol 7481. pp 82–97

    Google Scholar 

  4. Reichert M, Weber B (2012) Enabling flexibility in process-aware information systems. Springer, Berlin

    Book  MATH  Google Scholar 

  5. van der Aalst W, Pesic M, Schonenberg H (2009) Declarative workflows: balancing between flexibility and support. Comput Sci Res Dev 23(2):99–113

    Article  Google Scholar 

  6. Pesic M, van der Aalst WMP (2006) A declarative approach for flexible business processes management. In: Proceedings of BPM workshops. pp 169–180

    Google Scholar 

  7. Burattin A, Maggi F, van der Aalst W, Sperduti A (2012) Techniques for a posteriori analysis of declarative processes. In: EDOC 2012. pp 41–50

    Google Scholar 

  8. Weber B, Sadiq SW, Reichert M (2009) Beyond rigidity – dynamic process lifecycle support. Comput Sci Res Dev 23(2):47–65

    Article  Google Scholar 

  9. Grando MA, van der Aalst WMP, Mans RS (2012) Reusing a declarative specification to check the conformance of different CIGs. In: BPM 2011 workshops, Part II. LNBIP, vol 100. pp 188–199

    Google Scholar 

  10. Montali M, Pesic M, van der Aalst WMP, Chesani F, Mello P, Storari S (2010) Declarative specification and verification of service choreographies. ACM Trans Web 4(1):art. no. 3

    Google Scholar 

  11. Montali M (2009) Specification and verification of declarative open interaction models–a logic- based framework. PhD Thesis, University of Bologna

    Google Scholar 

  12. Barba I, Weber B, Del Valle C, Jiménez-Ramirez A (2013) User recommendations for the optimized execution of business processes. Data Knowl Eng 86:61–84

    Article  Google Scholar 

  13. Rossi F, van Beek P, Walsh T (eds) (2006) Handbook of constraint programming. Elsevier Science Inc., New York, NY, USA

    Google Scholar 

  14. Barba I, Del Valle C (2013) Filtering rules for ConDec templates – pseudocode and complexity. http://regula.lsi.us.es/MOPlanner/FilteringRules.pdf

  15. de Kleer J, Kurien J (2003) Fundamentals of model-based diagnosis. Safeprocess 3:25–36

    Google Scholar 

  16. Borrego D, Gasca RM, Gomez-Lopez MT, Parody L (2010) Contract-based diagnosis for business process instances using business compliance rules. In: Proceedings of the 21st international workshop on principles of diagnosis (DX-10). pp 169–176

    Google Scholar 

  17. Kumar V (1992) Algorithms for constraint satisfaction problems: a survey. AI Magazine 13(1): 32–44

    Google Scholar 

  18. Van Hentenryck P (1989) Constraint satisfaction in logic programming. MIT Press, Cambridge, MA

    Google Scholar 

  19. Barba I, Del Valle C, Weber B, Jiménez-Ramirez A (2013) Automatic generation of optimized business process models from constraint-based specifications. Int J Cooper Inform Syst 22

    Google Scholar 

  20. Dynadec. Comet Downloads (2010) http://dynadec.com/support/downloads/ [Online; accessed 13 Mar 2013]

Download references

Author information

Authors and Affiliations

  1. Departamento Lenguajes y Sistemas Informáticos, Universidad de Sevilla, Sevilla, Spain

    Diana Borrego & Irene Barba

  2. Departamento Tecnologías de la Información, Universidad de Huelva, Huelva, Spain

    Pedro Abad

Authors
  1. Diana Borrego
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Irene Barba
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pedro Abad
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Diana Borrego .

Editor information

Editors and Affiliations

  1. Dept of Computer Languages and Systems, University of Seville, Seville, Spain

    María José Escalona

  2. IWT2 Research Group FIDETIA, University of Seville, Seville, Spain

    Gustavo Aragón

  3. Monash University, Caaulfield East, Victoria, Australia

    Henry Linger

  4. National University of Ireland, Galway, Ireland

    Michael Lang

  5. National University of Ireland, Galway, Ireland

    Chris Barry

  6. City University of Hong Kong, Kowloon, Hong Kong SAR

    Christoph Schneider

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Borrego, D., Barba, I., Abad, P. (2014). Data-Aware Conformance Checking for Declarative Business Process Models. In: José Escalona, M., Aragón, G., Linger, H., Lang, M., Barry, C., Schneider, C. (eds) Information System Development. Springer, Cham. https://doi.org/10.1007/978-3-319-07215-9_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-07215-9_22

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-07214-2

  • Online ISBN: 978-3-319-07215-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation