ACSI - Artifact-Centric Service Interoperation

This report contains documentation for the Deliverable 2.2.2: Model Checking Tool for Artifact Interoperations (MOCAI) of Work Package 2 after 24 months in the ACSI project. We present the requirements that serve as a guide for selecting the necessary features of the toolkit. We outline a methodology to model check declarative models of artifact-centric systems by translating GSM-based artifact-centric systems into a symbolic transition system used for symbolic model checking. A notable feature of our approach is that it is completely automatic. We implement the methodology in the GSMC model checker. The toolkit takes files directly from the web-based GSM engine Barcelona as input. We also provide preliminary results on the verification of artifact-centric systems using GSMC and demonstrate the applicability on an example from a real-world application. c © D2.2.2 Model Checking Tool for Artifact Interoperations (MOCAI) – Iteration II Page 3 of 47

[1]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[2]  Frances E. Allen,et al.  Control-flow analysis , 2022 .

[3]  David Michael Ritchie Park.  Finiteness is Mu-Ineffable , 1976, Theor. Comput. Sci..

[4]  Henry Mintzberg,et al.  Structure in 5's: A Synthesis of the Research on Organization Design , 1980, Management Science.

[5]  Joseph Y. Halpern,et al.  Decision procedures and expressiveness in the temporal logic of branching time , 1982, STOC '82.

[6]  D. Miller,et al.  Entity Model Clustering: Structuring A Data Model By Abstraction , 1986, Comput. J..

[7]  L. Donaldson.  STRATEGY AND STRUCTURAL ADJUSTMENT TO REGAIN FIT AND PERFORMANCE: IN DEFENCE OF CONTINGENCY THEORY , 1987 .

[8]  Toby J. Teorey,et al.  ER model clustering as an aid for user communication and documentation in database design , 1989, CACM.

[9]  J. Wilson.  Algorithms for obtaining normal forms of logical expressions , 1989 .

[10]  Josef Stoer,et al.  Numerische Mathematik 1 , 1989 .

[11]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[12]  George D. Robson,et al.  Continuous Process Improvement , 1991 .

[13]  Edmund M. Clarke,et al.  Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..

[14]  J. Ross Quinlan,et al.  C4.5: Programs for Machine Learning , 1992 .

[15]  Heikki Mannila,et al.  Discovering functional and inclusion dependencies in relational databases , 1992, Int. J. Intell. Syst..

[16]  Rajeev Alur,et al.  Model-Checking in Dense Real-time , 1993, Inf. Comput..

[17]  James L. Hein,et al.  Discrete structures, logic, and computability , 1994 .

[18]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[19]  Alberto Maria Segre,et al.  Programs for Machine Learning , 1994 .

[20]  Alexander L. Wolf,et al.  Automating Process Discovery through Event-Data Analysis , 1995, 1995 17th International Conference on Software Engineering.

[21]  M. Hammer,et al.  REENGINEERING THE CORPORATION: A MANIFESTO FOR BUSINESS REVOLUTION , 1995 .

[22]  Chung Yee Lee,et al.  Business process management: survey and methodology , 1995 .

[23]  Heikki Mannila,et al.  Approximate Inference of Functional Dependencies from Relations , 1995, Theor. Comput. Sci..

[24]  Philippe Darondeau,et al.  Theory of Regions , 1996, Petri Nets.

[25]  E. Allen Emerson,et al.  Model Checking and the Mu-calculus , 1996, Descriptive Complexity and Finite Models.

[26]  Hans-Peter Kriegel,et al.  A Density-Based Algorithm for Discovering Clusters in Large Spatial Databases with Noise , 1996, KDD.

[27]  Wendy G. Lehnert,et al.  Information extraction , 1996, CACM.

[28]  A. Agresti,et al.  Approximate is Better than “Exact” for Interval Estimation of Binomial Proportions , 1998 .

[29]  Barrie G. Dale,et al.  Business process management: a review and evaluation , 1998, Bus. Process. Manag. J..

[30]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[31]  William G. Griswold,et al.  Dynamically discovering likely program invariants to support program evolution , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[32]  Naftali Tishby,et al.  Agglomerative Information Bottleneck , 1999, NIPS.

[33]  Armin Biere,et al.  Symbolic Model Checking without BDDs , 1999, TACAS.

[34]  Hannu Toivonen,et al.  TANE: An Efficient Algorithm for Discovering Functional and Approximate Dependencies , 1999, Comput. J..

[35]  Ian H. Witten,et al.  Data mining: practical machine learning tools and techniques, 3rd Edition , 1999 .

[36]  Mohamed Zairi,et al.  BPR implementation process: an analysis of key success and failure factors , 1999, Bus. Process. Manag. J..

[37]  Alexander L. Wolf,et al.  Software process validation: quantitatively measuring the correspondence of a process to a model , 1999, TSEM.

[38]  Rajeev Alur,et al.  Timed Automata , 1999, CAV.

[39]  L. Bergroth,et al.  A survey of longest common subsequence algorithms , 2000, Proceedings Seventh International Symposium on String Processing and Information Retrieval. SPIRE 2000.

[40]  Naftali Tishby,et al.  Document clustering using word clusters via the information bottleneck method , 2000, SIGIR '00.

[41]  Stephan Merz,et al.  Model Checking , 2000 .

[42]  Colin Stirling,et al.  Modal and Temporal Properties of Processes , 2001, Texts in Computer Science.

[43]  Jacques Wainer,et al.  Proclets: A Framework for Lightweight Interacting Workflow Processes , 2001, Int. J. Cooperative Inf. Syst..

[44]  Colin Stirling,et al.  Modal Mu-Calculi , 2001 .

[45]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[46]  T. Cover,et al.  Entropy, Relative Entropy and Mutual Information , 2001 .

[47]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.

[48]  Theodore Johnson,et al.  Mining database structure; or, how to build a data quality browser , 2002, SIGMOD '02.

[49]  Nathalie Japkowicz,et al.  The class imbalance problem: A systematic study , 2002, Intell. Data Anal..

[50]  Viktor Kuncak,et al.  Role analysis , 2002, POPL '02.

[51]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[52]  Marco Pistore,et al.  Nusmv version 2: an opensource tool for symbolic model checking , 2002, CAV 2002.

[53]  Jean-Marc Petit,et al.  Efficient Algorithms for Mining Inclusion Dependencies , 2002, EDBT.

[54]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[55]  H. Mannila,et al.  Discovering all most specific sentences , 2003, TODS.

[56]  Jean-Marc Petit,et al.  Zigzag: a new algorithm for mining large inclusion dependencies in databases , 2003, Third IEEE International Conference on Data Mining.

[57]  Timothy D. Ross,et al.  Accurate confidence intervals for binomial proportion and Poisson rate estimation , 2003, Comput. Biol. Medicine.

[58]  Anil Nigam,et al.  Business artifacts: An approach to operational specification , 2003, IBM Syst. J..

[59]  Elke A. Rundensteiner,et al.  Discovery of high-dimensional inclusion dependencies , 2003, Proceedings 19th International Conference on Data Engineering (Cat. No.03CH37405).

[60]  Daniel Marcu,et al.  Cognates Can Improve Statistical Translation Models , 2003, NAACL.

[61]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[62]  A. E. Eiben,et al.  Introduction to Evolutionary Computing , 2003, Natural Computing Series.

[63]  Mathias Weske,et al.  Business Process Management: A Survey , 2003, Business Process Management.

[64]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .

[65]  Dov Dori,et al.  ERP modeling: a comprehensive approach , 2003, Inf. Syst..

[66]  Gabriel M. Kuper,et al.  A Robust Logical and Computational Characterisation of Peer-to-Peer Database Systems , 2003, DBISP2P.

[67]  Diego Calvanese,et al.  Logical foundations of peer-to-peer data integration , 2004, PODS '04.

[68]  Ron van der Meyden,et al.  MCK: Model Checking the Logic of Knowledge , 2004, CAV.

[69]  Alessio Lomuscio,et al.  Verification of multiagent systems via ordered binary decision diagrams: an algorithm and its implementation , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[70]  Paul Brown,et al.  CORDS: automatic discovery of correlations and soft functional dependencies , 2004, SIGMOD '04.

