DC Field | Value | Language |
---|---|---|
dc.contributor.author | 정희택 | ko |
dc.contributor.author | 이도헌 | ko |
dc.contributor.author | 김문자 | ko |
dc.contributor.author | 류영철 | ko |
dc.date.accessioned | 2013-03-03T00:29:40Z | - |
dc.date.available | 2013-03-03T00:29:40Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 1999-02 | - |
dc.identifier.citation | 정보처리학회논문지, v.6, no.2, pp.261 - 274 | - |
dc.identifier.issn | 0387-5806 | - |
dc.identifier.uri | http://hdl.handle.net/10203/76252 | - |
dc.description.abstract | 최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에 대한 연구가 활발히 이루어지고 있다. 기존 연구에서는 태스크 자체에 시간적 특성을 고려하지 않고 태스크의 상태 변이 특성만을 고려하였다. 본 연구는 태스크의 최소 처리시간과 마감시간을 고려함으로써, 시간 제약을 포함한 워크플로우 모델링 및 검증방안을 제안한다. 이를 위해 첫째, 마감시간을 위배하지 않는 태스크의 철회에 대해 대안 태스크를 결정할 수 있는 우선 순위 함수를 제안한다. 우선 순위 함수는 대안 태스크에 대한 시간요소, 의미적 호환 수준을 고려함으로써, 가장 적절한 대안 태스크를 결정한다. 둘째, 기존 연구에서는 순차 및 병행 종속성만을 고려하였으나, 본 연구에서는 태스크간 종속성을 순차 종속성이외에 다양한 병행 종속성인 동시 수행 종속성, 동시시작 종속성, 동시종료 종속성, 간섭된 종속성, 그리고 중첩된 종속성으로 구분하여 제안한다. 셋째, 기술된 워크플로우에 존재할 수 있는 논리적 모순을 발견하기 위해 그래프를 이용한 검증기법을 제안한다. | - |
dc.language | Korean | - |
dc.publisher | 한국정보처리학회 | - |
dc.title | 시간제약을 포함한 워크플로우 모델링 및 검증 | - |
dc.title.alternative | Modeling and Verification of Workflows with Time Constraints | - |
dc.type | Article | - |
dc.type.rims | ART | - |
dc.citation.volume | 6 | - |
dc.citation.issue | 2 | - |
dc.citation.beginningpage | 261 | - |
dc.citation.endingpage | 274 | - |
dc.citation.publicationname | 정보처리학회논문지 | - |
dc.contributor.localauthor | 이도헌 | - |
dc.contributor.nonIdAuthor | 정희택 | - |
dc.contributor.nonIdAuthor | 김문자 | - |
dc.contributor.nonIdAuthor | 류영철 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.