Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Communications of the ACM - Special issue on analysis and modeling in software development
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
SAP R/3 business blueprint: understanding the business process reference model
SAP R/3 business blueprint: understanding the business process reference model
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Data & Knowledge Engineering - Special issue on ER '96
The specification and enforcement of authorization constraints in workflow management systems
ACM Transactions on Information and System Security (TISSEC) - Special issue on role-based access control
A meta modelng approach to workflow management systems supporting exception handling
Information Systems - Special issue on meta-modelling and methodology engineering
Specification and implementation of exceptions in workflow management systems
ACM Transactions on Database Systems (TODS)
Techniques for Supporting Dynamic and Adaptive Workflow
Computer Supported Cooperative Work
ML-DEWS: Modeling Language to Support Dynamic Evolution within Workflow Systems
Computer Supported Cooperative Work
A Knowledge-based Approach to Handling Exceptions inWorkflow Systems
Computer Supported Cooperative Work
Business Rules and Information Systems: Aligning It with Business Goals
Business Rules and Information Systems: Aligning It with Business Goals
Aris-Business Process Modeling
Aris-Business Process Modeling
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Workflow Automation: Overview and Research Issues
Information Systems Frontiers
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change
Information Systems Frontiers
Managing Workflow Authorization Constraints through Active Database Technology
Information Systems Frontiers
High-Level Petri Net Model of Logic Program with Negation
IEEE Transactions on Knowledge and Data Engineering
An Extended Petri Net Model for Normal Logic Programs
IEEE Transactions on Knowledge and Data Engineering
Using Patterns to Design Rules in Workflows
IEEE Transactions on Software Engineering
Distributed and Parallel Databases
An Authorization Model for Workflows
ESORICS '96 Proceedings of the 4th European Symposium on Research in Computer Security: Computer Security
A Formal Approach to Workflow Analysis
Information Systems Research
Research Commentary: Workflow Management Issues in e-Business
Information Systems Research
Computer
Synthesis and Decomposition of Processes in Organizations
Information Systems Research
Organizational Management in Workflow Applications – Issues and Perspectives
Information Technology and Management
Applying Propositional Logic to Workflow Verification
Information Technology and Management
Data flow and validation in workflow modelling
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Developing web services choreography standards: the case of REST vs. SOAP
Decision Support Systems - Special issue: Web services and process management
Agent-oriented compositional approaches to services-based cross-organizational workflow
Decision Support Systems - Special issue: Web services and process management
Empowering collaborative commerce with Web services enabled business process management systems
Decision Support Systems
A formal modeling approach for supply chain event management
Decision Support Systems
Formulating the Data-Flow Perspective for Business Process Management
Information Systems Research
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
OpenRuleBench: an analysis of the performance of rule engines
Proceedings of the 18th international conference on World wide web
Policy-Driven Process Mapping (PDPM): Discovering process models from business policies
Decision Support Systems
Drools JBoss Rules 5.0 Developer's Guide
Drools JBoss Rules 5.0 Developer's Guide
Supporting process design for e-business via an integrated process repository
Information Technology and Management
Workflow resource patterns: identification, representation and tool support
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
A novel framework for enterprise web services change management
Proceedings of the International Conference on Advances in Computing, Communications and Informatics
A collaborative framework for evaluation of run-time changes in enterprise web services
Proceedings of the CUBE International Information Technology Conference
Business workflow growth rate analysis using cellular automata
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
A framework for transformation from conceptual to logical workflow models
Decision Support Systems
A decision framework for optimisation of business processes aligned with business goals
International Journal of Business Information Systems
| Hi-index | 0.00 |
In a globalized economic environment with volatile business requirements, continuous process improvement needs to be done regularly in various organizations. However, maintaining the consistency of workflow models under frequent changes is a significant challenge in the management of corporate information services. Unfortunately, few formal approaches are found in the literature for managing workflow changes systematically. In this paper, we propose an analytical framework for workflow change management through formal modeling of workflow constraints, leading to an approach called Constraint-centric Workflow Change Analytics (CWCA). A core component of CWCA is the formal definition and analysis of workflow change anomalies. We operationalize CWCA by developing a change anomaly detection algorithm and validate it in the context of procurement management. A prototype system based on an open-source rule engine is presented to provide a proof-of-concept implementation of CWCA.