Checking Properties of Business Process Models with Logic Programming

Volker Gruhn, Ralf Laue

Abstract

Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it deserves. In this article, we give some examples how logical programming can be exploited for verifying or finding properties of graphical models that are used by business process modelers, for example event driven process chains (EPC)[1], UML activity diagrams[2], BPMN[3] or YAWL[4]. We show how the approach works on different properties of business process models, including semantic (structural) correctness and modeling style.

References

  1. van der Aalst, W.M.: Formalization and verification of event-driven process chains. Information & Software Technology 41 (1999) 639-650
  2. Object Management Group: UML 2.0 Superstructure Final Adopted Specification. Technical report (2003)
  3. Business Process Management Initiative: Business Process Modeling Notation. Technical report, BPMI.org (2004)
  4. van der Aalst, W.M., Hofstede, A.: YAWL: Yet another workflow language. Technical Report FIT-TR-2002-06, Queensland University of Technology, Brisbane (2002)
  5. Mendling, J., Nüttgens, M.: Exchanging EPC Business Process Models with EPML. In Nüttgens, M., Mendling, J., eds.: XML4BPM 2004, Proceedings of the 1st GI Workshop XML4BPM - XML Interchange Formats for Business Process Management at 7th GI Conference Modellierung 2004, Marburg Germany, March 2004. (2004) 61-80
  6. Mendling, J., Nüttgens, M.: EPC syntax validation with XML schema languages. In: EPK. (2003) 19-30
  7. World Wide Web Consortium: XML Schema Part 1: Structures. (2001)
  8. World Wide Web Consortium: XML Schema Part 2: Datatypes. (2001)
  9. Clark, J., Makoto, M.: RELAX NG Specification. OASIS. 1 edn. (2001)
  10. Jelliffe, R.: The Schematron Assertion Language 1.5. Academia Sinica Computing Centre. (2002)
  11. Jungo, D., Buchmann, D., Nitsche, U.U.: Testing of semantic properties in xml documents. In: Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Paphos, Cyprus. (2006)
  12. Mammar, A.: A formal approach and its tool support for the specification and the verification of structural properties on UML activity diagrams. In: Software Engineering Research and Practice. (2006) 988-994
  13. Richters, M., Gogolla, M.: Validating UML models and OCL constraints. In Evans, A., Kent, S., Selic, B., eds.: Proc. 3rd International Conference on the Unified Modeling Language (UML). Volume 1939., Springer-Verlag (2000) 265-277
  14. Kielland, T., Borretzen, J.A.: UML consistency checking. Technical Report SIF8094, Institutt for datateknikk og informasjonsvitenskap, Oslo, Norway (2001)
  15. Gustafsson, J., Paakki, J., Nenonen, L., Verkamo, A.I.: Architecture-centric software evolution by software metrics and design patterns. In: CSMR 7802: Proceedings of the Sixth European Conference on Software Maintenance and Reengineering, Washington, DC, USA, IEEE Computer Society (2002) 108
  16. St örrle, H.: A lightweight platform for experimenting with model driven development. Technical Report TR0503, University of Munich (2005)
  17. Tse, T.H., Chen, T.Y., Chan, F.T., Chen, H.Y., Xie, H.L.: The application of Prolog to structured design. Software: Practice and Experience 24 (1994) 659-676
  18. Nüttgens, M., Rump, F.J.: Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK). In: Promise 2002 - Prozessorientierte Methoden und Werkzeuge f ür die Entwicklung von Informationssystemen. (2002) 64-77
  19. Gruhn, V., Laue, R.: Validierung syntaktischer und anderer EPK-Eigenschaften mit PROLOG. In Nüttgens, M., Rump, F.J., Mendling, J., eds.: EPK 2006, Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, 5. Workshop der Gesellschaft für Informatik e.V. (GI). (2006) 69-84
  20. Kernighan, B.W., Plauger, P.J.: The Elements of Programming Style. McGraw-Hill, Inc., New York, NY, USA (1982)
  21. Ambler, S.W.: The Elements of UML Style. Cambridge University Press (2003)
  22. Gruhn, V., Laue, R.: How style checking can improve business proces models. In: Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Paphos, Cyprus. (2006)
  23. van Dongen, B., Mendling, J., van der Aalst, W.: Structural patterns for soundness of business process models. EDOC (2006) 116-128
Download


Paper Citation


in Harvard Style

Gruhn V. and Laue R. (2007). Checking Properties of Business Process Models with Logic Programming . In Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007) ISBN 978-972-8865-95-5, pages 84-93. DOI: 10.5220/0002413100840093


in Bibtex Style

@conference{msvveis07,
author={Volker Gruhn and Ralf Laue},
title={Checking Properties of Business Process Models with Logic Programming},
booktitle={Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)},
year={2007},
pages={84-93},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002413100840093},
isbn={978-972-8865-95-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)
TI - Checking Properties of Business Process Models with Logic Programming
SN - 978-972-8865-95-5
AU - Gruhn V.
AU - Laue R.
PY - 2007
SP - 84
EP - 93
DO - 10.5220/0002413100840093