Constraint-centric workflow change analytics
暂无分享,去创建一个
[1] Minder Chen,et al. Empowering collaborative commerce with Web services enabled business process management systems , 2007, Decis. Support Syst..
[2] Dickson K. W. Chiu,et al. A Meta Modeling Approach to Workflow Management Systems Supporting Exception Handling , 1999, Inf. Syst..
[3] Akhil Kumar,et al. Research Commentary: Workflow Management Issues in e-Business , 2002, Inf. Syst. Res..
[4] Wil M. P. van der Aalst,et al. Workflow Resource Patterns: Identification, Representation and Tool Support , 2005, CAiSE.
[5] M. Brian Blake,et al. Agent-oriented compositional approaches to services-based cross-organizational workflow , 2005, Decis. Support Syst..
[6] Ronald G. Ross. IT systems perspective - The business rule approach , 2003, Computer.
[7] Jeremy Gibbons,et al. A Process Semantics for BPMN , 2008, ICFEM.
[8] Henry H. Bi,et al. Applying Propositional Logic to Workflow Verification , 2004, Inf. Technol. Manag..
[9] Elisa Bertino,et al. The specification and enforcement of authorization constraints in workflow management systems , 1999, TSEC.
[10] Liwu Li,et al. High-Level Petri Net Model of Logic Program with Negation , 1994, IEEE Trans. Knowl. Data Eng..
[11] Maria E. Orlowska,et al. Managing Change and Time in Dynamic Workflow Processes , 2000, Int. J. Cooperative Inf. Syst..
[12] Michael zur Muehlen,et al. Organizational Management in Workflow Applications - Issues and Perspectives , 2004, Inf. Technol. Manag..
[13] Angelo Margaris. First Order Mathematical Logic , 1967 .
[14] Silvana Castano,et al. Using Patterns to Design Rules in Workflows , 2000, IEEE Trans. Software Eng..
[15] Manfred Reichert,et al. Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.
[17] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .
[18] Vijayalakshmi Atluri,et al. Modeling and Analysis of Workflows Using Petri Nets , 1998, Journal of Intelligent Information Systems.
[19] Mark Klein,et al. A Knowledge-based Approach to Handling Exceptions in Workflow Systems , 2011, Computer Supported Cooperative Work (CSCW).
[20] Richard N. Taylor,et al. Techniques for Supporting Dynamic and Adaptive Workflow , 2000, Computer Supported Cooperative Work (CSCW).
[21] Sheila A. McIlraith,et al. A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services , 2008, IEEE Data Eng. Bull..
[22] Vijayalakshmi Atluri,et al. An Authorization Model for Workflows , 1996, ESORICS.
[23] Silvana Castano,et al. Managing Workflow Authorization Constraints through Active Database Technology , 2001, Inf. Syst. Frontiers.
[24] Fabio Casati,et al. Workflow Evolution , 1996, ER.
[25] Jeremy Gibbons,et al. A Process-Algebraic Approach to Workflow Specification and Refinement , 2007, SC@ETAPS.
[26] J. Leon Zhao,et al. Workflow Automation: Overview and Research Issues , 2001, Inf. Syst. Frontiers.
[27] Maria E. Orlowska,et al. Data Flow and Validation in Workflow Modelling , 2004, ADC.
[28] Liang-Jie Zhang,et al. Policy-Driven Process Mapping (PDPM): Discovering process models from business policies , 2009, Decis. Support Syst..
[29] Clarence A. Ellis,et al. ML-DEWS: Modeling Language to Support Dynamic Evolution within Workflow Systems , 2000, Computer Supported Cooperative Work (CSCW).
[30] Michael Grüninger,et al. The Process Specification Language (PSL) Theory and Applications , 2003, AI Mag..
[31] Gary Riley,et al. Expert Systems: Principles and Programming , 2004 .
[32] Davide Sangiorgi,et al. The Pi-Calculus - a theory of mobile processes , 2001 .
[33] Tony Andrews. Business Process Execution Language for Web Services Version 1.1 , 2003 .
[34] Olivia R. Liu Sheng,et al. Formulating the Data-Flow Perspective for Business Process Management , 2006, Inf. Syst. Res..
[35] Michael Kifer,et al. OpenRuleBench: an analysis of the performance of rule engines , 2009, WWW '09.
[36] Jorge Lobo,et al. An Extended Petri Net Model for Normal Logic Programs , 1995, IEEE Trans. Knowl. Data Eng..
[37] T. Curran,et al. SAP R/3 Business Blueprint: Understanding the Business Process Reference Model , 1997 .
[38] Wil M. P. van der Aalst,et al. The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..
[39] Jeffrey V. Nickerson,et al. Developing web services choreography standards - the case of REST vs. SOAP , 2005, Decis. Support Syst..
[40] Robert W. Blanning,et al. Synthesis and Decomposition of Processes in Organizations , 2003, Inf. Syst. Res..
[41] Subrata Kumar Das,et al. Deductive Databases and Logic Programming , 1992 .
[42] Peter Norvig,et al. Artificial Intelligence: A Modern Approach , 1995 .
[43] Gunter Saake,et al. Logics for Emerging Applications of Databases , 2003, Springer Berlin Heidelberg.
[44] Fabio Casati,et al. Specification and implementation of exceptions in workflow management systems , 1999, TODS.
[45] Wil M. P. van der Aalst,et al. Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change , 2001, Inf. Syst. Frontiers.
[46] C. R. Ramakrishnan,et al. Logic based modeling and analysis of workflows , 1998, PODS '98.
[47] August-Wilhelm Scheer,et al. ARIS - Business Process Modeling , 1998 .
[48] Saikat Mukherjee,et al. Logic Based Approaches to Workflow Modeling and Verification , 2003, Logics for Emerging Applications of Databases.
[49] Akhil Kumar,et al. Process management in supply chains - a new Petri-net based approach , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.
[50] Peter Buneman,et al. Semistructured data , 1997, PODS.
[51] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..
[52] Wil M. P. van der Aalst,et al. Workflow Patterns , 2004, Distributed and Parallel Databases.
[53] Robert W. Blanning,et al. A Formal Approach to Workflow Analysis , 2000, Inf. Syst. Res..
[54] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .
[55] Harris Wu,et al. Supporting process design for e-business via an integrated process repository , 2011, Inf. Technol. Manag..
[56] Bill Curtis,et al. Process modeling , 1992, CACM.
[57] Charles L. Forgy,et al. Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .