[논문 리뷰] Modeling Events and Events of Events in Software Engineering

Sabah Al‐Fedaghi|arXiv (Cornell University)|2020. 01. 31.

Advanced Software Engineering Methodologies참고 문헌 26인용 수 4

한 줄 요약

이 논문은 소프트웨어 공학에서 동적 시스템 행동을 더 잘 포착하기 위해 입력-처리-출력 패러다임을 확장한 thinging machine (TM) 모델을 제안한다. 이 모델은 모든 시스템 이벤트를 모델링할 수 있는 다섯 가지 일반적인 이벤트 프로세스—생성, 처리, 수신, 해제, 이관—을 제안하여 구성 요소 인터페이스와 관측 가능한 행동을 통합적이고 다이어그램 기반으로 명세화함으로써 복잡성을 감소시키고 시각적 추상화를 통해 소통을 향상시킨다.

ABSTRACT

A model is a simplified representation of portion of reality that hides a system s nonessential characteristics. It provides a means for reducing complexity as well as visualization and communication and a basis for building it. Most models involve graphic languages during many of the software lifecycle phases. A new model, called thinging machine (TM), has recently been developed as an extension of the input-process-output framework. The paper focuses on events in a TM, offering a new perspective that captures a system s dynamic behaviors and a means of diagrammatically modeling events. The event notion is an important factor in giving semantics to specifications and providing a natural way to specify the interfaces and observable behavior of system components. Specifically, five generic TM event processes are analyzed: create, process, receive, release, and transfer. All events can be mapped (or reduced) to the events of these five event processes

연구 동기 및 목표

• 소프트웨어 시스템의 동적 행동을 명확하고 단순화된 표현 방식으로 모델링하는 데 도전한다.
• 시각적 모델링 프레임워크를 통해 비필수적 특성을 추상화함으로써 시스템 복잡성을 감소시킨다.
• 구성 요소 인터페이스와 관측 가능한 행동을 표준화된 다이어그램 기반 방법으로 명세화한다.
• 소프트웨어 생명주기 단계를 위한 새로운 이벤트 중심 프레임워크로 입력-처리-출력 모델을 확장한다.
• 통합된 이벤트 분류 체계를 통해 시스템 행동의 명세화와 소통을 향상시킨다.

제안 방법

• 입력-처리-출력 프레임워크를 확장하여 시스템 동역학을 모델링하는 새로운 모델인 thinging machine (TM)을 제안한다.
• 모든 시스템 이벤트의 기초가 되는 다섯 가지 기본 이벤트 프로세스—생성, 처리, 수신, 해제, 이관—을 식별한다.
• 모든 시스템 수준의 이벤트를 이 다섯 가지 일반적 프로세스로 매핑하여 의미적 통합과 추상화를 달성한다.
• 이벤트와 이벤트 흐름을 소프트웨어 생명주기 단계 전반에 걸쳐 시각적으로 표현하기 위해 그래픽 모델링 기법을 사용한다.
• 구성 요소 명세에 모델을 적용하여 관측 가능한 행동과 인터페이스 의미론을 명확히 정의한다.
• 비필수적 시스템 특성을 숨기기 위해 추상화를 활용하여 명확성을 향상시키고 복잡성을 감소시킨다.

실험 결과

연구 질문

• RQ1 통합 프레임워크를 사용하여 소프트웨어 공학에서 동적 시스템 행동을 체계적으로 모델링할 수 있는 방법은 무엇인가?
• RQ2 모든 시스템 수준의 이벤트를 표현할 수 있는 최소한의 일반 이벤트 프로세스 집합은 무엇인가?
• RQ3 이벤트 모델링은 구성 요소 인터페이스의 명세화와 시각화를 어떻게 향상시킬 수 있는가?
• RQ4 Thething machine 모델은 기존 모델에 비해 시스템 복잡성을 어떻게 감소시키는가?
• RQ5 모든 시스템 이벤트를 의미의 정밀도를 잃지 않고 소수의 기본 이벤트 프로세스로 축소할 수 있는가?

주요 결과

• 모든 시스템 이벤트는 공식적으로 다섯 가지 일반 이벤트 프로세스—생성, 처리, 수신, 해제, 이관—중 하나로 축소될 수 있다.
• Thething machine 모델은 소프트웨어 생명주기 단계 전반에 걸쳐 동적 행동을 일관되고 단순화된 방식으로 표현할 수 있다.
• 다섯 가지 프로세스를 통한 이벤트 모델링은 구성 요소 인터페이스와 관측 가능한 행동의 명확한 명세화를 가능하게 한다.
• 비필수적 시스템 세부 정보를 추상화함으로써 이해관계자 간의 시각적 표현과 소통을 향상시킨다.
• 이 프레임워크는 이해관계자 간의 이해를 향상시키고 인지 부하를 감소시키는 다이어그램 기반의 시스템 모델링을 지원한다.
• 이 접근법은 명확성과 재사용성을 향상시키며 소프트웨어 명세에서 이벤트 의미론을 체계화하는 기초를 제공한다.