[71]  Wojciech Penczek,et al.  VerICS 2004: A Model Checker for Real Time and Multi-agent Systems ? , 2004 .

[72]  Diego Calvanese,et al.  What to Ask to a Peer: Ontolgoy-based Query Reformulation , 2004, KR.

[73]  François Goasdoué,et al.  Distributed Reasoning in a Peer-to-Peer Setting , 2004, ECAI.

[74]  Heikki Mannila,et al.  Levelwise Search and Borders of Theories in Knowledge Discovery , 1997, Data Mining and Knowledge Discovery.

[75]  Renée J. Miller,et al.  Information-theoretic tools for mining database structure from large data sets , 2004, SIGMOD '04.

[76]  Gary M. Weiss.  Mining with rarity: a unifying framework , 2004, SKDD.

[77]  Amit P. Sheth,et al.  Workflow Management Systems and ERP Systems: Differences, Commonalities, and Applications , 2004, Inf. Technol. Manag..

[78]  Renée J. Miller,et al.  LIMBO: Scalable Clustering of Categorical Data , 2004, EDBT.

[79]  Mathias Weske,et al.  Case handling: a new paradigm for business process support , 2005, Data Knowl. Eng..

[80]  F. Tödtling,et al.  One size fits all?: Towards a differentiated regional innovation policy approach , 2005 .

[81]  August-Wilhelm Scheer,et al.  Process Modeling Using Event-Driven Process Chains , 2005, Process-Aware Information Systems.

[82]  Phokion G. Kolaitis,et al.  Peer data exchange , 2005, PODS '05.

[83]  Santhosh Kumaran,et al.  A model-driven approach to industrializing discovery processes in pharmaceutical research , 2005, IBM Syst. J..

[84]  Hinrich Schütze,et al.  Introduction to information retrieval , 2008 .

[85]  Wil M. P. van der Aalst,et al.  Process mining in CSCW systems , 2005, CSCWD.

[86]  Phokion G. Kolaitis.  Schema mappings, data exchange, and metadata management , 2005, PODS '05.

[87]  Didier Lime,et al.  Romeo: A Tool for Analyzing Time Petri Nets , 2005, CAV.

[88]  Wil M. P. van der Aalst,et al.  Mining of ad-hoc business processes with TeamLog , 2005, Data Knowl. Eng..

[89]  Wil M. P. van der Aalst,et al.  A Generic Import Framework for Process Event Logs , 2006, Business Process Management Workshops.

[90]  Janelle B. Hill,et al.  Gartner's Position on Business Process Management, 2006 , 2006 .

[91]  Paul Brown,et al.  GORDIAN: efficient and scalable discovery of composite keys , 2006, VLDB.

[92]  Wil M. P. van der Aalst,et al.  Decision Mining in ProM , 2006, Business Process Management.

[93]  Stephen McCamant,et al.  Dynamic inference of abstract types , 2006, ISSTA '06.

[94]  Marlon Dumas,et al.  Translating Standard Process Models to BPEL , 2006, CAiSE.

[95]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[96]  Dimitris Kanellopoulos,et al.  Handling imbalanced datasets: A review , 2006 .

[97]  Elke A. Rundensteiner,et al.  Heuristic Strategies for the Discovery of Inclusion Dependencies and Other Patterns , 2006, J. Data Semant..

[98]  Cong Yu,et al.  Schema summarization , 2006, VLDB.

[99]  Wil M. P. van der Aalst,et al.  Genetic process mining: an experimental evaluation , 2007, Data Mining and Knowledge Discovery.

[100]  Jianmin Wang,et al.  Detecting Implicit Dependencies Between Tasks from Event Logs , 2006, APWeb.

[101]  R. Andersson,et al.  Similarities and differences between TQM, six sigma and lean , 2006 .

[102]  Alicia Ageno,et al.  Adaptive information extraction , 2006, CSUR.

[103]  Ian Horrocks,et al.  Conjunctive Query Answering for the Description Logic SHIQ , 2007, IJCAI.

