short-paper

Automated Sustainability Compliance Checking Using Process Mining and Formal Logic

Author:

Clemens SchreiberAuthors Info & Claims

ICT4S2020: Proceedings of the 7th International Conference on ICT for Sustainability

Pages 181 - 184

https://doi.org/10.1145/3401335.3401355

Published: 31 July 2020 Publication History

Get Access

Abstract

Business processes need to have certain constraints such that they can lead to sustainable outcomes. These constraints can be manifold and their adherence has to be monitored. In the past compliance checking has been applied in several business domains without considering certain sustainability aspects, such as multi-dimensionality and impact level. With my research I want to contribute to the application of compliance checking techniques for the purpose of sustainability compliance. In order to achieve this, I want to analyse and develop data-driven approaches, which allow to automate the task of compliance checking. The way in which this can be achieved, is be combining methods from process mining with formal languages that can express sustainability rules in a machine-readable manner. The main goal is to develop a compliance engine that can be adapted by ERP systems in order to evaluate sustainability conformance in business processes.

References

[1]

Graeme Auld, Christina Balboa, Steven Bernstein, and Benjamin Cashore, 2009. The emergence of non-state market-driven (NSDM) global environmental governance: a cross-sectoral assessment. Governance for the environment: New perspectives.

Google Scholar

[2]

Elham Ramezani, Dirk Fahland, and Will M. P. van der Aalst, 2012. Where did I misbehave? Diagnostic information in compliance checking. In International conference on business process management, 262--278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32885-5_21

Crossref

Google Scholar

[3]

Christoph Becker, Ruzanna Chitchyan, Leticia Duboc, Steve Easterbrook, Birgit Penzenstadler, Norbert Seyff, and Colin C. Venters, 2015. Sustainability design and software: the karlskrona manifesto. In 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, 467--476.

Crossref

Google Scholar

[4]

Jan Martijn E. M. van der Werf, H. M. W. Verbeek, and Will P. M. van Der Aalst, W. M., 2012. Context-aware compliance checking. In International Conference on Business Process Management, 98--113. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32885-5_7

Crossref

Google Scholar

[5]

Amal Elgammal, Oktay Turetken, Willem-Jan van den Heuvel, and Mike Papazoglou, 2010. On the formal specification of regulatory compliance: a comparative analysis. In International Conference on Service-Oriented Computing, 27--38. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19394-1_4

Crossref

Google Scholar

[6]

Riyanarto Sarno, Rahadian D. Dewandono, Tohari Ahmad, Mohammad F. Naufal, and Fernandes Sinaga, 2015. Hybrid Association Rule Learning and Process Mining for Fraud Detection. IAENG International Journal of Computer Science, 42(2).

Google Scholar

[7]

Frank Wijen, 2014. Means versus ends in opaque institutional fields: Trading off compliance and achievement in sustainability standard adoption. Academy of Management Review, 39(3), 302--323. https://doi.org/10.5465/amr.2012.0218.

Crossref

Google Scholar

[8]

Selim Larsch, Stefanie Betz, Leticia Duboc, Andréa M. Magdaleno, and Camilla Bomfim, 2016. Integrating sustainability aspects in business process management. In International Conference on Business Process Management, 403--415. Springer, Cham. https://doi.org/10.1007/978-3-319-58457-7_29

Crossref

Google Scholar

[9]

Alexander Nowak, Frank Leymann, Daniel Schleicher, David Schumm, and Sebastian Wagner, 2011. Green business process patterns. In Proceedings of the 18th conference on pattern languages of programs, 1--10. https://doi.org/10.1145/2578903.2579144

Digital Library

Google Scholar

[10]

Patrick Lübbecke, Peter Fettke, and Peter Loos, 2016. Sustainability patterns for the improvement of IT-related business processes with regard to ecological goals. In International Conference on Business Process Management, 428--439. Springer, Cham. https://doi.org/10.1007/978-3-319-58457-7_31

Crossref

Google Scholar

[11]

