페트리넷을 이용한 워크플로우 명세의 완료가능성 및 무결성 검증

Abstract

최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에대한 연구가 활발히 이루어지고 있다. 본 연구는 병행 수행되는 과업간에 다양한 종속성을 포함한 워크플로우 명세에 대해, 페트리넷을 이용한 완료 기능성 및 완료 무결성 검증 방안을 제안한다. 이를 위해 첫째, 기존에 연구된 워크플로우 그래프를 이용한 워크플로우 명세 방안을 간략히 기술한다. 둘째, 워크플로우 명세의 검증을 위해, 워크플로우 그래르를 레트리넷으로 변환하기 우한 방안을 제안한다. 셋째, 페트리넷을 이용하여 워크플로우 명세가 왼료 가능한지를 검증하는 완료 가능성 검증과 원하지 않는 워크플로우 상택가 존재하는지 검증하는 무결성 검증방안을 제안한다. 넷째, 제안된 검증방안의 구현 및 모순 추출 방안을 제안한다.