Checking properties of business process models with logic programming

Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007

Volumn , Issue , 2007, Pages 84-93

  Gruhn, Volker ^a   Laue, Ralf ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER SOFTWARE SELECTION AND EVALUATION; FISCHER-TROPSCH SYNTHESIS; GRAPHIC METHODS; INFORMATION THEORY; LOGIC PROGRAMMING; MODEL CHECKING; PROCESS MONITORING; TECHNICAL PRESENTATIONS; UNIFIED MODELING LANGUAGE;

AND MODELING; BUSINESS PROCESS MODELS; BUSINESS PROCESSES; EVENT-DRIVEN PROCESS CHAINS; GRAPHICAL MODELS; LOGICAL PROGRAMMINGS; PROCESS MODELING; UML ACTIVITY DIAGRAMS;

INFORMATION SYSTEMS;

EID: 58149137005     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

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 '02: 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