کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
461718 696626 2008 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
An incremental analysis for resource conflicts to workflow specifications
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر شبکه های کامپیوتری و ارتباطات
پیش نمایش صفحه اول مقاله
An incremental analysis for resource conflicts to workflow specifications
چکیده انگلیسی

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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Systems and Software - Volume 81, Issue 10, October 2008, Pages 1770–1783
نویسندگان
, ,