[104]  K. Krishnamoorthy,et al.  Some Properties of the Exact and Score Methods for Binomial Proportion and Sample Size Calculation , 2007, Commun. Stat. Simul. Comput..

[105]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[106]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[107]  Abdul Sattar,et al.  Model Checking Temporal Logics of Knowledge Via OBDDs , 2007, Comput. J..

[108]  Howard J. Hamilton,et al.  Mining functional dependencies from data , 2007, Data Mining and Knowledge Discovery.

[109]  Wil M. P. van der Aalst,et al.  Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics , 2007, BPM.

[110]  Jianmin Wang,et al.  Mining process models with non-free-choice constructs , 2007, Data Mining and Knowledge Discovery.

[111]  Boudewijn F. van Dongen,et al.  Process Mining Framework for Software Processes , 2007, ICSP.

[112]  Diego Calvanese,et al.  EQL-Lite: Effective First-Order Query Processing in Description Logics , 2007, IJCAI.

[113]  Robin Bergenthum,et al.  Process Mining Based on Regions of Languages , 2007, BPM.

[114]  Felix Naumann,et al.  Efficiently Detecting Inclusion Dependencies , 2007, 2007 IEEE 23rd International Conference on Data Engineering.

[115]  Stephen McCamant,et al.  The Daikon system for dynamic detection of likely invariants , 2007, Sci. Comput. Program..

[116]  Kamal Bhattacharya,et al.  Modeling Business Contexture and Behavior Using Business Artifacts , 2007, CAiSE.

[117]  Jean-Marc Petit,et al.  Unary and n-ary inclusion dependency discovery in relational databases , 2009, Journal of Intelligent Information Systems.

[118]  Jon Espen Ingvaldsen,et al.  Preprocessing Support for Large Scale Process Mining of SAP Transactions , 2007, Business Process Management Workshops.

[119]  Eric W. T. Ngai,et al.  ERP systems adoption: An exploratory study of the organizational factors and impacts of ERP success , 2007, Inf. Manag..

[120]  John Domingue,et al.  An Outlook on Semantic Business Process Mining and Monitoring , 2007, OTM Workshops.

[121]  K. MedeirosA.,et al.  Genetic process mining , 2007 .

[122]  Maurizio Lenzerini,et al.  On reconciling data exchange, data integration, and peer data management , 2007, PODS '07.

[123]  Leonardo Mariani,et al.  Automatic generation of software behavioral models , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[124]  Christel Baier,et al.  Principles of model checking , 2008 .

[125]  Marzena Kryszkiewicz,et al.  FUN: Fast Discovery of Minimal Sets of Attributes Functionally Determining a Decision Attribute , 2008, Trans. Rough Sets.

[126]  Wil M. P. van der Aalst,et al.  Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..

[127]  Diego Calvanese,et al.  Linking Data to Ontologies , 2008, J. Data Semant..

[128]  Wil M. P. van der Aalst,et al.  Trace Clustering in Process Mining , 2008, Business Process Management Workshops.

[129]  Boudewijn F. van Dongen,et al.  Process Discovery using Integer Linear Programming , 2009, Fundam. Informaticae.

[130]  Berthold Reinwald,et al.  Discovering topical structures of databases , 2008, SIGMOD Conference.

[131]  Alessio Lomuscio,et al.  Towards Verifying Contract Regulated Service Composition , 2008, ICWS.

[132]  John Vergo,et al.  Siena: From PowerPoint to Web App in 5 Minutes , 2008, ICSOC.

[133]  John Paul,et al.  Extending dynamic constraint detection with disjunctive constraints , 2008, WODA '08.

[134]  Paola Mello,et al.  Checking Compliance of Execution Traces to Business Rules , 2008, Business Process Management Workshops.

[135]  Ashutosh Tiwari,et al.  A review of business process mining: state-of-the-art and future trends , 2008, Bus. Process. Manag. J..

[136]  Wil M. P. van der Aalst,et al.  Analyzing Multi-agent Activity Logs Using Process Mining Techniques , 2008, DARS.

[137]  Niels Lohmann,et al.  Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance , 2008, BPM.

[138]  Yongli Ren,et al.  The Density-Based Agglomerative Information Bottleneck , 2008, PRICAI.

[139]  K.J.F.R. van Uden,et al.  Extracting user profiles with process mining at Philips Medical Systems , 2008 .

[140]  John Domingue,et al.  A Core Ontology for Business Process Analysis , 2008, ESWC.

[141]  Qing Hu,et al.  Implications of the fit between organizational structure and ERP: A structural contingency theory perspective , 2008, Int. J. Inf. Manag..

[142]  Boudewijn F. van Dongen,et al.  Process Mining: Overview and Outlook of Petri Net Discovery Algorithms , 2009, Trans. Petri Nets Other Model. Concurr..

[143]  Andrea Calì,et al.  A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.

[144]  Jan Martijn E. M. van der Werf,et al.  Process Diagnostics: A Method Based on Process Mining , 2009, 2009 International Conference on Information, Process, and Knowledge Management.

[145]  Roger Maull,et al.  Understanding Business Process Management: Implications for Theory and Practice , 2009 .

[146]  Cw Christian Günther.  Process mining in flexible environments , 2009 .

[147]  Richard Hull,et al.  Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes , 2009, IEEE Data Eng. Bull..

[148]  Diego Calvanese,et al.  The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..

[149]  Felix Naumann,et al.  A Machine Learning Approach to Foreign Key Discovery , 2009, WebDB.

[150]  Ian H. Witten,et al.  The WEKA data mining software: an update , 2009, SKDD.

[151]  Toon Calders,et al.  Using minimum description length for process mining , 2009, SAC '09.

[152]  Alessio Lomuscio,et al.  MCMAS: A Model Checker for the Verification of Multi-Agent Systems , 2009, CAV.

[153]  Michael Werman,et al.  Fast and robust Earth Mover's Distances , 2009, 2009 IEEE 12th International Conference on Computer Vision.

[154]  Boudewijn F. van Dongen,et al.  Process Mining: Fuzzy Clustering and Performance Visualization , 2009, Business Process Management Workshops.

[155]  Santo Fortunato,et al.  Community detection in graphs , 2009, ArXiv.

[156]  Jianwen Su,et al.  Automatic construction of simple artifact-based business processes , 2009, ICDT '09.

[157]  Eng Wah Lee,et al.  Business process management (BPM) standards: a survey , 2009, Bus. Process. Manag. J..

[158]  Divesh Srivastava,et al.  Summarizing Relational Databases , 2009, Proc. VLDB Endow..

[159]  Gunter Saake,et al.  Applying Process Mining in SOA Environments , 2009, ICSOC/ServiceWave Workshops.

[160]  Manfred Reichert,et al.  Discovering Reference Models by Mining Process Variants Using a Heuristic Approach , 2009, BPM.

[161]  Divesh Srivastava,et al.  Type-based categorization of relational attributes , 2009, EDBT '09.

[162]  Chia-Chia Lin,et al.  Information System Reengineering for Enterprise Resource Planning as Businesses Adapting to the E-business Era , 2009, 2009 WRI World Congress on Software Engineering.

[163]  Diego Calvanese,et al.  Ontologies and Databases: The DL-Lite Approach , 2009, Reasoning Web.

[164]  Peter Trkman,et al.  International Journal of Information Management , 2022 .

[165]  Boudewijn F. van Dongen,et al.  ProM 6: The Process Mining Toolkit , 2010, BPM.

[166]  Wil M. P. van der Aalst,et al.  Distributed genetic process mining , 2010, IEEE Congress on Evolutionary Computation.

[167]  Josep Carmona,et al.  A Fresh Look at Precision in Process Conformance , 2010, BPM.

[168]  Marlon Dumas,et al.  Unraveling Unstructured Process Models , 2010, BPMN.

[169]  David Lo,et al.  Scenario-based and value-based specification mining: better together , 2010, ASE '10.

[170]  Diego Calvanese,et al.  Full Satisfiability of UML Class Diagrams , 2010, ER.

[171]  Niels Lohmann,et al.  Artifact-Centric Choreographies , 2010, ICSOC.

[172]  Carsten Lutz,et al.  The Combined Approach to Query Answering in DL-Lite , 2010, KR.