Will M. P. van der Aalst, Huub T. de Beer, and B. F. Dongen, 2005. Process mining and verification of properties: An approach based on temporal logic. In OTM Confederated International Conferences" On the Move to Meaningful Internet Systems", 130--147. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11575771_11

Crossref

Google Scholar

[12]

Ahmed Awad, Gero Decker, and Mathias Weske, 2008. Efficient compliance checking using BPMN-Q and temporal logic. In International Conference on Business Process Management, 326--341. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85758-7_24

Digital Library

Google Scholar

[13]

Elham Ramezani, Dirk Fahland, Jan M. van der Werf, and Pater Mattheis, 2011. Separating compliance management and business process management. In International Conference on Business Process Management, 459--464. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28115-0_43

Crossref

Google Scholar

[14]

Tom Butler, 2011. Compliance with institutional imperatives on environmental sustainability: Building theory on the role of Green IS. The Journal of Strategic Information Systems, 20(1), 6--26. https://doi.org/10.1016/j.jsis.2010.09.006

Digital Library

Google Scholar

Cited By

View all

Graves NKoren Ivan der Aalst W(2023)ReThink Your Processes! A Review of Process Mining for Sustainability2023 International Conference on ICT for Sustainability (ICT4S)10.1109/ICT4S58814.2023.00025(164-175)Online publication date: 5-Jun-2023
https://doi.org/10.1109/ICT4S58814.2023.00025
Besharati MIzadi M(2022)DD-KARB: data-driven compliance to quality by rule based benchmarkingJournal of Big Data10.1186/s40537-022-00654-89:1Online publication date: 1-Nov-2022
https://doi.org/10.1186/s40537-022-00654-8

Index Terms

Automated Sustainability Compliance Checking Using Process Mining and Formal Logic
1. Information systems
  1. Information systems applications
    1. Process control systems

Recommendations

Process Mining: Overview and Opportunities

Over the last decade, process mining emerged as a new research field that focuses on the analysis of processes using event data. Classical data mining techniques such as classification, clustering, regression, association rule learning, and sequence/...
Comprehensive rule-based compliance checking and risk management with process mining

Process mining researchers have primarily focused on developing and improving process discovery techniques, while attention for the applicability of process mining has been below par. As a result, there only exists a partial fit with the traditional ...
Diagnostic information for compliance checking of temporal compliance requirements
CAiSE'13: Proceedings of the 25th international conference on Advanced Information Systems Engineering

Compliance checking is gaining importance as today's organizations need to show that operational processes are executed in a controlled manner while satisfying predefined (legal) requirements or service level agreements. Deviations may be costly and ...

Comments

Information & Contributors

Information

Published In

ICT4S2020: Proceedings of the 7th International Conference on ICT for Sustainability

June 2020

349 pages

ISBN:9781450375955

DOI:10.1145/3401335

Conference Chairs:
Ruzanna Chitchyan,
Daniel Schien,
Program Chairs:
Ana Moreira,
Benoit Combemale

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

Univ of the West of England: University of the West of England
The University of Bristol: The University of Bristol

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 31 July 2020

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Short-paper
Research
Refereed limited

Conference

ICT4S2020

ICT4S2020: 7th International Conference on ICT for Sustainability

June 21 - 26, 2020

Bristol, United Kingdom

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
207
Total Downloads

Downloads (Last 12 months)52
Downloads (Last 6 weeks)1

Reflects downloads up to 15 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Graves NKoren Ivan der Aalst W(2023)ReThink Your Processes! A Review of Process Mining for Sustainability2023 International Conference on ICT for Sustainability (ICT4S)10.1109/ICT4S58814.2023.00025(164-175)Online publication date: 5-Jun-2023
https://doi.org/10.1109/ICT4S58814.2023.00025
Besharati MIzadi M(2022)DD-KARB: data-driven compliance to quality by rule based benchmarkingJournal of Big Data10.1186/s40537-022-00654-89:1Online publication date: 1-Nov-2022
https://doi.org/10.1186/s40537-022-00654-8

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Process Mining: Overview and Opportunities

Comprehensive rule-based compliance checking and risk management with process mining

Diagnostic information for compliance checking of temporal compliance requirements