선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
문제 정의
- 본 논문에서는 워크플로우 모델 상에서의 제어 흐름을 분석하기 위해 정형적인 표현기법인 ICN 을 기반으로 정의돤 워크플로우 프로세스로부터 액티비티간의 제어 의존성 관계를 정의하는 제어 의존 넷을 생성하는 알고리즘을 제안하였다. 제어 의존 넷 및 이의 생성 알고리즘을 통해서 워크플로우 제어 흐름의 동적 변경 지원 기눙에 대한 완결성을 향상시킬 수 있다.
- 그리고, 각각의 액티버티들은 OR 또는 AND 노드를 통해 선택적 또는 병렬적 실행 제어 순서 관계를 갖을 수 있다. 본 논문에서는 이와 같은 액티버티들 간의 실행 순서에 대한 제어 흐름을 분석하여 각 액티버티들간에 존재하는 실행 제어 의존성 관계를 정의하기 위한 정형적 메커니즘을 제안한다. 즉, 그래프를 통한 워크플로우의 정형적 표현기법인 ICN 모델을 기반으로 정의된 워크플로우 프로세스로부터 액티버티들간의 제어 의존성 관계를 정의하는 제어 의존 넷을 생성하는 알고리즘을 제안하였다.
가설 설정
- (1) ICN에서 Walk) 는 액티비트 간에 순서를 나타나며, 胜 의 길이는 W 이다. I 用 =0 이면 액티비티를 아무 일도 하지 않으면 empty 부른다.
- ① I는 초기에 입력되는 자료 저장소들의 유한집합이며 ICN 의 실행 전에 어떠한 외부의 프로세스에 의해서 로드(load)되어져야 한다고 가정한다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.