[논문 리뷰] Process Description, Behavior, and Control

Sabah Al‐Fedaghi, Haya Alahmad|arXiv (Cornell University)|2017. 07. 26.

Advanced Control Systems Optimization참고 문헌 14인용 수 3

한 줄 요약

이 논문은 정부 IT 부서의 컴퓨터 서비스를 모델링하기 위한 다이어그램 기반 언어를 제안하며, 정적 프로세스 기술, 이벤트 기반 동작 명세, 제어 메커니즘을 통합한다. 이 방법은 완전하고 이해하기 쉬우며 형식적으로 명세 가능한 프로세스 모델을 가능하게 하며, 정부 부처의 IT 부서에서의 서비스 플로우에 대한 실제 사례 연구를 통해 이를 입증한다.

ABSTRACT

Modeling processes are the activities of capturing and representing processes and control of their dynamic behavior. Desired features of the model include capture of relevant aspects of a real phenomenon, understandability, and completeness of static and dynamic specifications. This paper proposes a diagrammatic language for engineering process modeling that provides an integration tool for capturing the static description of processes, framing their behaviors in terms of events, and utilizing the resultant model for controlling processes. Without loss of generality, the focus of the paper is on process modeling in the area of computer engineering, and specifically, on modeling of computer services. To demonstrate the viability of the method, the proposed model is applied to depicting flow of services in the Information Technology department of a government ministry.

연구 동기 및 목표

• 컴퓨터 공학에서 복잡하고 동적인 프로세스를 명확한 정적 및 동적 명세로 모델링하는 데 도전하는 데 목적을 둔다.
• 프로세스 기술, 행동 이벤트, 제어 메커니즘을 통합하는 통합된 모델링 접근법을 개발한다.
• 모델의 완전성, 이해 가능성, 그리고 정부 IT 서비스와 같은 실제 시스템에의 적용 가능성을 확보한다.
• 엔지니어와 시스템 설계자가 서비스 중심 프로세스를 모델링하고 제어할 수 있도록 형식적이지만 직관적인 프레임워크를 제공한다.

제안 방법

• 정적 구조와 프로세스의 동적 행동을 포괄하는 다이어그램 기반 모델링 언어를 제안한다.
• 이벤트를 핵심 메커니즘으로 사용하여 프로세스 행동을 프레임화하고 정의한다.
• 제어 논리를 모델에 통합하여 런타임 프로세스 관리 및 모니터링을 가능하게 한다.
• 정부 부처의 IT 부서에서의 서비스 플로우를 포함한 실제 사례 연구에 모델을 적용한다.
• 12개의 그림을 사용하여 프로세스 구성 요소, 이벤트, 제어 플로우를 표현하는 시각적 표기법을 활용한다.
• 정적 명세와 동적 행동 및 제어 정책 간의 일치를 통해 완전성을 확보한다.

실험 결과

연구 질문

• RQ1 통합된 모델링 언어는 컴퓨터 서비스 프로세스의 정적 및 동적 측면을 어떻게 포괄할 수 있는가?
• RQ2 서비스 중심 환경에서 이벤트는 프로세스 행동을 정의하고 제어하는 데 어떤 역할을 하는가?
• RQ3 다이어그램 기반 모델은 실제 IT 서비스 프로세스에서 이해 가능성과 형식적 제어를 동시에 지원할 수 있는가?
• RQ4 다양한 조직적 맥락에서 재사용 가능한 프로세스 모델은 어떻게 만들 수 있는가?

주요 결과

• 제안된 다이어그램 기반 언어는 정적 프로세스 기술, 이벤트 기반 행동, 제어 논리를 하나의 일관된 모델로 성공적으로 통합한다.
• 실제 정부 IT 서비스 시나리오에서 모델이 완전성과 이해 가능성 모두를 입증하였다.
• 이벤트를 행동 트리거로 사용함으로써 프로세스 전환과 제어 포인트의 정밀한 명세가 가능해졌다.
• 설계에서 구현으로의 추적 가능성이 향상되어 유지보수성과 검증성이 향상되었다.
• 사례 연구를 통해 복잡한 서비스 플로우를 대규모 조직 시스템에서 모델링하는 데 모델의 타당성이 확인되었다.
• 이 방법은 서비스 프로세스의 형식적 검증 및 자동 제어를 위한 기반을 제공한다.