The generic model query language GMQL - Conceptual specification, implementation, and runtime evaluation

Information Systems

Volumn 47, Issue , 2015, Pages 129-177

  Delfmann, Patrick ^a   Steinhorst, Matthias ^a   Dietrich, Hanns Alexander ^a   Becker, Jörg ^a  

^a UNIVERSITY OF MÜNSTER   (Germany)

Author keywords

Business Process Management; Conceptual model analysis; Conceptual model repository; Generic model query language; Model querying

Indexed keywords

BUSINESS PROCESS MANAGEMENT; CONCEPTUAL MODEL; GENERIC MODELING; RUNTIMES;

EID: 84908181332     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.is.2014.06.003     Document Type: Article

References (87)

1. R.M. Dijkman, M. La Rosa, and H.A. Reijers Managing large collections of business process models - current techniques and challenges Comput. Ind. 63 2 2012 91 97
2. M. Steinhorst, D. Breuker, P. Delfmann, H.-A. Dietrich, Supporting enterprise transformation using a universal model analysis approach, in: Proceedings of the European Conference on Information Systems (ECIS), 2012.
3. J. Becker, P. Bergener, D. Breuker, M. Räckers, An empirical assessment of the usefulness of weakness patterns in business process redesign, in: Proceedings of the European Conference on Information Systems (ECIS), 2012.
4. S. Sadiq, G. Governatori, and K. Namiri Modeling control objectives for business process compliance G. Alonso, P. Dadam, M. Rosemann, Business Process Management 2007 Springer Berlin, Heidelberg 149 164
5. L. García-Bañuelos Pattern identification and classification in the translation from BPMN to BPEL R. Meersman, Z. Tari, On the Move to Meaningful Internet Systems: OTM 2008 2008 Springer Berlin, Heidelberg, Monterrey, Mexico 436 444
6. Object Management Group, BPMN 2.0 Specification. URL 〈http://www.omg.org/spec/BPMN/2.0/PDF/〉 (accessed 12.09.13).
7. M. Nüttgens, Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK), in: J. Desel, M. Weske (Eds.), Promise 2002 - Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, Proceedings des GI-Workshops und Fachgruppentreffens, Potsdam, Germany, 2002, pp. 64-77.
8. J. Desel, and G. Juhás "What Is a Petri Net? Informal Answers for the Informed Reader H. Ehrig, J. Padberg, G. Juhás, G. Rozenberg, Unifying Petri Nets 2001 Springer Berlin, Heidelberg 1 25
9. P.P.-S. Chen The entity-relationship model - toward a unified view of data ACM Trans. Database Syst. 1 1 1976 9 36
10. Object Management Group, Unified Modeling Language 2.4.1 Specification, URL: 〈http://www.omg.org/spec/UML/2.4.1/Infrastructure/PDF/〉 (accessed 12.09.12).
11. J. Wang, T. Jin, R.K. Wong, and L. Wen Querying business process model repositories World Wide Web 17 3 2013 427 454
12. C. Beeri, A. Eyal, S. Kamenkovich, and T. Milo Querying business processes with BP-QL Inf. Syst. 33 6 2008 477 507
13. M. Momotko, and K. Subieta Process query language: a way to make workflow processes more flexible A. Benczúr, J. Demetrovics, G. Gottlob, Advances in Databases and Information Systems 2004 Springer Berlin, Heidelberg, Budapest, Hungary 306 321
14. A. Awad, BPMN-Q: a language to query business processes, in: M. Reichert, S. Strecker, K. Turowski (Eds.), Proceedings of the 2nd International Workshop on Enterprise Modelling and Information Systems Architectures (EMISA'07), St. Goar, Germany, 2007, pp. 115-128.
15. W.M.P. van der Aalst Business process management: a comprehensive survey ISRN Softw. Eng. 2013 1 37
16. B. Weiß, A. Winkelmann, A metamodel based perspective on the adaptation of a semantic business process modeling language to the financial sector, in: Proceedings of 2011 44th Hawaii International Conference on System Sciences, IEEE, 2011, pp. 1-10.
17. P. Delfmann, S. Herwig, Ł. Lis, A. Stein, K. Tent, and J. Becker Pattern specification and matching in conceptual models - a generic approach based on set operations Enterp. Model. Inf. Syst. Archit. 5 3 2010 24 43
18. H.-A. Dietrich, M. Steinhorst, J. Becker, and P. Delfmann Fast pattern matching in conceptual models - evaluating and extending a generic approach M. Nüttgens, O. Thomas, B. Weber, Enterprise Modelling and Information Systems Architectures (EMISA) 2011 GI 79 92
19. L.P. Cordella, P. Foggia, C. Sansone, and M. Vento A (sub)graph isomorphism algorithm for matching large graphs IEEE Trans. Pattern Anal. Mach. Intell. 26 10 2004 1367 1372
20. A. Gupta, and N. Nishimura Sequential and parallel algorithms for embedding problems on classes of partial k-trees E. Schmidt, S. Skyum, Algorithm Theory - SWAT'94 1994 Springer Berlin, Heidelberg 172 182
21. S. Smirnov, H.A. Reijers, and M. Weske From fine-grained to abstract process models: a semantic approach Inf. Syst. 37 8 2012 784 797
22. J. Becker, P. Bergener, M. Räckers, B. Weiß, A. Winkelmann, Pattern-based semi-automatic analysis of weaknesses in semantic business process models in the banking sector, in: Proceedings of the European Conference on Information Systems (ECIS), Pretoria, South Africa, 2010.
23. J. Becker, P. Bergener, P. Delfmann, B. Weiß, Modeling and checking business process compliance rules in the financial sector, in: D.F. Galletta, T.-P. Liang (Eds.), Proceedings of the International Conference on Information Systems (ICIS), 2011.
24. A. Awad, G. Decker, and M. Weske Efficient compliance checking using BPMN-Q and temporal logic M. Dumas, M. Reichert, M.-C. Shan, Business Process Management 2008 Springer Berlin, Heidelberg, Milan, Italy 326 341
25. C. Ouyang, M. Dumas, A.H.M. ter Hofstede, and W.M.P. van der Aalst Pattern-based translation of BPMN process models to BPEL web services Int. J. Web Serv. Res. 5 1 2008 42 62
26. J. Mendling, H.A. Reijers, and W.M.P. van der Aalst Seven process modeling guidelines (7PMG) Inf. Softw. Technol. 52 2 2010 127 136
27. J. Mendling Detection and prediction of errors in EPC business process models (Doctoral dissertation) WU Vienna University of Economics and Business Administration 2007
28. J. Mendling, H.M.W. Verbeek, B.F. van Dongen, W.M.P. van der Aalst, and G. Neumann Detection and prediction of errors in EPCs of the SAP reference model Data Knowl. Eng. 64 1 2008 312 329
29. B. Kiepuszewski, A. Hofstede, and C. Bussler On structured workflow modelling B. Wangler, L. Bergman, Advanced Information Systems Engineering 2000 Springer Berlin, Heidelberg 431 445
30. J. Vanhatalo, H. Völzer, and F. Leymann Faster and more focused control-flow analysis for business process models through SESE decomposition B. Krämer, K.-J. Lin, P. Narasimhan, Service-Oriented Computing - ICSOC 2007 2007 Springer Berlin, Heidelberg, Vienna, Austria 43 55
31. A. Polyvyanyy, L. García-Bañuelos, and M. Dumas Structuring acyclic process models Inf. Syst. 37 6 2012 518 538
32. B.F. van Dongen, R.M. Dijkman, and J. Mendling Measuring similarity between business process models Z. Bellahsène, M. Léonard, Advanced Information Systems Engineering 2008 Springer Berlin, Heidelberg, Montpellier, France 450 464
33. Z. Yan, R.M. Dijkman, and P. Grefen Fast business process similarity search Distrib. Parallel Databases 30 2 2012 105 144
34. S. Hefner, and M. Dittmar SAP R/3 Finanzwesen 2001 Addison-Wesley Munich
35. ISO/IEC Standard 14977:1996(E), URL 〈http://www.cl.cam.ac.uk/~mgk25/iso-14977.pdf〉 (accessed 3.11.13).
36. P. Delfmann, S. Herwig, M. Karow, and Ł. Lis Ein konfiguratives Metamodellierungswerkzeug P. Loos, M. Nüttgens, K. Turowsk, D. Werth, Modellierung betrieblicher Informationssysteme 2008 GI Saarbrücken, Germany 109 127
37. E. Gamma, R. Helm, R. Johnson, and J. Vlissides Design Patterns: Elements of Reusable Object-Oriented Software 1994 Addison-Wesley Professional Amsterdam, Netherlands
38. S. Bräuer, P. Delfmann, H.-A. Dietrich, M. Steinhorst, Using a generic model query approach to allow for process model compliance checking - an algorithmic perspective, in: R. Alt, B. Franczyk (Eds.), Proceedings of the 11th International Conference on Wirtschaftsinformatik (WI) 2013, Universität Leipzig, Leipzig, Germany, 2013, pp. 1245-1259.
39. J.C. Tiernan An efficient search algorithm to find the elementary circuits of a graph Commun. ACM 13 12 1970 722 726
40. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros Workflow patterns Distrib. Parallel Databases 14 1 2003 5 51
41. J. Becker, R. Schütte,Handelsinformationssysteme, Redline Wirtschaft, Frankfurt, Germany, 2004.
42. A. Georges, D. Buytaert, L. Eeckhout, Statistically rigorous Java performance evaluation, in: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications, ACM, New York, NY, USA, 2007, pp. 57-76.
43. MongoDB, What is a JSON database? URL 〈http://www.mongodb.com/json-and-bso〉 (accessed 18.01.13).
44. J. Becker, D. Breuker, P. Delfmann, H.-A. Dietrich, M. Steinhorst, Identifying business process activity mappings by optimizing behavioral similarity, in: Proceedings of the 18th Americas Conference on Information Systems (AMCIS 2012), Seattle, WA, USA, 2012.
45. J. Cortadella, M. Kishinevsky, L. Lavagno, and A. Yakovlev Deriving Petri nets from finite transition systems IEEE Trans. Comput. 47 8 1998 859 882
46. R. Lu, S. Sadiq, and G. Governatori Compliance aware business process design A. ter Hofstede, B. Benatallah, H.-Y. Paik, Business Process Management Workshops 2008 Springer Berlin, Heidelberg, Brisbane, Australia 120 131
47. L.T. Ly, S. Rinderle-Ma, K. Göser, and P. Dadam On enabling integrated process compliance with semantic constraints in process management systems Inf. Syst. Front. 14 2 2012 195 219
48. O. Thomas, and M. Fellmann Semantic process modeling - design and implementation of an ontology-based representation of business processes Bus. Inf. Syst. Eng. 1 6 2009 438 451
49. P. Delfmann, S. Herwig, Ł. Lis,Unified enterprise knowledge representation with conceptual models - capturing corporate language in naming conventions, in: N.J. Jay F., W.L. Currie (Eds.), Proceedings of the International Conference on Information Systems (ICIS), Phoenix, AZ, USA, 2009.
50. R. Uba, M. Dumas, L. García-Bañuelos, and M. La Rosa Clone detection in repositories of business process models S. Rinderle-Ma, F. Touman, K. Wolf, Business Process Management 2011 Springer Berlin, Heidelberg, Clermont-Ferrand, France 248 264
51. C.C. Ekanayake, M. Dumas, L. García-Bañuelos, M. La Rosa, and A.H.M. ter Hofstede Approximate clone detection in repositories of business process models A. Barros, A. Gal, E. Kindler, Business Process Management 2012 Springer Berlin, Heidelberg, Tallinn, Estonia 302 318
52. X. Yan, J. Han, gSpan: graph-based substructure pattern mining, in: Proceedings of IEEE International Conference on Data Mining, IEEE Computer Society, Maebashi City, Japan, 2002, pp. 721-724.
53. B. Mahleko, A. Wombacher, Indexing business processes based on annotated finite state automata, in: Proceedings of 2006 IEEE International Conference on Web Services (ICWS'06), IEEE, Washington, DC, USA, 2006, pp. 303-311.
54. L. Song, W. Jianmin, A.H.M. ter Hofstede, M. La Rosa, C. Ouyang, L. Wen, A Semantics-based Approach to Querying Process Model Repositories, Technical Report, School for Information Systems of the Queensland University of Technology, 2011.
55. T. Jin, J. Wang, N. Wu, M. La Rosa, and A.H.M. ter Hofstede Efficient and accurate retrieval of business process models through indexing R. Meersman, T. Dillon, P. Herrero, On the Move to Meaningful Internet Systems: OTM 2010 2010 Springer Berlin, Heidelberg, Hersonissos, Crete, Greece 402 409
56. J.R. Ullmann An algorithm for subgraph isomorphism J. ACM 23 1 1976 31 42
57. M.R. Garey, and D.S. Johnson Computers and Intractability: A Guide to the Theory of NP-Completeness New York 1979 W. H. Freeman and Company
58. S. Sakr Storing and querying graph data using efficient relational processing techniques J. Yang, A. Ginige, H. Mayr, R.-D. Kutsche, Information Systems: Modeling, Development, and Integration 2009 Springer Berlin Heidelberg, Sydney, Australia 379 392
59. S. Sakr, and A. Awad A framework for querying graph-based business process models Proceedings of the 19th International Conference on World Wide Web (WWW'10) 2010 ACM Press New York, USA 1297 1300
60. C. Di Francescomarino, and P. Tonella Crosscutting concern documentation by visual query of business processes D. Ardagna, M. Mecella, J. Yang, Business Process Management Workshops 2009 Springer Berlin, Heidelberg, Milano, Italy 18 31
61. Neo4j, Cyper Query Language. URL 〈http://docs.neo4j.org/chunked/stable/cypher-query-lang.html〉 (accessed 17.10.13).
62. G. Bergmann, Z. Ujhelyi, I. Ráth, and D. Varró A graph query language for EMF models J. Cabot, E. Visser, Theory and Practice of Model Transformations 2011 Springer Berlin, Heidelberg, Zurich, Switzerland 167 182
63. G. Bergmann, Á. Horváth, I. Ráth, D. Varró, A. Balogh, and Z. Balogh Incremental evaluation of model queries over EMF models D. Petriu, N. Rouquette, ∅. Haugen, Model Driven Engineering Languages and Systems 2010 Springer Berlin, Heidelberg, Oslo, Norway 76 90
64. I. Choi, K. Kim, and M. Jang An XML-based process repository and process query language for integrated process management Knowl. Process Manag. 14 4 2007 303 316
65. Object Management Group, Object Constraint Language, URL 〈http://www.omg.org/spec/OCL/2.3.1/〉 (accessed 17.10.13).
66. A. Foerster, G. Engels, T. Schattkowsky, R. Van Der Straeten, and A. Forster Verification of business process quality constraints based on visual process patterns First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE'07) 2007 IEEE Washington, DC, USA 197 208
67. World Wide Web Consortium, SPARQL Query Language for RDF. URL 〈http://www.w3.org/TR/rdf-sparql-query/〉 (accessed 17.10.13).
68. S.-M.-R. Beheshti, B. Benatallah, H.R. Motahari-Nezhad, and S. Sakr A query language for analyzing business processes execution S. Rinderle-Ma, F. Toumani, K. Wolf, Business Process Management 2011 Springer Berlin, Heidelberg, Clermont-Ferrand, France 281 297
69. C.E. Scheidegger, H.T. Vo, D. Koop, J. Freire, C.T. Silva, and T. Silva Querying and re-using workflows with VisTrails Proceedings of the 2008 ACM SIGMOD international conference on Management of data - SIGMOD'08 2008 ACM Press New York, NY, USA 1251 1254
70. H. Störrle VMQL: a visual language for ad-hoc model querying J. Vis. Lang. Comput. 22 1 2011 3 29
71. H. Störrle, and V. Acretoaie Querying business process models with VMQL Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications - BMFA'13 2013 ACM Press New York, NY, USA 1 10
72. Q. Shao, P. Sun, and Y. Chen WISE: a workflow information search engine, in: Proceedings of the 25th International Conference on Data Engineering (ICDE'09) 2009 IEEE Shanghai, China 1491 1494
73. H.A. Reijers, J. Mendling, and R.M. Dijkman Human and automatic modularizations of process models to enhance their comprehension Inf. Syst. 36 5 2011 881 897
74. M. Weidlich, A. Polyvyanyy, N. Desai, and J. Mendling Process compliance measurement based on behavioural profiles B. Pernici, Advanced Information Systems Engineering 2010 Springer Berlin, Heidelberg, Hammamet, Tunisia 499 514
75. D. Knuplesch, L.T. Ly, S. Rinderle-Ma, H. Pfeifer, and P. Dadam On enabling data-aware compliance checking of business process models Conceptual Modeling - ER 2010 2010 Springer Berlin, Heidelberg, Vancouver, BC, Canada 332 346
76. R. Laue, and J. Mendling Structuredness and its significance for correctness of process models Inf. Syst. E-Bus. Manag. 8 3 2010 287 307
77. B. Weber, M. Reichert, J. Mendling, and H.A. Reijers Refactoring large process model repositories Comput. Ind. 62 5 2011 467 486
78. M. Gupta, R. Rao, A. Pande, and A.K. Tripathi Design pattern mining using state space representation of graph matching N. Meghanathan, B. Kaushik, D. Nagamalai, Advances in Computer Science and Information Technology 2011 Springer Berlin, Heidelberg, Bangalore, India 318 328
79. J. Dong, Y. Zhao, and T. Peng A review of design pattern mining techniques Int. J. Softw. Eng. Knowl. Eng. 19 06 2009 823 855
80. J. de Lara, and H. Vangheluwe AToM3: a tool for multi-formalism and meta-modelling R.-D. Kutsche, H. Weber, Fundamental Approaches to Software Engineering 2002 Springer Berlin, Heidelberg 174 188
81. D. Lucrédio, R.M. Fortes, and J. Whittle MOOGLE: a model search engine K. Czarnecki, I. Ober, J.-M. Bruel, A. Uhl, M. Völter, Model Driven Engineering Languages and Systems 2008 Springer Berlin Heidelberg 296 310
82. S. Brinkkemper Method engineering: engineering of information systems development methods and tools Inf. Softw. Technol. 38 4 1996 275 280
83. D. Eppstein Subgraph isomorphism in planar graphs and related problems J. Graph Algorithms Appl. 3 3 1999 1 27
84. F. Dorn, Planar subgraph isomorphism revisited, in: 27th International Symposium on Theoretical Aspects of Computer Science (STACS 2010), Nancy, France, 2010, pp. 263-274.
85. M. Hajiaghayi, and N. Nishimura Subgraph isomorphism, log-bounded fragmentation, and graphs of (locally) bounded treewidth J. Comput. Syst. Sci. 73 5 2007 755 768
86. D. Batra Conceptual data modeling patterns: representation and validation J. Database Manag. 16 2 2005 84 106
87. K. Duddy, A. Gerber, M. Lawley, K. Raymond, J. Steel, Model transformation: a declarative, reusable pattern approach, in: Proceedings of the IEEE International Enterprise Distributed Object Computing Conference, 2003, IEEE Computer Society, 2003, pp. 174-185.