Supporting Information Systems Analysis Through Conceptual Model Query - The Diagramed Model Query Language (DMQL)

Analyzing conceptual models such as process models, data models, or organizational charts is useful for several purposes in information systems engineering (e.g., for business process improvement, compliance management, model driven software development, and software alignment). To analyze conceptual models structurally and semantically, so-called model query languages have been put forth. Model query languages take a model pattern and conceptual models as input and return all subsections of the models that match this pattern. Existing model query languages typically focus on a single modeling language and/or application area (such as analysis of execution semantics of process models), are restricted in their expressive power of representing model structures, and/or abstain from graphical pattern specification. Because these restrictions may hamper query languages from propagating into practice, we close this gap by proposing a modeling language-spanning structural model query language based on flexible graph search that, hence, provides high structural expressive power. To address ease-ofuse, it allows one to specify model queries using a diagram. In this paper, we present the syntax and the semantics of the diagramed model query language (DMQL), a corresponding search algorithm, an implementation as a modeling tool prototype, and a performance evaluation.

[1]  Yi Chen,et al.  WISE: A Workflow Information Search Engine , 2009, 2009 IEEE 25th International Conference on Data Engineering.

[2]  Cláudio T. Silva,et al.  Querying and re-using workflows with VsTrails , 2008, SIGMOD Conference.

[3]  Jörg Becker,et al.  Generalizability and Applicability of Model-Based Business Process Compliance-Checking Approaches — A State-of-the-Art Analysis and Research Roadmap , 2012 .

[4]  Samir Chatterjee,et al.  A Design Science Research Methodology for Information Systems Research , 2008 .

[5]  Axel Winkelmann,et al.  Detecting potential weaknesses in business processes: An exploration of semantic pattern matching in process models , 2015, Bus. Process. Manag. J..

[6]  Vlad Acretoaie,et al.  Querying business process models with VMQL , 2013 .

[7]  Martin Gogolla,et al.  Object Constraint Language (OCL): A Definitive Guide , 2012, SFM.

[8]  Ákos Horváth,et al.  Incremental evaluation of model queries over EMF models , 2010, MODELS'10.

[9]  Wil M. P. van der Aalst,et al.  Pattern-Based Translation of BPMN Process Models to BPEL Web Services , 2008, Int. J. Web Serv. Res..

[10]  Michael Rosemann,et al.  Potential pitfalls of process modeling: part A , 2006, Bus. Process. Manag. J..

[11]  Catriel Beeri,et al.  Querying Business Processes with BP-QL , 2005, VLDB.

[12]  Mathias Weske,et al.  Business Process Model Abstraction , 2015, Handbook on Business Process Management.

[13]  Marta Indulska,et al.  How do practitioners use conceptual modeling in practice? , 2006, Data Knowl. Eng..

[14]  Remco M. Dijkman,et al.  Managing large collections of business process models - Current techniques and challenges , 2012, Comput. Ind..

[15]  Remco M. Dijkman,et al.  Human and automatic modularizations of process models to enhance their comprehension , 2011, Inf. Syst..

[16]  Chun Ouyang,et al.  A semantics-based approach to querying process model repositories , 2011 .

[17]  Oliver Thomas,et al.  Semantic Process Modeling – Design and Implementation of an Ontology-based Representation of Business Processes , 2009, Bus. Inf. Syst. Eng..

[18]  Jörg Becker,et al.  Modeling and Checking Business Process Compliance Rules in the Financial Sector , 2011, ICIS.

[19]  Julian R. Ullmann,et al.  An Algorithm for Subgraph Isomorphism , 1976, J. ACM.

[20]  Remco M. Dijkman,et al.  APROMORE: An advanced process model repository , 2011, Expert Syst. Appl..

[21]  Lieven Eeckhout,et al.  Statistically rigorous java performance evaluation , 2007, OOPSLA.

[22]  Jörg Desel,et al.  ''What Is a Petri Net?'' , 2001, Unifying Petri Nets.

[23]  E. Prud hommeaux,et al.  SPARQL query language for RDF , 2011 .

[24]  Jim Steel,et al.  Model transformation: a declarative, reusable patterns approach , 2003, Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings..

[25]  Ahmed Awad,et al.  BPMN-Q: A Language to Query Business Processes , 2007, EMISA.

[26]  Roberto Grossi,et al.  Optimal Listing of Cycles and st-Paths in Undirected Graphs , 2012, SODA.

[27]  Patrick Delfmann,et al.  The generic model query language GMQL - Conceptual specification, implementation, and runtime evaluation , 2015, Inf. Syst..

[28]  Pnina Soffer Refinement Equivalence in Model-Based Reuse: Overcoming Differences in Abstraction Level , 2005, J. Database Manag..

[29]  Tongdan Jin,et al.  Efficient and accurate retrieval of business process models through indexing , 2010 .

[30]  Jörg Becker,et al.  Pattern-Based Semi-Automatic Analysis of Weaknesses in Semantic Business Process Models in the Banking Sector , 2010, ECIS.

[31]  Harald Störrle,et al.  VMQL: A visual language for ad-hoc model querying , 2011, J. Vis. Lang. Comput..

[32]  David S. Johnson,et al.  Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran , 1979 .

[33]  Jan Mendling,et al.  Detection and prediction of errors in EPC business process models , 2007 .

[34]  Andrzej Lingas,et al.  An exact algorithm for subgraph homeomorphism , 2009, J. Discrete Algorithms.

[35]  Jan Mendling,et al.  Detection and prediction of errors in EPCs of the SAP reference model , 2008, Data Knowl. Eng..

[36]  Mathias Weske,et al.  Isotactics as a Foundation for Alignment and Abstraction of Behavioral Models , 2012, BPM.

[37]  Gregor Engels,et al.  Verification of Business Process Quality Constraints Based on Visual Process Patterns , 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

[38]  Patrick Delfmann,et al.  Unified Enterprise Knowledge Representation with Conceptual Models - Capturing Corporate Language in Naming Conventions , 2009, ICIS.

[39]  Dirk Fahland,et al.  Instantaneous Soundness Checking of Industrial Business Process Models , 2009, BPM.

[40]  Mike P. Papazoglou,et al.  Root-Cause Analysis of Design-Time Compliance Violations on the Basis of Property Patterns , 2010, ICSOC.

[41]  Wineke A. M. van Lent,et al.  Similarity of business process models : metrics and evaluation , 2009 .

[42]  W.M.P. van der Aalst,et al.  Business Process Management: A Comprehensive Survey , 2013 .

[43]  Mario Vento,et al.  A (sub)graph isomorphism algorithm for matching large graphs , 2004, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[44]  Thomas Teufel,et al.  Sap R/3 Process Oriented Implementation , 1998 .

[45]  Patrick Delfmann,et al.  Graph theory and model collection management: conceptual framework and runtime analysis of selected graph algorithms , 2014, Information Systems and e-Business Management.

[46]  Allan Cecil Haskell,et al.  Graphic Charts in Business: How to Make and Use Them , 2015 .

[47]  Dennis Shasha,et al.  GraphBlast: multi-feature graphs database searching , 2007 .

[48]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[49]  Thomas Kurpick,et al.  On Correctness, Compliance and Consistency of Process Models , 2008, 2008 IEEE 17th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises.

[50]  Injun Choi,et al.  An XML‐based process repository and process query language for integrated process management , 2007 .

[51]  Andreas Wombacher,et al.  Indexing Business Processes based on Annotated Finite State Automata , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[52]  Mike P. Papazoglou,et al.  Formalizing and appling compliance patterns for business process compliance , 2016, Software & Systems Modeling.

[53]  Peter Dadam,et al.  On Enabling Data-Aware Compliance Checking of Business Process Models , 2010, ER.

[54]  Jeffrey E. Kottemann,et al.  Information Systems Planning and Development: Strategic Postures and Methodologies , 1984, J. Manag. Inf. Syst..

[55]  Paolo Tonella,et al.  Crosscutting Concern Documentation by Visual Query of Business Processes , 2008, Business Process Management Workshops.

[56]  Dinesh Batra Conceptual Data Modeling Patterns: Representation and Validation , 2005, J. Database Manag..

[57]  Jahangir Karimi,et al.  Strategic Planning for Information Systems: Requirements and Information Engineering Methods , 1988, J. Manag. Inf. Syst..

[58]  Kazimierz Subieta,et al.  Process Query Language: A Way to Make Workflow Processes More Flexible , 2004, ADBIS.

[59]  Peter Dadam,et al.  On enabling integrated process compliance with semantic constraints in process management systems , 2012, Inf. Syst. Frontiers.

[60]  Luciano García-Bañuelos Pattern Identification and Classification in the Translation from BPMN to BPEL , 2008, OTM Conferences.

[61]  Paul W. P. J. Grefen,et al.  Fast business process similarity search , 2012, Distributed and Parallel Databases.