ABSTRACT
State of the art for model checking exploit computationally intensive solutions, bottlenecked by either repeated data access or suboptimal algorithmic implementations. Our solution outperforms the previous solutions while proposing novel temporal logic operators for accessing relational tables.
- Giovanni Acampora, Autilia Vitiello, Bruno Di Stefano, Wil van der Aalst, Christian Gunther, and Eric Verbeek. 2017. IEEE 1849: The XES Standard: The Second IEEE Standard Sponsored by IEEE Computational Intelligence Society. IEEE Comp. Int. Mag. 12, 2 (2017).Google Scholar
- Simone Agostinelli, Giacomo Bergami, Alessio Fiorenza, Fabrizio Maria Maggi, Andrea Marrella, and Fabio Patrizi. 2021. Discovering Declarative Process Model Behavior from Event Logs via Model Learning. In ICPM 2021. IEEE, 48–55.Google ScholarCross Ref
- Adriano Augusto, Ahmed Awad, and Marlon Dumas. 2021. Efficient Checking of Temporal Compliance Rules Over Business Process Event Logs. CoRR abs/2112.04623(2021).Google Scholar
- Ladjel Bellatreche, Mohamed Kechar, and Safia Nait Bahloul. 2021. Bringing Common Subexpression Problem from the Dark to Light: Towards Large-Scale Workload Optimizations. In IDEAS. ACM.Google Scholar
- Giacomo Bergami. 2021. On Efficiently Equi-Joining Graphs. In IDEAS. ACM.Google Scholar
- Giacomo Bergami, Chiara Di Francescomarino, Chiara Ghidini, Fabrizio Maria Maggi, and Joonas Puura. 2021. Exploring Business Process Deviance with Sequential and Declarative Patterns. CoRR abs/2111.12454(2021).Google Scholar
- Giacomo Bergami, Fabrizio Maria Maggi, Andrea Marrella, and Marco Montali. 2021. Aligning Data-Aware Declarative Process Models and Event Logs. In Business Process Management. 235–251.Google Scholar
- Andrea Burattin, Fabrizio Maria Maggi, and Alessandro Sperduti. 2016. Conformance checking based on multi-perspective declarative process models. Expert Syst. Appl. 65(2016), 194–211.Google ScholarDigital Library
- Eduardo González López de Murillas, Hajo A. Reijers, and Wil M. P. van der Aalst. 2022. Data-Aware Process Oriented Query Language. In Process Querying Methods. Springer, 49–83.Google Scholar
- Valeria Fionda, Gianluigi Greco, and Marco Antonio Mastratisi. 2021. Reasoning About Smart Contracts Encoded in LTL. In AIxIA. Springer International Publishing, Cham, 123–136.Google Scholar
- Stratos Idreos, Fabian Groffen, Niels Nes, Stefan Manegold, K. Sjoerd Mullender, and Martin L. Kersten. 2012. MonetDB: Two Decades of Research in Column-oriented Database Architectures. IEEE Data Eng. Bull. 35, 1 (2012), 40–45.Google Scholar
- Nathan John, Jeremy Gow, and Paul Cairns. 2019. Why is debugging video game AI hard?. In Proc. AISB AI & Games symposium. 20–24.Google Scholar
- Jingrui Li, Kento Goto, and Motomichi Toyama. 2021. SSstory: 3D data storytelling based on SuperSQL and Unity. In IDEAS. ACM, 173–183.Google Scholar
- Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, and Kristin Y. Rozier. 2020. SAT-based explicit LTLf satisfiability checking. Artificial Intelligence 289 (2020), 103369.Google ScholarCross Ref
- Felix Mannhardt, Massimiliano de Leoni, Hajo A. Reijers, and Wil M. P. van der Aalst. 2016. Balanced multi-perspective checking of process conformance. Computing 98, 4 (2016).Google Scholar
- Youichiro Miyake. 2017. Current Status of Applying Artificial Intelligence in Digital Games. In Handbook of Digital Games and Entertainment Technologies. Springer Singapore, 253–292.Google Scholar
- André Petermann, Martin Junghanns, Robert Müller, and Erhard Rahm. 2014. FoodBroker - Generating Synthetic Datasets for Graph-Based Business Analytics. In WBDB’14.Google Scholar
- Jose Picado, John Davis, Arash Termehchy, and Ga Young Lee. 2020. Learning Over Dirty Data Without Cleaning. In SIGMOD Conference. ACM, 1301–1316.Google Scholar
- Paul Pichler, Barbara Weber, Stefan Zugal, Jakob Pinggera, Jan Mendling, and Hajo A. Reijers. 2011. Imperative versus Declarative Process Modeling Languages: An Empirical Investigation. In BPM Workshops. 383–394.Google Scholar
- Artem Polyvyanyy, Arthur H. M. ter Hofstede, Marcello La Rosa, Chun Ouyang, and Anastasiia Pika. 2019. Process Query Language: Design, Implementation, and Evaluation. Vol. abs/1909.09543.Google Scholar
- Marcella Rovani, Fabrizio Maria Maggi, Massimiliano de Leoni, and Wil M. P. van der Aalst. 2015. Declarative process mining in healthcare. Expert Systems with Applications 42, 23 (2015), 9236–9251.Google ScholarDigital Library
- Anne Rozinat and Wil M. P. van der Aalst. 2008. Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33, 1 (2008).Google Scholar
- Stefan Schönig. 2015. SQL Queries for Declarative Process Mining on Event Logs of Relational Databases. CoRR abs/1512.00196(2015).Google Scholar
- Stefan Schönig, Andreas Rogge-Solti, Cristina Cabanillas, Stefan Jablonski, and Jan Mendling. 2016. Efficient and Customisable Declarative Process Mining with SQL. In CAiSE. Springer.Google Scholar
Index Terms
- Running Temporal Logical Queries on the Relational Model
Recommendations
Temporal Data Management Systems: A Comparative View
Characteristics and requirements of systems for temporal data management in the areas of data and knowledge bases, artificial intelligence, and software engineering are investigated and discussed on the basis of a case study. Six representative ...
Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals
The paper concerns the problem of logical consequence in linear temporal logics in terms of logical consecutions. A logical consecution c is an expression ψ1,...,ψn/ψ, where all ψi and ψ are formulas. An informal meaning of c is 'ψ is a logical ...
Reified Temporal Logics: An Overview
There are three main approaches to the representation of temporal information in AI literature: the so-called method of temporal arguments that simply extends functions and predicates of first-order language to include time as the additional argument; modal ...
Comments