research-article

Towards data-aware constraints in declare

Authors:

Federico Chesani,

Fabrizio M. MaggiAuthors Info & Claims

SAC '13: Proceedings of the 28th Annual ACM Symposium on Applied Computing

Pages 1391 - 1396

https://doi.org/10.1145/2480362.2480624

Published: 18 March 2013 Publication History

Abstract

In recent years, declarative, constraint-based approaches have been proposed to model loosely-structured business processes, mediating between support and flexibility. A notable example is the Declare framework, equipped with a graphical declarative language whose semantics can be characterized with several logic-based formalisms. Up to now, Declare constraints have been mainly used to tackle control-flow aspects, abstracting away from data. In this work, we extend Declare so as to include task data and data-aware constraints. We show how the Event Calculus (EC) formalization of Declare can be improved to deal with such extensions, and to apply a reactive EC reasoner for monitoring data-aware constraints.

References

[1]

A. Awad, M. Weidlich, and M. Weske. Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. In Proc. of ICSOC, 2009.

Digital Library

[2]

S. Bragaglia, F. Chesani, P. Mello, M. Montali, and P. Torroni. Reactive event calculus for monitoring global computing applications. In Logic Programs, Norms and Action. Springer, 2012.

Digital Library

[3]

L. Chittaro and A. Montanari. Efficient temporal reasoning in the cached event calculus. Computational Intelligence, 1996.

[4]

R. A. Kowalski and M. J. Sergot. A Logic-Based Calculus of Events. New Generation Computing, 1986.

Digital Library

[5]

L. T. Ly, S. Rinderle-Ma, D. Knuplesch, and P. Dadam. Monitoring business process compliance using compliance rule graphs. In OTM Conferences (1), pages 82--99, 2011.

Digital Library

[6]

L. T. Ly, S. Rinderle-Ma, D. Knuplesch, and P. Dadam. Monitoring business process compliance using compliance rule graphs. In On the Move to Meaningful Internet Systems. Springer, 2011.

Digital Library

[7]

F. M. Maggi, M. Montali, and W. M. P. van der Aalst. An operational decision support framework for monitoring business constraints. In Proc. of FASE. Springer, 2012.

Digital Library

[8]

F. M. Maggi, A. J. Mooij, and W. M. P. van der Aalst. Analyzing Vessel Behavior using Process Mining, chapter Poseidon book. 2012.

[9]

M. Montali. Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach, volume 56 of LNBIP. Springer, 2010.

[10]

M. Montali, W. M. P. M. Pesic van der Aalst, F. Chesani, P. Mello, and S. Storari. Declarative Specification and Verification of Service Choreographies. ACM Transactions on the Web, 2010.

Digital Library

[11]

M. Montali, F. M. Maggi, F. Chesani, P. Mello, and W. M. P. van der Aalst. Monitoring Business Constraints with the Event Calculus. ACM Transactions on Intelligent Systems and Technology, To appear.

[12]

M. Pesic. Constraint-Based Workflow Management Systems: Shifting Controls to Users. PhD thesis, Beta Research School for Operations Management and Logistics, 2008.

[13]

M. Pesic, H. Schonenberg, and W. M. P. van der Aalst. Declare: Full support for loosely-structured processes. In Proc. of EDOC. IEEE Computer Society, 2007.

Digital Library

[14]

M. Pesic and W. M. P. van der Aalst. A Declarative Approach for Flexible Business Processes Management. In Proc. of BPM Workshops, LNCS. Springer, 2006.

Digital Library

[15]

N. Russell, A. H. M. ter Hofstede, D. Edmond, and W. M. P. van der Aalst. Workflow data patterns: Identification, representation and tool support. In Proc. of ER. Springer, 2005.

Digital Library

[16]

S. Schulte, D. Schuller, R. Steinmetz, and S. Abels. Plug-and-play virtual factories. IEEE Internet Computing, 16(5):78--82, 2012.

Digital Library

[17]

M. Shanahan. The Event Calculus Explained. In Artificial Intelligence Today: Recent Trends and Developments. 1999.

Digital Library

[18]

R. Vaculín, R. Hull, T. Heath, C. Cochran, A. Nigam, and P. Sukaviriya. Declarative business artifact centric modeling of decision and knowledge intensive business processes. In Proc. of EDOC, 2011.

Digital Library

[19]

B. Weber, H. A. Reijers, S. Zugal, and W. Wild. The declarative approach to business process execution: An empirical test. In Proc. of CAISE. Springer, 2009.

Digital Library

[20]

M. Weske. Business Process Management: Concepts, Languages, Architectures. Springer, 2007.

Digital Library

[21]

M. Westergaard and F. M. Maggi. Looking into the future: Using timed automata to provide a priori advice about timed declarative process models. In Proc. of COOPIS. Springer, 2012.

Cited By

Hashmi M(2022)On Modelling Process Aspects With Deontic Event-CalculusInternational Journal of Service Science, Management, Engineering, and Technology10.4018/IJSSMET.29749813:1(1-19)Online publication date: 1-Jan-2022
https://doi.org/10.4018/IJSSMET.297498
Xiu BLi GLi Y(2022)Discovery of Object-Centric Behavioral Constraint Models With NoiseIEEE Access10.1109/ACCESS.2022.319934510(88769-88786)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3199345
Hildebrandt TNormann HMarquard MDebois SSlaats T(2022)Decision Modelling in Timed Dynamic Condition Response Graphs with DataBusiness Process Management Workshops10.1007/978-3-030-94343-1_28(362-374)Online publication date: 23-Jan-2022
https://doi.org/10.1007/978-3-030-94343-1_28
Show More Cited By

Recommendations

Monitoring business constraints with the event calculus
Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining

Today, large business processes are composed of smaller, autonomous, interconnected subsystems, achieving modularity and robustness. Quite often, these large processes comprise software components as well as human actors, they face highly dynamic ...
I do declare: consensus in a logic language

The Paxos consensus protocol can be specified concisely, but is notoriously difficult to implement in practice. We recount our experience building Paxos in Overlog, a distributed declarative programming language. We found that the Paxos algorithm is ...
How to declare an imperative

How can we integrate interaction into a purely declarative language? This tutorial describes a solution to this problem based on a monad. The solution has been implemented in the functional language Haskell and the declarative language Escher. ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '13: Proceedings of the 28th Annual ACM Symposium on Applied Computing

March 2013

2124 pages

ISBN:9781450316569

DOI:10.1145/2480362

Conference Chairs:
Sung Y. Shin
South Dakota State University, United States
,
José Carlos Maldonado
ICMC - University of São Paulo, Brazil

Copyright © 2013 ACM.

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]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 March 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Seventh Framework Programme

Conference

SAC '13

Sponsor:

SIGAPP

SAC '13: SAC '13

March 18 - 22, 2013

Coimbra, Portugal

Acceptance Rates

SAC '13 Paper Acceptance Rate 255 of 1,063 submissions, 24%;

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

43
Total Citations
View Citations
254
Total Downloads

Downloads (Last 12 months)16
Downloads (Last 6 weeks)3

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Hashmi M(2022)On Modelling Process Aspects With Deontic Event-CalculusInternational Journal of Service Science, Management, Engineering, and Technology10.4018/IJSSMET.29749813:1(1-19)Online publication date: 1-Jan-2022
https://doi.org/10.4018/IJSSMET.297498
Xiu BLi GLi Y(2022)Discovery of Object-Centric Behavioral Constraint Models With NoiseIEEE Access10.1109/ACCESS.2022.319934510(88769-88786)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3199345
Hildebrandt TNormann HMarquard MDebois SSlaats T(2022)Decision Modelling in Timed Dynamic Condition Response Graphs with DataBusiness Process Management Workshops10.1007/978-3-030-94343-1_28(362-374)Online publication date: 23-Jan-2022
https://doi.org/10.1007/978-3-030-94343-1_28
Haarmann SWeske M(2021)Data Object Cardinalities in Flexible Business ProcessesBusiness Process Management Workshops10.1007/978-3-030-66498-5_28(380-391)Online publication date: 19-Jan-2021
https://doi.org/10.1007/978-3-030-66498-5_28
Xu HPang JYang XYu JLi XZhao D(2020)Modeling clinical activities based on multi-perspective declarative process mining with openEHR’s characteristicBMC Medical Informatics and Decision Making10.1186/s12911-020-01323-720:S14Online publication date: 15-Dec-2020
https://doi.org/10.1186/s12911-020-01323-7
Navarin NCambiaso MBurattin AMaggi FOneto LSperduti A(2020)Towards Online Discovery of Data-Aware Declarative Process Models from Event Streams2020 International Joint Conference on Neural Networks (IJCNN)10.1109/IJCNN48605.2020.9207500(1-8)Online publication date: Jul-2020
https://doi.org/10.1109/IJCNN48605.2020.9207500
Sindhgatta Rter Hofstede AGhose A(2020)Resource-Based Adaptive Robotic Process AutomationAdvanced Information Systems Engineering10.1007/978-3-030-49435-3_28(451-466)Online publication date: 3-Jun-2020
https://doi.org/10.1007/978-3-030-49435-3_28
Sturm CFichtner MSchönig S(2019)Full Support for Efficiently Mining Multi-Perspective Declarative Constraints from Process LogsInformation10.3390/info1001002910:1(29)Online publication date: 15-Jan-2019
https://doi.org/10.3390/info10010029
Schützenmeier NKäppel MPetter SSchönig SJablonski S(2019)Detection of Declarative Process Constraints in LTL FormulasEnterprise and Organizational Modeling and Simulation10.1007/978-3-030-35646-0_10(131-145)Online publication date: 14-Nov-2019
https://doi.org/10.1007/978-3-030-35646-0_10
Azumah KKosta SSørensen L(2019)Load Balancing in Hybrid Clouds Through Process Mining MonitoringInternet and Distributed Computing Systems10.1007/978-3-030-34914-1_15(148-157)Online publication date: 10-Nov-2019
https://doi.org/10.1007/978-3-030-34914-1_15
Show More Cited By

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.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents