시간 제약을 포함한 워크플로우 모델링 및 검증

Modeling and Verification of Workflows with Time Constraints

최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에 대한 연구가 활발히 이루어지고 있다. 기존 연구에서는 태스크 자체에 시간적 특성을 고려하지 않고 태스크의 상태 변이 특성만을 고려하였다. 본 연구는 태스크의 최소 처리시간과 마감시간을 고려함으로써, 시간 제약을 포함한 워크플로우 모델링 및 검증방안을 제안한다. 이를 위해 첫째, 마감시간을 위배하지 않는 태스크의 철회에 대해 대안 태스크를 결정할 수 있는 우선 순위 함수를 제안한다. 우선 순위 함수는 대안 태스크에 대한 시간요소, 의미적 호환 수준을 고려함으로써, 가장 적절한 대안 태스크를 결정한다. 둘째, 기존 연구에서는 순차 및 병행 종속성만을 고려하였으나, 본 연구에서는 태스크간 종속성을 순차 종속성이외에 다양한 병행 종속성인 동시 수행 종속성, 동시시작 종속성, 동시종료 종속성, 간섭된 종속성, 그리고 중첩된 종속성으로 구분하여 제안한다. 셋째, 기술된 워크플로우에 존재할 수 있는 논리적 모순을 발견하기 위해 그래프를 이용한 검증기법을 제안한다.

Recently, automated business processing systems, so called workflow systems, have been studied. have been studied. even though each task has noticible duration inherently, most of previous models regard it as a simple finite automation where state transitions occur instantly. In this paper, we propose a modeling method for workflow each of whose component task has minimum processing time and due-date. Firstly we provide a priority function to choose the proper alternatives when tasks fail before their due-date. The priority function considers the time-relevant factor and the semantic compatibility level to decide the best alternative. secondly, we identify six different types of execution requirements for tasks with noticible durations. They are serial, parallel, simultaneous start simultaneous termination, interleaved and nested dependency. Note that previous models deal with only serial execution and parallel execution. Lastly, we also propose graph-based methods to detect logical conflicts in time constraint-based workflow specifications.