[173]  Josep Carmona,et al.  Process Mining Meets Abstract Interpretation , 2010, ECML/PKDD.

[174]  Divesh Srivastava.  Schema extraction , 2010, CIKM '10.

[175]  Diego Calvanese,et al.  Evolution of DL-Lite Knowledge Bases , 2010, SEMWEB.

[176]  Giuseppe De Giacomo,et al.  Two-Player Game Structures for Generalized Planning and Agent Composition , 2010, AAAI.

[177]  Giuseppe De Giacomo,et al.  Conjunctive Artifact-Centric Services , 2010, ICSOC.

[178]  Maurizio Lenzerini,et al.  Inconsistency-Tolerant Semantics for Description Logics , 2010, RR.

[179]  Nick Gehrke.  Basic Principles of Financial Process Mining A Journey through Financial Data in Accounting Information Systems , 2010, AMCIS.

[180]  Richard Hull,et al.  Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles , 2010, WS-FM.

[181]  Beng Chin Ooi,et al.  On multi-column foreign key discovery , 2010, Proc. VLDB Endow..

[182]  Boudewijn F. van Dongen,et al.  XES, XESame, and ProM 6 , 2010, CAiSE Forum.

[183]  Peter Niebert,et al.  SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata , 2010, TACAS.

[184]  Wil M. P. van der Aalst,et al.  Trace Alignment in Process Mining: Opportunities for Process Diagnostics , 2010, BPM.

[185]  Diego Calvanese,et al.  Simplifying schema mappings , 2011, ICDT '11.

[186]  Arthur H. M. ter Hofstede,et al.  Automated Error Correction of Business Process Models , 2011, BPM.

[187]  Natalia Sidorova,et al.  Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible , 2011, Inf. Syst..

[188]  Dirk Fahland,et al.  Simplifying Mined Process Models: An Approach Based on Unfoldings , 2011, BPM.

[189]  Boudewijn F. van Dongen,et al.  Conformance Checking Using Cost-Based Fitness Analysis , 2011, 2011 IEEE 15th International Enterprise Distributed Object Computing Conference.

[190]  Richard Hull,et al.  Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events , 2011, DEBS '11.

[191]  Alfonso Gerevini,et al.  An Effective Approach to Realizing Planning Programs , 2011, ICAPS.

[192]  Hector J. Levesque,et al.  Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals , 2011, IJCAI.

[193]  Dirk Fahland,et al.  Checking behavioral conformance of artifacts , 2011 .

[194]  Marlon Dumas.  On the Convergence of Data and Process Engineering , 2011, ADBIS.

[195]  Richard Hull,et al.  On the equivalence of incremental and fixpoint semantics for business artifacts with Guard-Stage-Milestone lifecycles , 2011, Inf. Syst..

[196]  van der Wmp Wil Aalst,et al.  Cost-based conformance checking using the A* algorithm , 2011 .

[197]  Grigore Rosu,et al.  Mining parametric specifications , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[198]  Giuseppe De Giacomo,et al.  Computing Infinite Plans for LTL Goals Using a Classical Planner , 2011, IJCAI.

[199]  Dirk Fahland,et al.  Behavioral Conformance of Artifact-Centric Process Models , 2011, BIS.

[200]  A. J. M. M. Weijters,et al.  Flexible Heuristics Miner (FHM) , 2011, 2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM).

[201]  Dirk Fahland,et al.  Many-to-Many: Some Observations on Interactions in Artifact Choreographies , 2011, ZEUS.

[202]  Alexander Serebrenik,et al.  Process Mining Software Repositories , 2011, 2011 15th European Conference on Software Maintenance and Reengineering.

[203]  Diego Calvanese,et al.  The MASTRO system for ontology-based data access , 2011, Semantic Web.

[204]  Bart Baesens,et al.  A robust F-measure for evaluating discovered process models , 2011, 2011 IEEE Symposium on Computational Intelligence and Data Mining (CIDM).

[205]  Diego Calvanese,et al.  Foundations of Relational Artifacts Verification , 2011, BPM.

[206]  Ricardo Seguel,et al.  Process Mining Manifesto , 2011, Business Process Management Workshops.

[207]  Alessio Lomuscio,et al.  A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results , 2011, IJCAI.

[208]  Divesh Srivastava,et al.  Summary graphs for relational database schemas , 2011, Proc. VLDB Endow..

[209]  Maurizio Lenzerini,et al.  Higher-Order Description Logics for Domain Metamodeling , 2011, AAAI.

[210]  Diego Calvanese,et al.  Dependencies: Making Ontology Based Data Access work in practice , 2011 .

[211]  Dirk Fahland,et al.  Conformance Checking of Interacting Processes with Overlapping Instances , 2011, BPM.

[212]  Alessio Lomuscio,et al.  Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata , 2011, Fundam. Informaticae.

[213]  Angel Salazar,et al.  The Influence of Organisational Size, Internal IT Capabilities, and Competitive and Vendor Pressures on ERP Adoption in SMEs , 2011, Int. J. Enterp. Inf. Syst..

[214]  Yuxiao Hu,et al.  Generalized Planning: Synthesizing Plans that Work for Multiple Environments , 2011, IJCAI.

[215]  Wil M. P. van der Aalst,et al.  Process Mining - Discovery, Conformance and Enhancement of Business Processes , 2011 .

[216]  Diego Calvanese,et al.  Containment of Regular Path Queries under Description Logic Constraints , 2011, IJCAI.

[217]  Felix Naumann,et al.  Advancing the discovery of unique column combinations , 2011, CIKM '11.

[218]  Beng Chin Ooi,et al.  Automatic discovery of attributes in relational databases , 2011, SIGMOD '11.

[219]  Jie Zhao,et al.  Schema Mediation in Peer Data Management Systems , 2011, Int. J. Cooperative Inf. Syst..

[220]  Diego Calvanese,et al.  Verification of Description Logic Knowledge and Action Bases , 2012, ECAI.

[221]  Diego Calvanese,et al.  High Performance Query Answering over DL-Lite Ontologies , 2012, KR.

[222]  Alon Y. Halevy,et al.  Principles of Data Integration , 2012 .

[223]  Alberto Trombetta,et al.  BPMN: An introduction to the standard , 2012, Comput. Stand. Interfaces.

[224]  Boudewijn F. van Dongen,et al.  A genetic algorithm for discovering process trees , 2012, 2012 IEEE Congress on Evolutionary Computation.

[225]  Sandeep Kumar,et al.  Inferring class level specifications for distributed systems , 2012, 2012 34th International Conference on Software Engineering (ICSE).

[226]  Dirk Fahland,et al.  Automatic Discovery of Data-Centric and Artifact-Centric Processes , 2012, Business Process Management Workshops.

[227]  Wil M. P. van der Aalst,et al.  Aligning Event Logs and Declarative Process Models for Conformance Checking , 2012, BPM.

[228]  Boudewijn F. van Dongen,et al.  Replaying history on process models for conformance checking and performance analysis , 2012, WIREs Data Mining Knowl. Discov..

[229]  Deepak Kapur,et al.  Using dynamic analysis to discover polynomial and array invariants , 2012, 2012 34th International Conference on Software Engineering (ICSE).

[230]  Rolf Dach,et al.  Technical Report 2012 , 2013 .

[231]  Diego Calvanese,et al.  Verification of Inconsistency-Aware Knowledge and Action Bases , 2013, Description Logics.

[232]  Diego Calvanese,et al.  Description Logic Knowledge and Action Bases , 2014, J. Artif. Intell. Res..

[233]  Diego Calvanese,et al.  Verification of relational data-centric dynamic systems with external services , 2012, PODS.

[234]  Wil M. P. van der Aalst,et al.  Data-aware process mining: discovering decisions in processes using alignments , 2013, SAC '13.

[235]  Paola Mello,et al.  Monitoring business constraints with the event calculus , 2013, ACM Trans. Intell. Syst. Technol..

[236]  Diego Calvanese,et al.  Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version) , 2013, AIBP@AI*IA.

[237]  Cw Christian Günther,et al.  XES - standard definition , 2014 .