An incremental analysis for resource conflicts to workflow specifications

Authors:
Hwai-jung Hsu;Feng-jian Wang
Affiliations:
Institute of Computer Science and Engineering, College of Computer Science, National Chiao Tung University, Room 510, EC Building, 1001 Ta-Hsueh Road, Hsinchu City, Taiwan, ROC;Institute of Computer Science and Engineering, College of Computer Science, National Chiao Tung University, Room 510, EC Building, 1001 Ta-Hsueh Road, Hsinchu City, Taiwan, ROC
Venue:
Journal of Systems and Software
Year:
2008

Citing 18
Cited 2

Modeling and Analysis of Workflows Using Petri Nets

Journal of Intelligent Information Systems - Special issue on workflow management systems
Verification of workflow task structures: A petri-net-based approach

Information Systems
Analyzing process models using graph reduction techniques

Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Maintaining knowledge about temporal intervals

Communications of the ACM
SEAM: A State-Entity-Activity-Model for a Well-Defined Workflow Development Methodology

IEEE Transactions on Knowledge and Data Engineering
Workflow Dependency Analysis and Its Implications on Distributed Workflow Systems

AINA '03 Proceedings of the 17th International Conference on Advanced Information Networking and Applications
Dynamic Verification of Temporal Constraints in Production Workflows

ADC '00 Proceedings of the Australasian Database Conference
Definition of Deadlock Patterns for Business Processes Work ow Models

HICSS '99 Proceedings of the Thirty-second Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
Formal Aspects of Workflow Management, Part 1: Semantics

Formal Aspects of Workflow Management, Part 1: Semantics
SRN: An Extended Petri-Net-Based Workflow Model for Web Service Composition

ICWS '04 Proceedings of the IEEE International Conference on Web Services
Data flow and validation in workflow modelling

ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems

APSEC '04 Proceedings of the 11th Asia-Pacific Software Engineering Conference
Resource constraints analysis of workflow specifications

Journal of Systems and Software - Special issue: Applications of statistics in software engineering
Verification of Resource Constraints for Concurrent Workflows

SYNASC '05 Proceedings of the Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
An Incremental Analysis to Workflow Specifications

APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
Performance Analysis of Workflow Model with Resource Constraints

IMSCCS '06 Proceedings of the First International Multi-Symposiums on Computer and Computational Sciences - Volume 1 (IMSCCS'06) - Volume 01
Dynamic checking of temporal constraints for concurrent workflows

Electronic Commerce Research and Applications
On temporal logic programming using Petri nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

A distributed server architecture supporting dynamic resource provisioning for BPM-oriented workflow management systems

Journal of Systems and Software
A novel statistical time-series pattern based interval forecasting strategy for activity durations in workflow systems

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Workflow management technology helps modulizing and controlling complex business processes within an enterprise. Generally speaking, a workflow management system (WfMS) is composed of two primary components, a design environment and a run-time system. Structural, timing and resource verifications of a workflow specification are required to assure the correctness of the specified system. In this paper, an incremental methodology is constructed to analyze resource consistency and temporal constraints after each edit unit defined on a workflow specification. The methodology introduces several algorithms for general and temporal analyses. The output returned right away can improve the judgment and thus the speed and quality on designing.