Specification, Verification and Optimisation of Business Processes:A Unified Framework

[1]  Kerim Tumay.  Business process simulation , 1995, WSC '95.

[2]  Fred B. Schneider,et al.  Byzantine generals in action: implementing fail-stop processors , 1984, TOCS.

[3]  Hajo A. Reijers,et al.  Best practices in business process redesign: validation of a redesign framework , 2005, Comput. Ind..

[4]  William J. Kettinger,et al.  BUSINESS PROCESS REENGINEERING: Building a Comprehensive Methodology , 1993 .

[5]  Geoff Sutcliffe.  The TPTP Problem Library and Associated Infrastructure , 2009, Journal of Automated Reasoning.

[6]  Jan Vanthienen,et al.  Designing Compliant Business Processes with Obligations and Permissions , 2006, Business Process Management Workshops.

[7]  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..

[8]  Hanne Riis Nielson,et al.  Static Validation of a Voting Protocol , 2005, ARSPA@ICALP.

[9]  Marta Indulska,et al.  Do Process Modelling Techniques Get Better? A Comparative Ontological Analysis of BPMN , 2005 .

[10]  Richard F. Paige,et al.  Analysing System Failure Behaviours with PRISM , 2010, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion.

[11]  Krishnendu Chatterjee,et al.  Environment Assumptions for Synthesis , 2008, CONCUR.

[12]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[13]  Andrew Gelman,et al.  Models, assumptions and model checking in ecological regressions , 2001 .

[14]  Somesh Jha,et al.  Exploiting symmetry in temporal logic model checking , 1993, Formal Methods Syst. Des..

[15]  Luke Thomas Herbert,et al.  Optimisation of BPMN Business Models via Model Checking , 2013 .

[16]  Luke Thomas Herbert,et al.  SBAT. A stochastic BPMN analysis tool , 2014 .

[17]  Luke Thomas Herbert,et al.  Evolutionary Optimization of Production Materials Workflow Processes , 2014 .

[18]  Flemming Nielson,et al.  Model Checking Is Static Analysis of Modal Logic , 2010, FoSSaCS.

[19]  André Platzer,et al.  KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) , 2008, IJCAR.

[20]  Jeremy Gibbons,et al.  A Relative Timed Semantics for BPMN , 2009, Electron. Notes Theor. Comput. Sci..

[21]  Wil M. P. van der Aalst,et al.  From BPMN Process Models to BPEL Web Services , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[22]  Dirk Riehle,et al.  Understanding and Using Patterns in Software Development , 1996, Theory Pract. Object Syst..

[23]  Gerhard Goos,et al.  Automated Technology for Verification and Analysis , 2004, Lecture Notes in Computer Science.

[24]  Jan Maluszy¿ski.  Verification, Model Checking, and Abstract Interpretation , 2009, Lecture Notes in Computer Science.

[25]  Edmund M. Clarke,et al.  Characterizing Correctness Properties of Parallel Programs Using Fixpoints , 1980, ICALP.

[26]  Ernst-Rüdiger Olderog,et al.  Design of Real-Time Systems: Interface between Duration Calculus and Program Specifications , 1995, STRICT.

[27]  Hongyang Qu,et al.  Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness , 2011, 2011 Eighth International Conference on Quantitative Evaluation of SysTems.

[28]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2003, Distributed and Parallel Databases.

[29]  Wil M. P. van der Aalst,et al.  Time prediction based on process mining , 2011, Inf. Syst..

[30]  Abhishek Ranjan,et al.  An Empirical Study of Error Patterns in Industrial Business Process Models , 2014, IEEE Transactions on Services Computing.

[31]  石川 馨.  What is total quality control? : the Japanese way , 1985 .

[32]  Flemming Nielson,et al.  Language Based Techniques for Systems Biology , 2007 .

[33]  R. Sharp,et al.  Using Stochastic Model Checking to Provision Complex Business Services , 2012, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering.

[34]  Theo C. Ruys,et al.  Optimal Scheduling Using Branch and Bound with SPIN 4.0 , 2003, SPIN.

[35]  Flemming Nielson,et al.  A monotone framework for CCS , 2009, Comput. Lang. Syst. Struct..

[36]  Andrei Voronkov,et al.  First-Order Theorem Proving and Vampire , 2013, CAV.

[37]  Chrysanthos Dellarocas,et al.  Designing Robust Business Processes , .

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

[39]  Paulo Fernandes,et al.  PEPS2007 - Stochastic Automata Networks Software Tool , 2007, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007).

[40]  Bartosz Kiepusewski,et al.  Expressiveness and suitability of languages for control flow modelling in workflows , 2003 .

[41]  Marta Z. Kwiatkowska,et al.  Symmetry Reduction for Probabilistic Model Checking , 2006, CAV.

[42]  Daniel Roos,et al.  The machine that changed the world : the story of lean production , 1991 .

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

[44]  Marc Hamilton,et al.  Software Development: Building Reliable Systems , 1999 .

[45]  Kim G. Larsen,et al.  Checking and Distributing Statistical Model Checking , 2012, NASA Formal Methods.

[46]  Gregory Tassey,et al.  Prepared for what , 2007 .

[47]  Ailsa Colquhoun.  Could automation improve efficiency and help pharmacies with cost saving , 2010 .

[48]  Luke Thomas Herbert,et al.  Quantitative analysis of probabilistic BPMN workflows , 2012 .

[49]  Jean-Marc Vincent,et al.  Performance Evaluation of Business Processes through a Formal Transformation to SAN , 2011, EPEW.

[50]  Yves Bertot,et al.  Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions , 2010 .

[51]  Roger M. Needham,et al.  Using encryption for authentication in large networks of computers , 1978, CACM.

[52]  W.M.P. van der Aalst,et al.  YAWL: yet another workflow language (revised version) , 2003 .

[53]  Boudewijn F. van Dongen,et al.  Workflow mining: A survey of issues and approaches , 2003, Data Knowl. Eng..

[54]  C. Raehl,et al.  Medication Errors in United States Hospitals , 2001, Pharmacotherapy.

[55]  Richard A. Stephans.  System safety for the 21st century , 2013 .

[56]  Dragan Bosnacki,et al.  Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance , 2010, SPIN.

[57]  Stephen Gilmore,et al.  Performance modelling with the Unified Modelling Language and stochastic process algebras , 2003 .

[58]  Jan Mendling,et al.  Lost in Business Process Model Translations: How a Structured Approach Helps to Identify Conceptual Mismatch , 2007 .

[59]  J Carmenates,et al.  Impact of automation on pharmacist interventions and medication errors in a correctional health care system. , 2001, American journal of health-system pharmacy : AJHP : official journal of the American Society of Health-System Pharmacists.

[60]  Peter Dadam,et al.  Monitoring Business Process Compliance Using Compliance Rule Graphs , 2011, OTM Conferences.

[61]  A. W. Roscoe,et al.  Tutorial on FDR and Its Applications , 2000, SPIN.

[62]  Joost-Pieter Katoen,et al.  A Probabilistic Extension of UML Statecharts , 2002, FTRTFT.

[63]  Marta Z. Kwiatkowska,et al.  Pareto Curves for Probabilistic Model Checking , 2012, ATVA.

[64]  José Ferreirós,et al.  The Road to Modern Logic—An Interpretation , 2001, Bulletin of Symbolic Logic.

[65]  I. Miller.  Probability, Random Variables, and Stochastic Processes , 1966 .

[66]  Paul Milgrom,et al.  Complementarities and fit strategy, structure, and organizational change in manufacturing , 1995 .

[67]  Xu Qian-qian,et al.  Study on Implementation Approach for Standard YY/T 0316(ISO 14971) "Medical Devices-Application of Risk Management to Medical Devices" , 2012 .

[68]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[69]  Michael Huth,et al.  Quantitative analysis and model checking , 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.

[70]  J. Samet,et al.  From the Food and Drug Administration. , 2002, JAMA.

[71]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[72]  S. J. Knoer,et al.  Effect of lean process improvement techniques on a university hospital inpatient pharmacy. , 2009, American journal of health-system pharmacy : AJHP : official journal of the American Society of Health-System Pharmacists.

[73]  Moe Thandar Wynn,et al.  Semantics of Standard Process Models with OR-Joins , 2007, OTM Conferences.

[74]  Mathias Weske,et al.  Visually specifying compliance rules and explaining their violations for business processes , 2011, J. Vis. Lang. Comput..

[75]  Karsten Wolf,et al.  LoLA: A Low Level Analyser , 2000, ICATPN.

[76]  Wil M. P. van der Aalst,et al.  On the Suitability of BPMN for Business Process Modelling , 2006, Business Process Management.

[77]  Andrei Voronkov,et al.  The design and implementation of VAMPIRE , 2002, AI Commun..

[78]  Hongyang Qu,et al.  Quantitative Multi-objective Verification for Probabilistic Systems , 2011, TACAS.

[79]  J. Larson,et al.  An Inquiry into the Nature and Causes of the Wealth of Nations , 2015 .

[80]  John G. Proakis,et al.  Probability, random variables and stochastic processes , 1985, IEEE Trans. Acoust. Speech Signal Process..

[81]  Christoph Bussler,et al.  On Structured Workflow Modelling , 2000, CAiSE.

[82]  André Platzer,et al.  European Train Control System: A Case Study in Formal Verification , 2009, ICFEM.

[83]  Peter Gyngell,et al.  Process Innovation: Reengineering Work through Information Technology , 1994 .

[84]  Edmund M. Clarke,et al.  Using Branching Time Temporal Logic to Synthesize Synchronization Skeletons , 1982, Sci. Comput. Program..

[85]  Giuseppe De Giacomo.  History of Programming Languages , 2006 .

[86]  Zhou Chaochen,et al.  Duration Calculus: A Formal Approach to Real-Time Systems , 2004 .

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

[88]  Adrian Giurca,et al.  Towards a BPMN Semantics Using UML Models , 2008, Business Process Management Workshops.

[89]  Egon Börger,et al.  BPMN Core Modeling Concepts: Inheritance-Based Execution Semantics , 2011, Handbook of Conceptual Modeling.

[90]  I. Coombes,et al.  Factors predictive of intravenous fluid administration errors in Australian surgical care wards , 2005, Quality and Safety in Health Care.

[91]  Tobias Nipkow,et al.  Software Safety and Security - Tools for Analysis and Verification , 2012, Software Safety and Security.

[92]  Amir Pnueli.  The Temporal Semantics of Concurrent Programs , 1981, Theor. Comput. Sci..

[93]  Vincent Danos,et al.  Rule-Based Modelling of Cellular Signalling , 2007, CONCUR.

[94]  Keith Phalp,et al.  Quantitative analysis of static models of processes , 2000, J. Syst. Softw..

[95]  U. Rieder,et al.  Markov Decision Processes , 2010 .

[96]  Darren D. Cofer,et al.  Software model checking takes off , 2010, Commun. ACM.

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

[98]  JianHong Ye,et al.  Formal Semantics of BPMN Process Models Using YAWL , 2008, 2008 Second International Symposium on Intelligent Information Technology Application.

[99]  Sea Ling,et al.  Time Petri nets for workflow modelling and analysis , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.

[100]  M. Porter,et al.  How Information Gives You Competitive Advantage , 1985 .

[101]  Maria Paola Bonacina,et al.  On the Modelling of Search in Theorem Proving - Towards a Theory of Strategy Analysis , 1998, Inf. Comput..

[102]  Wil M. P. van der Aalst,et al.  Verification Of Workflow Task Structures: A Petri-net-baset Approach , 2000, Inf. Syst..

[103]  Jeanne W. Ross,et al.  Enterprise Architecture As Strategy: Creating a Foundation for Business Execution , 2006 .

[104]  Mathias Weske,et al.  Prediction of Remaining Service Execution Time Using Stochastic Petri Nets with Arbitrary Firing Delays , 2013, ICSOC.

[105]  Cheng Wu,et al.  BPSL Modeler - Visual Notation Language for Intuitive Business Property Reasoning , 2008, Electron. Notes Theor. Comput. Sci..

[106]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[107]  Francesco Tiezzi,et al.  A Calculus for Orchestration of Web Services , 2007, ESOP.

[108]  Gianfranco Balbo,et al.  Application and Theory of Petri Nets 1997 , 1997 .

[109]  Egon Börger.  Modeling Workflow Patterns from First Principles , 2007, ER.

[110]  Morad Benyoucef,et al.  An evaluation framework for business process modeling languages in healthcare , 2009 .

[111]  Hagen Völzer,et al.  A New Semantics for the Inclusive Converging Gateway in Safe Processes , 2010, BPM.

[112]  Egon Börger,et al.  Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL , 2011, Software & Systems Modeling.

[113]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[114]  Michael Hammer,et al.  Reengineering Work: Don’t Automate, Obliterate , 1990 .

[115]  Bill Curtis,et al.  Process modeling , 1992, CACM.

[116]  John M. Wilson,et al.  Business Processes: Modelling and Analysis for Re-engineering and Improvement , 1995 .

[117]  W.M.P. van der Aalst,et al.  Business process redesign: a Petri-net-based approach , 1996 .

[118]  Fe Coniam.  A Study of the Toyota Production System from an Industrial Engineering Viewpoint (Revised Edition 1989) , 1990 .

[119]  Ken Lunn,et al.  Business processes--attempts to find a definition , 2003, Inf. Softw. Technol..

[120]  Volker Gruhn,et al.  What business process modelers can learn from programmers , 2007, Sci. Comput. Program..

[121]  Michael zur Muehlen,et al.  Service Process Innovation: A Case Study of BPMN in Practice , 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008).

[122]  Dorothea Heiss-Czedik,et al.  An Introduction to Genetic Algorithms. , 1997, Artificial Life.

[123]  Marta Z. Kwiatkowska,et al.  Probabilistic model checking of complex biological pathways , 2008, Theor. Comput. Sci..

[124]  Mario Piattini,et al.  Healthcare Process Development with BPMN , 2010 .

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

[126]  Nadine Gottschalk.  Design and Control of Workflow Processes: Business Process Management for the Service Industry , 2003, Lecture Notes in Computer Science.

[127]  A. Wiles.  Modular Elliptic Curves and Fermat′s Last Theorem(抜粋) (フェルマ-予想がついに解けた!?) , 1995 .

[128]  Alastair F. Donaldson,et al.  Language-Level Symmetry Reduction for Probabilistic Model Checking , 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

[129]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[130]  K. Rustan M. Leino,et al.  Using Dafny, an Automatic Program Verifier , 2011, LASER Summer School.

[131]  Luke Thomas Herbert,et al.  Towards quantitative evaluation of stochastic pharmacy workflows , 2011 .

[132]  P. C. Young,et al.  Introduction to Risk Management , 2022, SSRN Electronic Journal.

[133]  Ryan K. L. Ko,et al.  A computer scientist's introductory guide to business process management (BPM) , 2009, ACM Crossroads.

[134]  Flemming Nielson,et al.  Static validation of security protocols , 2005, J. Comput. Secur..

[135]  Jan Mendling,et al.  A Comparison of XML Interchange Formats for Business Process Modelling , 2004, EMISA.

[136]  Luke Thomas Herbert,et al.  Using quantitative stochastic model checking tool to increase safety and improve efficiency in production processes , 2014 .

[137]  Patrick Cousot,et al.  Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software , 2002, The Essence of Computation.

[138]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[139]  Richard J. Mayer,et al.  IDEF Family of Methods for Concurrent Engineering and Business Re-engineering Applications , 1994 .

[140]  Gerhard Schellhorn,et al.  Model Checking FTA , 2003, FME.

[141]  L. Puustjarvi,et al.  Automating the coordination of electronic prescription processes , 2006, HEALTHCOM 2006 8th International Conference on e-Health Networking, Applications and Services.

[142]  Moshe Y. Vardi.  Automatic verification of probabilistic concurrent finite state programs , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).

[143]  Marta Z. Kwiatkowska,et al.  A Framework for Verification of Software with Time and Probabilities , 2010, FORMATS.

[144]  Marco Carbone,et al.  Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways , 2010, WS-FM.

[145]  Wil M. P. van der Aalst,et al.  On the suitability of UML 2.0 activity diagrams for business process modelling , 2006, APCCM.

[146]  A. Church.  A Set of Postulates for the Foundation of Logic , 1932 .

[147]  M. Porter.  Competitive Advantage: Creating and Sustaining Superior Performance , 1985 .

[148]  Jeremy Gibbons,et al.  A Process Semantics for BPMN , 2008, ICFEM.

[149]  Marta Indulska,et al.  Business Process Modeling- A Comparative Analysis , 2009, J. Assoc. Inf. Syst..

[150]  Ailsa H. Land,et al.  An Automatic Method of Solving Discrete Programming Problems , 1960 .

[151]  Taolue Chen,et al.  Automatic verification of competitive stochastic systems , 2012, Formal Methods in System Design.

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

[153]  Gary A. Kildall,et al.  A unified approach to global program optimization , 1973, POPL.

[154]  Rik Eshuis,et al.  Symbolic model checking of UML activity diagrams , 2006, TSEM.

[155]  Atul Prakash,et al.  A framework for automatic improvement of workflows to meet performance goals , 1994, Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94.

[156]  Marta Z. Kwiatkowska,et al.  Advances in Probabilistic Model Checking , 2012, Software Safety and Security.

[157]  Luke Thomas Herbert,et al.  Automated evolutionary restructuring of workflows to minimise errors via stochastic model checking , 2014 .

[158]  Gavin Lowe,et al.  Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR , 1996, Softw. Concepts Tools.

[159]  Luke Thomas Herbert,et al.  Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows , 2013, J. Comput. Inf. Sci. Eng..

[160]  Lawrence Charles Paulson,et al.  Isabelle/HOL: A Proof Assistant for Higher-Order Logic , 2002 .

[161]  Andreas Schäfer,et al.  Combining Real-Time Model-Checking and Fault Tree Analysis , 2003, FME.

[162]  Johan Lilius,et al.  Formalising UML State Machines for Model Checking , 1999, UML.

[163]  Thomas A. Henzinger,et al.  Reactive Modules , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[164]  Ekkart Kindler,et al.  On the semantics of EPCs: A vicious circle , 2002, EPK.

[165]  Ahmed Awad,et al.  An Iterative Approach for Business Process Template Synthesis from Compliance Rules , 2011, CAiSE.

[166]  Mathias Weske,et al.  Efficient Compliance Checking Using BPMN-Q and Temporal Logic , 2008, BPM.

[167]  Wil M. P. van der Aalst,et al.  Workflow mining: discovering process models from event logs , 2004, IEEE Transactions on Knowledge and Data Engineering.

[168]  William White,et al.  Economic Impact of Inadequate Infrastructure for Supply Chain Integration , 2004 .

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

[170]  Bernhard Thalheim,et al.  A Method for Verifiable and Validatable Business Process Modeling , 2007, Lipari Summer School.

[171]  Remco M. Dijkman,et al.  Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..

[172]  Joost-Pieter Katoen,et al.  The Ins and Outs of the Probabilistic Model Checker MRMC , 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

[173]  Nathaniel Palmer,et al.  XML Process Definition Language , 2009, Encyclopedia of Database Systems.

[174]  Jan Recker,et al.  Opportunities and constraints: the current struggle with BPMN , 2010, Bus. Process. Manag. J..

[175]  Francisco Ruiz,et al.  Implementation of the Business Process Modelling Notation (BPMN) in the modelling of anatomic pathology processes , 2008, Diagnostic pathology.

[176]  Marco Bozzano,et al.  The mechanical generation of fault trees for reactive systems via retrenchment II: clocked and feedback circuits , 2011, Formal Aspects of Computing.

[177]  James C. King,et al.  Symbolic execution and program testing , 1976, CACM.

[178]  Nicola Zannone,et al.  Formal Analysis of BPMN Via a Translation into COWS , 2008, COORDINATION.

[179]  C.-H. Luke Ong,et al.  Analysing Mu-Calculus Properties of Pushdown Systems , 2010, SPIN.

[180]  Walter Hamscher.  AI in Business-Process Reengineering , 1994, AI Mag..

[181]  Scott Oswald,et al.  Dispensing error rate after implementation of an automated pharmacy carousel system. , 2007, American journal of health-system pharmacy : AJHP : official journal of the American Society of Health-System Pharmacists.

[182]  Laurence Rideau,et al.  A Generic Library for Floating-Point Numbers and Its Application to Exact Computing , 2001, TPHOLs.

[183]  Clare Dixon,et al.  Analysing robot swarm behaviour via probabilistic model checking , 2012, Robotics Auton. Syst..

[184]  Andrea Rossetti.  Model checking business processes , 2011 .

[185]  Mathias Weske,et al.  Investigations on Soundness Regarding Lazy Activities , 2006, Business Process Management.

[186]  新郷 重夫,et al.  A study of the Toyota production system from an industrial engineering viewpoint , 1989 .

[187]  Meine van der Meulen.  Definitions for Hardware and Software Safety Engineers , 2000, Springer London.

[188]  Sriram K. Rajamani,et al.  SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft , 2004, IFM.

[189]  Boudewijn F. van Dongen,et al.  The ProM Framework: A New Era in Process Mining Tool Support , 2005, ICATPN.

[190]  van der Wmp Wil Aalst,et al.  Towards a WPSL : a critical analysis of the 20 classical workflow control-flow patterns , 2006 .

[191]  Mark von Rosing,et al.  Business Process Model and Notation - BPMN , 2015, The Complete Business Process Handbook, Vol. I.

[192]  Ian Graham,et al.  30 Things that Go Wrong in Object Modelling with UML 1.3 , 1999, Behavioral Specifications of Businesses and Systems.

[193]  Faron Moller,et al.  The Mobility Workbench - A Tool for the pi-Calculus , 1994, CAV.

[194]  Paul Vickers,et al.  A survey of two-dimensional graph layout techniques for information visualisation , 2013, Inf. Vis..

[195]  Flemming Nielson,et al.  Principles of Program Analysis , 1999, Springer Berlin Heidelberg.

[196]  Bengt Jonsson,et al.  A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.

[197]  Marta Indulska,et al.  How good is BPMN really? Insights from theory and practice , 2006, ECIS.

[198]  Gianna Reggio,et al.  Thirty one problems in the semantics of UML 1.3 dynamics , 1999 .

[199]  Edmund M. Clarke,et al.  Word level model checking—avoiding the Pentium FDIV error , 1996, DAC '96.

[200]  S. Mukherjee,et al.  Automated Fault Tree Generation: Bridging Reliability with Text Mining , 2007, 2007 Annual Reliability and Maintainability Symposium.

[201]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[202]  Marta Z. Kwiatkowska,et al.  Abstraction Refinement for Probabilistic Software , 2008, VMCAI.

[203]  Armin Biere,et al.  Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs , 1999, CAV.

[204]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[205]  Volker Gruhn,et al.  Complexity Metrics for business Process Models , 2006, BIS.

[206]  Klaus Wissing.  Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors , 2007, GI Jahrestagung.

[207]  Patrick Cousot,et al.  Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation , 1992, PLILP.

[208]  T. Henzinger,et al.  Quantitative Synthesis for Concurrent Programs , 2011, CAV.

[209]  Sherif Sakr,et al.  On efficient processing of BPMN-Q queries , 2012, Comput. Ind..

[210]  Rassul Ayani,et al.  Optimizing a Business Process Model by Using Simulation , 2010, 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation.

[211]  Peter Kazanzides,et al.  Certifying the safe design of a virtual fixture control algorithm for a surgical robot , 2013, HSCC '13.

[212]  Hanne Riis Nielson,et al.  Using static analysis to validate the SAML single sign-on protocol , 2005, WITS '05.

[213]  Moe Thandar Wynn.  Semantics, verification, and implementation of workflows with cancellation regions and OR-joins , 2006 .

[214]  Jan Mendling,et al.  Seven process modeling guidelines (7PMG) , 2010, Inf. Softw. Technol..

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

[216]  Fausto Giunchiglia,et al.  Planning as Model Checking , 1999, ECP.

[217]  Ashutosh Tiwari,et al.  Business Process Analysis and Optimization: Beyond Reengineering , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[218]  Peter Loos,et al.  Analyzing the Business Model Concept - A Comprehensive Classification of Literature , 2011, ICIS.

[219]  Hajo A. Reijers,et al.  Supporting the BPM lifecycle with FileNet , 2006 .

[220]  G. Christiaens,et al.  Leading change , 2018, Leadership Transitions in Universities.

[221]  Luke Thomas Herbert,et al.  Workflow Fault Tree Generation Through Model Checking , 2014 .

[222]  Michael E. Fagan.  Design and Code Inspections to Reduce Errors in Program Development , 1976, IBM Syst. J..

[223]  Juha Puustjärvi,et al.  Automating the Dissemination of Information Entities to Healthcare Professionals , 2009, IAIT.

[224]  Jos C. M. Baeten,et al.  The Total Order Assumption , 1992, NAPAW.

[225]  M. Bromwich,et al.  Activity Based Costing Systems and Incremental Costs , 1999 .

[226]  Shigeru Shinomoto,et al.  A Method for Selecting the Bin Size of a Time Histogram , 2007, Neural Computation.

[227]  Peter Liggesmeyer,et al.  Improving system reliability with automatic fault tree generation , 1998, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224).

[228]  van der Wmp Wil Aalst,et al.  Workflow control-flow patterns : a revised view , 2006 .

[229]  Marta Z. Kwiatkowska,et al.  Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.

[230]  Antti Valmari,et al.  A stubborn attack on state explosion , 1990, Formal Methods Syst. Des..

[231]  Robert B. France,et al.  Model-driven development using UML 2.0: promises and pitfalls , 2006, Computer.

[232]  Flemming Nielson,et al.  Static analysis for systems biology , 2004 .

[233]  Willem P. de Roever,et al.  29 New Unclarities in the Semantics of UML 2.0 State Machines , 2005, ICFEM.

[234]  J. L. Bower,et al.  Disruptive change. When trying harder is part of the problem. , 2002, Harvard business review.

[235]  Wang Yi,et al.  UPPAAL 4.0 , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

[236]  Dexter Kozen,et al.  Results on the Propositional µ-Calculus , 1982, ICALP.

[237]  Dirk Fahland,et al.  Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching , 2013, Trans. Petri Nets Other Model. Concurr..

[238]  Hagen Völzer,et al.  The Difficulty of Replacing an Inclusive OR-Join , 2012, BPM.

[239]  Nataliya Skrypnyuk,et al.  Static Analysis of IMC , 2012, J. Log. Algebraic Methods Program..

[240]  Raphael Amit,et al.  The business model: Theoretical roots, recent developments, and future research , 2010 .

[241]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[242]  Wil M. P. van der Aalst,et al.  Design and Implementation of the YAWL System , 2004, CAiSE.

[243]  Jeffrey D. Ullman,et al.  Introduction to automata theory, languages, and computation, 2nd edition , 2001, SIGA.

[244]  Kim G. Larsen,et al.  Minimum-Cost Reachability for Priced Timed Automata , 2001, HSCC.

[245]  Markus N. Rabe,et al.  Verification of Partial-Information Probabilistic Systems Using Counterexample-Guided Refinements , 2012, ATVA.

[246]  Joseph Sifakis,et al.  Specification and verification of concurrent systems in CESAR , 1982, Symposium on Programming.

[247]  Jan Recker,et al.  How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation , 2008, CAiSE.

[248]  Benjamin C. Pierce,et al.  Types and programming languages: the next generation , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[249]  Corrado Priami,et al.  Model Checking Biological Systems Described Using Ambient Calculus , 2004, CMSB.

[250]  Christel Baier,et al.  On Reduction Criteria for Probabilistic Reward Models , 2006, FSTTCS.

[251]  Kurt Jensen,et al.  Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1 , 1996 .

[252]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[253]  Andrea Bianco,et al.  Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.

[254]  Alwen Tiu.  Handbook of practical logic and automated reasoning , 2010 .

[255]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[256]  Luke Thomas Herbert,et al.  SBOAT: A Stochastic BPMN Analysis and Optimisation Tool , 2014 .

[257]  August-Wilhelm Scheer,et al.  ARIS Architecture and Reference Models for Business Process Management , 2000, Business Process Management.

[258]  Joost-Pieter Katoen,et al.  The Modest Modeling Tool and Its Implementation , 2003, Computer Performance Evaluation / TOOLS.

[259]  David A. Schmidt.  Data flow analysis is model checking of abstract interpretations , 1998, POPL '98.

[260]  Patrice Godefroid,et al.  Using Partial Orders to Improve Automatic Verification Methods , 1990, CAV.

[261]  Mathias Weske,et al.  Behavioral Similarity - A Proper Metric , 2011, BPM.

[262]  Jean-Marc Vincent,et al.  From Business Process Model and Notation to Stochastic Automata Network. , 2011 .

[263]  David Anthony Parker,et al.  Implementation of symbolic model checking for probabilistic systems , 2003 .