Constraint-centric workflow change analytics

Adam, 1998, Modeling and analysis of workflows using Petri nets, Journal of Intelligent Information Systems, 10, 131, 10.1023/A:1008656726700 Andrews, 2003 Atluri, 1996, An authorization model for workflows, 44 Bali, 2009 Basu, 2000, A formal approach to workflow analysis, Information Systems Research, 11, 17, 10.1287/isre.11.1.17.11787 Basu, 2003, Synthesis and decomposition of processes in organizations, Information Systems Research, 14, 337, 10.1287/isre.14.4.337.24901 Basu, 2002, Research commentary: workflow management issues in e-Business, Information Systems Research, 13, 1, 10.1287/isre.13.1.1.94 Berthomieu, 1991, Modeling and verification of time dependent systems using timePetri nets, IEEE Transactions on Software Engineering, 17, 259, 10.1109/32.75415 Bertino, 1999, The specification and enforcement of authorization constraints in workflow management systems, ACM Transactions on Information and System Security, 2, 65, 10.1145/300830.300837 Bi, 2004, Applying propositional logic to workflow verification, Information Technology and Management, 5, 293, 10.1023/B:ITEM.0000031583.16306.0f Blake, 2005, Agent-oriented compositional approaches to services-based cross-organizational workflow, Decision Support Systems, 40, 31, 10.1016/j.dss.2004.04.003 Casati, 1998, Workflow evolution, Data & Knowledge Engineering, 24, 211, 10.1016/S0169-023X(97)00033-5 Casati, 1999, Specification and implementation of exceptions in workflow management systems, ACM Transactions on Database Systems, 24, 405, 10.1145/328939.328996 Casati, 2000, Using patterns to design rules in workflows, IEEE Transactions on Software Engineering, 26, 760, 10.1109/32.879813 Casati, 2001, Managing workflow authorization constraints through active database technology, Information Systems Frontiers, 3, 319, 10.1023/A:1011461409620 Chen, 2007, Empowering collaborative commerce with Web services enabled business process management systems, Decision Support Systems, 43, 530, 10.1016/j.dss.2005.05.014 Chiu, 1999, A meta modeling approach to workflow management systems supporting exception handling, Information Systems, 24, 159, 10.1016/S0306-4379(99)00010-1 Curran, 1998 Curtis, 1992, Process modeling, Communications of the ACM, 35, 75, 10.1145/130994.130998 Das, 1992 Davulcu, 1998, Logic based modeling and analysis of workflows, 25 Ellis, 2000, ML-DEWS: modeling language to support dynamic evolution within workflow systems, Computer Supported Cooperative Work, 9, 293, 10.1023/A:1008799125984 Forgy, 1982, Rete: A fast algorithm for the many pattern/many object pattern match problem, Artificial Intelligence, 19, 17, 10.1016/0004-3702(82)90020-0 Giarratano, 2005, Expert systems: principles and programming, Course Technology Gruninger, 2003, The process specification language (PSL) theory and applications, AI magazine, 24, 63 Gruninger, 2008, Short overview of flows: a first-order logic ontology for web services, Bulletin of the IEEE Computer Society Technical Committee on Data Engineering Illation Ltd Jensen, 1992 Kammer, 2000, Techniques for Supporting Dynamic and Adaptive Workflow, Computer Supported Cooperative Work, 9, 269, 10.1023/A:1008747109146 Kavantzas, 2004, Web services choreography description language version 1.0, W3C Working Draft, 17 Klein, 2000, A knowledge-based approach to handling exceptions in workflow systems, Computer Supported Cooperative Work, 9, 399, 10.1023/A:1008759413689 Li, 1994, High-level Petri net model of logic program with negation, IEEE Transactions on Knowledge and Data Engineering, 6, 382, 10.1109/69.334863 Liang, 2009, OpenRuleBench: an analysis of the performance of rule engines Liu, 2007, A formal modeling approach for supply chain event management, Decision Support Systems, 43, 761, 10.1016/j.dss.2006.12.009 Madison, 2005 Margaris, 1990 Morgan, 2002 Mukherjee, 2003, Logic Based Approaches to Workflow Modeling and Verification, 167 Oracle, 2008 Reichert, 1998, ADEPTflex: supporting dynamic changes of workflows without losing control, Journal of Intelligent Information Systems, 10, 93, 10.1023/A:1008604709862 Ross, 2003, The business rule approach, IEEE Computer, 36, 85, 10.1109/MC.2003.1198239 Russell, 1995 Russell, 2005, Workflow resource patterns: identification, representation and tool support Sadiq, 2000, Managing change and time in dynamic workflow processes, International Journal of Cooperative Information Systems, 9, 93, 10.1142/S0218843000000077 Sadiq, 2004, Data flow and validation in workflow modelling, 207 Sangiorgi, 2001 Scheer, 2000 Shimura, 1995, An extended Petri net model for normal logic programs, IEEE Transactions on Knowledge and Data Engineering, 7, 150, 10.1109/69.368512 Stohr, 2001, Workflow automation: overview and research issues, Info. Systems Frontiers: Special Issue on Workflow Automation, 3, 281, 10.1023/A:1011457324641 Sun, 2006, Formulating the data flow perspective for business process management, Information systems research, 17, 374, 10.1287/isre.1060.0105 SWSF Committee, 2005 van der Aalst, 1998, The application of Petri nets to workflow management, Journal of Circuits, Systems and Computers, 8, 21, 10.1142/S0218126698000043 van der Aalst, 2001, Exterminating the dynamic change bug: a concrete approach to support workflow change, Information Systems Frontiers, 3, 297, 10.1023/A:1011409408711 van der Aalst, 2003, Workflow patterns, Distributed and Parallel Databases, 14, 5, 10.1023/A:1022883727209 Wang, 2010, Supporting process design for e-business via an integrated process repository, Information Technology and Management Wang, 2009, Policy-Driven Process Mapping (PDPM): discovering process models from business policies, Decision Support Systems, 48, 267, 10.1016/j.dss.2009.08.006 WfMC Wong, 2007, A process-algebraic approach to workflow specification and refinement, Lecture Notes in Computer Science, 482, 51, 10.1007/978-3-540-77351-1_5 Wong, 2008, A process semantics for BPMN zur Muehlen, 2004, Developing Web Services Choreography Standards-The Case of REST vs. SOAP, Decision Support Systems, 37, 2004 zur Muhlen, 2004, Organizational management in workflow applications — issues and perspectives, Information Technology and Management, 5, 271, 10.1023/B:ITEM.0000031582.55219.2b