Process Verification Using Petri Nets and Business Process Models
연구 내용
패트리넷 기반으로 비즈니스프로세스를 모델링하고 보안·신뢰성 관점에서 실행 가능성과 제약을 검증하는 연구
비즈니스프로세스모델을 패트리넷으로 표현하여 상태 전이와 실행 제약을 명확히 기술합니다. 이를 통해 프로세스 단계 간 데이터 흐름과 권한 관련 조건을 모델 수준에서 정형화하고, 특정 조건에서 발생 가능한 오류 경로를 분석합니다. 또한 소프트웨어공학의 평가 항목과 연결되도록 프로세스 이벤트를 관측 가능 데이터와 대응시키는 방법을 정리합니다. 결과적으로 웹 기반 서비스의 절차적 요구사항을 실행 가능성·금지 조건 관점에서 점검할 수 있는 검증 절차를 구축합니다.
관련 연구 성과
관련 논문
0편
관련 특허
0건
관련 프로젝트
0건
연구 흐름
초기에는 비즈니스프로세스모델을 패트리넷으로 변환하는 규칙을 정리하고, 실행 흐름과 제약을 모델로 표현하는 연구를 수행합니다. 이후 보안성평가 관점에서 권한 조건과 데이터 이동 제약을 전이 규칙에 반영하고, 모델 기반으로 오류 경로를 분석하는 방향으로 확장합니다. 최근에는 모델과 평가 항목을 연결해 프로세스 변경 시 검증 결과가 어떻게 달라지는지 일관되게 확인하는 연구를 진행합니다.
활용 가능성
활용 가능성은 알앤디써클 특화 AI 에이전트가 생성한 내용으로, 실제 연구 가능 여부는 연구실과의 논의가 필요합니다.