시간 제약을 포함한 워크플로우 모델링 및 검증 = Modeling and Verification of Workflows with Time Constraints
저자
정희택 ; 이도헌 ; 김문자 ; 류영철 ; Jeong, Hui-Taek ; Lee, Do-Heon ; Kim, Mun-Ja ; Ryu, Yeong-Cheol
발행기관
학술지명
권호사항
발행연도
1999
작성언어
Korean
자료형태
학술저널
수록면
261-274(14쪽)
제공처
소장기관
최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에 대한 연구가 활발히 이루어지고 있다. 기존 연구에서는 태스크 자체에 시간적 특성을 고려하지 않고 태스크의 상태 변이 특성만을 고려하였다. 본 연구는 태스크의 최소 처리시간과 마감시간을 고려함으로써, 시간 제약을 포함한 워크플로우 모델링 및 검증방안을 제안한다. 이를 위해 첫째, 마감시간을 위배하지 않는 태스크의 철회에 대해 대안 태스크를 결정할 수 있는 우선 순위 함수를 제안한다. 우선 순위 함수는 대안 태스크에 대한 시간요소, 의미적 호환 수준을 고려함으로써, 가장 적절한 대안 태스크를 결정한다. 둘째, 기존 연구에서는 순차 및 병행 종속성만을 고려하였으나, 본 연구에서는 태스크간 종속성을 순차 종속성이외에 다양한 병행 종속성인 동시 수행 종속성, 동시시작 종속성, 동시종료 종속성, 간섭된 종속성, 그리고 중첩된 종속성으로 구분하여 제안한다. 셋째, 기술된 워크플로우에 존재할 수 있는 논리적 모순을 발견하기 위해 그래프를 이용한 검증기법을 제안한다.
더보기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.
더보기서지정보 내보내기(Export)
닫기소장기관 정보
닫기권호소장정보
닫기오류접수
닫기오류 접수 확인
닫기음성서비스 신청
닫기음성서비스 신청 확인
닫기이용약관
닫기학술연구정보서비스 이용약관 (2017년 1월 1일 ~ 현재 적용)
학술연구정보서비스(이하 RISS)는 정보주체의 자유와 권리 보호를 위해 「개인정보 보호법」 및 관계 법령이 정한 바를 준수하여, 적법하게 개인정보를 처리하고 안전하게 관리하고 있습니다. 이에 「개인정보 보호법」 제30조에 따라 정보주체에게 개인정보 처리에 관한 절차 및 기준을 안내하고, 이와 관련한 고충을 신속하고 원활하게 처리할 수 있도록 하기 위하여 다음과 같이 개인정보 처리방침을 수립·공개합니다.
주요 개인정보 처리 표시(라벨링)
목 차
3년
또는 회원탈퇴시까지5년
(「전자상거래 등에서의 소비자보호에 관한3년
(「전자상거래 등에서의 소비자보호에 관한2년
이상(개인정보보호위원회 : 개인정보의 안전성 확보조치 기준)개인정보파일의 명칭 | 운영근거 / 처리목적 | 개인정보파일에 기록되는 개인정보의 항목 | 보유기간 | |
---|---|---|---|---|
학술연구정보서비스 이용자 가입정보 파일 | 한국교육학술정보원법 | 필수 | ID, 비밀번호, 성명, 생년월일, 신분(직업구분), 이메일, 소속분야, 웹진메일 수신동의 여부 | 3년 또는 탈퇴시 |
선택 | 소속기관명, 소속도서관명, 학과/부서명, 학번/직원번호, 휴대전화, 주소 |
구분 | 담당자 | 연락처 |
---|---|---|
KERIS 개인정보 보호책임자 | 정보보호본부 김태우 | - 이메일 : lsy@keris.or.kr - 전화번호 : 053-714-0439 - 팩스번호 : 053-714-0195 |
KERIS 개인정보 보호담당자 | 개인정보보호부 이상엽 | |
RISS 개인정보 보호책임자 | 대학학술본부 장금연 | - 이메일 : giltizen@keris.or.kr - 전화번호 : 053-714-0149 - 팩스번호 : 053-714-0194 |
RISS 개인정보 보호담당자 | 학술진흥부 길원진 |
자동로그아웃 안내
닫기인증오류 안내
닫기귀하께서는 휴면계정 전환 후 1년동안 회원정보 수집 및 이용에 대한
재동의를 하지 않으신 관계로 개인정보가 삭제되었습니다.
(참조 : RISS 이용약관 및 개인정보처리방침)
신규회원으로 가입하여 이용 부탁 드리며, 추가 문의는 고객센터로 연락 바랍니다.
- 기존 아이디 재사용 불가
휴면계정 안내
RISS는 [표준개인정보 보호지침]에 따라 2년을 주기로 개인정보 수집·이용에 관하여 (재)동의를 받고 있으며, (재)동의를 하지 않을 경우, 휴면계정으로 전환됩니다.
(※ 휴면계정은 원문이용 및 복사/대출 서비스를 이용할 수 없습니다.)
휴면계정으로 전환된 후 1년간 회원정보 수집·이용에 대한 재동의를 하지 않을 경우, RISS에서 자동탈퇴 및 개인정보가 삭제처리 됩니다.
고객센터 1599-3122
ARS번호+1번(회원가입 및 정보수정)