Beim klassischen Process Mining wird gesagt, welche Schritte in welcher Reihenfolge ausgeführt werden können. Beim Declarative Process Mining ist alles erlaubt, was nicht explizit verboten ist.
Es soll untersucht werden, wie stark sich der klassische und der deklarative Ansatz in der Praxis tatsächlich unterscheiden. Für deklarative Prozessmodelle aus der Literatur sollen Petrinetz- oder YAWL-Modelle erstellt werden, welche dieselben Ausführungsreihenfolgen erlauben.
Literatur
Aalst, W. M. P. van der, H. T. de Beer, and B. F. van Dongen. ‘Process Mining and Verification of Properties: An Approach Based on Temporal Logic’. In On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, edited by Robert Meersman and Zahir Tari, 130–47. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2005. https://doi.org/10.1007/11575771_11.
Aalst, W. M. P. van der, M. Pesic, and H. Schonenberg. ‘Declarative Workflows: Balancing between Flexibility and Support’. Computer Science – Research and Development 23, no. 2 (1 May 2009): 99–113. https://doi.org/10.1007/s00450-009-0057-9.
Bauer, Andreas, Martin Leucker, and Christian Schallhart. ‘C.: Comparing LTL Semantics for Runtime Verification’. Journal of Logic and Computation, 2008.
Broucke, Seppe K. L. M. vanden, Jan Vanthienen, and Bart Baesens. ‘Declarative Process Discovery with Evolutionary Computing’. In 2014 IEEE Congress on Evolutionary Computation (CEC), 2412–19, 2014. https://doi.org/10.1109/CEC.2014.6900293.
Burattin, Andrea, Fabrizio M. Maggi, Wil M.P. van der Aalst, and Alessandro Sperduti. ‘Techniques for a Posteriori Analysis of Declarative Processes’. In 2012 IEEE 16th International Enterprise Distributed Object Computing Conference, 41–50, 2012. https://doi.org/10.1109/EDOC.2012.15.
Burattin, Andrea, Fabrizio M. Maggi, and Alessandro Sperduti. ‘Conformance Checking Based on Multi-Perspective Declarative Process Models’. Expert Systems with Applications 65 (15 December 2016): 194–211. https://doi.org/10.1016/j.eswa.2016.08.040.
Ciccio, Claudio Di, and Massimo Mecella. ‘On the Discovery of Declarative Control Flows for Artful Processes’. ACM Transactions on Management Information Systems 5, no. 4 (23 January 2015): 24:1-24:37. https://doi.org/10.1145/2629447.
De Masellis, Riccardo, Chiara Di Francescomarino, Chiara Ghidini, and Fabrizio M. Maggi. ‘Declarative Process Models: Different Ways to Be Hierarchical’. In Service-Oriented Computing, edited by Quan Z. Sheng, Eleni Stroulia, Samir Tata, and Sami Bhiri, 104–19. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2016. https://doi.org/10.1007/978-3-319-46295-0_7.
Debois, Søren, Thomas T. Hildebrandt, Paw Høvsgaard Laursen, and Kenneth Ry Ulrik. ‘Declarative Process Mining for DCR Graphs’. In Proceedings of the Symposium on Applied Computing, 759–64. SAC ’17. New York, NY, USA: Association for Computing Machinery, 2017. https://doi.org/10.1145/3019612.3019622.
Di Ciccio, Claudio, Fabrizio Maria Maggi, Marco Montali, and Jan Mendling. ‘Ensuring Model Consistency in Declarative Process Discovery’. In Business Process Management, edited by Hamid Reza Motahari-Nezhad, Jan Recker, and Matthias Weidlich, 144–59. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2015. https://doi.org/10.1007/978-3-319-23063-4_9.
———. ‘Resolving Inconsistencies and Redundancies in Declarative Process Models’. Information Systems 64 (1 March 2017): 425–46. https://doi.org/10.1016/j.is.2016.09.005.
Di Ciccio, Claudio, and Massimo Mecella. ‘A Two-Step Fast Algorithm for the Automated Discovery of Declarative Workflows’. In 2013 IEEE Symposium on Computational Intelligence and Data Mining (CIDM), 135–42, 2013. https://doi.org/10.1109/CIDM.2013.6597228.
Grando, M. A., Wil M. P. van der Aalst, and Ronny S. Mans. ‘Reusing a Declarative Specification to Check the Conformance of Different CIGs’. In Business Process Management Workshops, edited by Florian Daniel, Kamel Barkaoui, and Schahram Dustdar, 188–99. Lecture Notes in Business Information Processing. Berlin, Heidelberg: Springer, 2012. https://doi.org/10.1007/978-3-642-28115-0_19.
Grando, M. A., M. H. Schonenberg, and W. van der Aalst. ‘Semantic-Based Conformance Checking of Computer Interpretable Medical Guidelines’. In Biomedical Engineering Systems and Technologies, edited by Ana Fred, Joaquim Filipe, and Hugo Gamboa, 285–300. Communications in Computer and Information Science. Berlin, Heidelberg: Springer, 2013. https://doi.org/10.1007/978-3-642-29752-6_21.
Leoni, Massimiliano de, Fabrizio M. Maggi, and Wil M. P. van der Aalst. ‘An Alignment-Based Framework to Check the Conformance of Declarative Process Models and to Preprocess Event-Log Data’. Information Systems 47 (1 January 2015): 258–77. https://doi.org/10.1016/j.is.2013.12.005.
Leoni, Massimiliano de, Fabrizio Maria Maggi, and Wil M. P. van der Aalst. ‘Aligning Event Logs and Declarative Process Models for Conformance Checking’. In Business Process Management, edited by Alistair Barros, Avigdor Gal, and Ekkart Kindler, 82–97. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2012. https://doi.org/10.1007/978-3-642-32885-5_6.
Maggi, Fabrizio M., R. P. Jagadeesh Chandra Bose, and Wil M. P. van der Aalst. ‘Efficient Discovery of Understandable Declarative Process Models from Event Logs’. In Advanced Information Systems Engineering, edited by Jolita Ralyté, Xavier Franch, Sjaak Brinkkemper, and Stanislaw Wrycza, 270–85. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2012. https://doi.org/10.1007/978-3-642-31095-9_18.
Maggi, Fabrizio M., Arjan J. Mooij, and Wil M.P. van der Aalst. ‘User-Guided Discovery of Declarative Process Models’. In 2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM), 192–99, 2011. https://doi.org/10.1109/CIDM.2011.5949297.
Maggi, Fabrizio Maria. ‘Discovering Metric Temporal Business Constraints from Event Logs’. In Perspectives in Business Informatics Research, edited by Björn Johansson, Bo Andersson, and Nicklas Holmberg, 261–75. Lecture Notes in Business Information Processing. Cham: Springer International Publishing, 2014. https://doi.org/10.1007/978-3-319-11370-8_19.
Maggi, Fabrizio Maria, Claudio Di Ciccio, Chiara Di Francescomarino, and Taavi Kala. ‘Parallel Algorithms for the Automated Discovery of Declarative Process Models’. Information Systems, Special Issue on papers presented in the 20th IEEE International Enterprise Distributed Object Computing1 Conference, EDOC 2016, 74 (1 May 2018): 136–52. https://doi.org/10.1016/j.is.2017.12.002.
Maggi, Fabrizio Maria, Marco Montali, Michael Westergaard, and Wil M. P. van der Aalst. ‘Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata’. In Business Process Management, 132–47. Springer, Berlin, Heidelberg, 2011. https://doi.org/10.1007/978-3-642-23059-2_13.
Montali, Marco, Federico Chesani, Paola Mello, and Fabrizio M. Maggi. ‘Towards Data-Aware Constraints in Declare’. In Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1391–96. SAC ’13. New York, NY, USA: Association for Computing Machinery, 2013. https://doi.org/10.1145/2480362.2480624.
Montali, Marco, Fabrizio M. Maggi, Federico Chesani, Paola Mello, and Wil M. P. van der Aalst. ‘Monitoring Business Constraints with the Event Calculus’. ACM Transactions on Intelligent Systems and Technology 5, no. 1 (3 January 2014): 17:1-17:30. https://doi.org/10.1145/2542182.2542199.
Montali, Marco, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, and Sergio Storari. ‘Declarative Specification and Verification of Service Choreographies’. ACM Transactions on the Web 4, no. 1 (29 January 2010): 3:1-3:62. https://doi.org/10.1145/1658373.1658376.
Pesic, Maja, Helen Schonenberg, and Wil M.P. van der Aalst. ‘DECLARE: Full Support for Loosely-Structured Processes’. In 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 287–287, 2007. https://doi.org/10.1109/EDOC.2007.14.
Pnueli, Amir. ‘The Temporal Logic of Programs’. In 18th Annual Symposium on Foundations of Computer Science (Sfcs 1977), 46–57, 1977. https://doi.org/10.1109/SFCS.1977.32.
Rovani, Marcella, Fabrizio M. Maggi, Massimiliano de Leoni, and Wil M. P. van der Aalst. ‘Declarative Process Mining in Healthcare’. Expert Systems with Applications 42, no. 23 (15 December 2015): 9236–51. https://doi.org/10.1016/j.eswa.2015.07.040.
Schönig, Stefan, Andreas Rogge-Solti, Cristina Cabanillas, Stefan Jablonski, and Jan Mendling. ‘Efficient and Customisable Declarative Process Mining with SQL’. In Advanced Information Systems Engineering, edited by Selmin Nurcan, Pnina Soffer, Marko Bajec, and Johann Eder, 290–305. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2016. https://doi.org/10.1007/978-3-319-39696-5_18.
Zugal, Stefan, Pnina Soffer, Cornelia Haisjackl, Jakob Pinggera, Manfred Reichert, and Barbara Weber. ‘Investigating Expressiveness and Understandability of Hierarchy in Declarative Business Process Models’. Software & Systems Modeling 14, no. 3 (1 July 2015): 1081–1103. https://doi.org/10.1007/s10270-013-0356-2.