[논문 리뷰] Modeling Events as Machines

Sabah Al‐Fedaghi|arXiv (Cornell University)|2017. 04. 26.

Simulation Techniques and Applications참고 문헌 5인용 수 5

한 줄 요약

이 논문은 사건을 추상 기계로 모델링하는 새로운 다이어그램적 방법론을 제안한다. 사건을 시스템 내의 동적 단계로 간주함으로써, 시간, 공간, 객체를 통합된 프레임워크에 통합함으로써, 인공지능 및 소프트웨어 공학 분야의 다학제적 응용에 적합한 개념적이고 비기술적인 사건 표현 방식을 가능하게 한다.

ABSTRACT

The notion of events has occupied a central role in modeling and has an influence in computer science and philosophy. Recent developments in diagrammatic modeling have made it possible to examine conceptual representation of events. This paper explores some aspects of the notion of events that are produced by applying a new diagrammatic methodology with a focus on the interaction of events with such concepts as time and space, objects. The proposed description applies to abstract machines where events form the dynamic phases of a system. The results of this nontechnical research can be utilized in many fields where the notion of an event is typically used in interdisciplinary application.

연구 동기 및 목표

• 컴퓨터 과학 및 철학 분야에서 사건의 개념적 성격을 새로운 다이어그램적 접근을 통해 탐구하기.
• 시스템 모델링에서 시간, 공간, 객체와 같은 기본 개념과 사건이 어떻게 상호작용하는지 조사하기.
• 시스템 내의 동적 단계로 사건을 표현하기 위한 비기술적이고 추상적인 프레임워크 제공하기.
• 인공지능 및 소프트웨어 공학과 같이 사건 모델링이 핵심이 되는 분야에서의 다학제적 응용을 지원하기.
• 기존 기술적 구현 제약을 초월하는 개념적 모델링의 기반 마련하기.

제안 방법

• 사건을 추상 기계로 표현하기 위한 다이어그램적 방법론 제안하기.
• 개념적 모델링을 통해 사건을 시스템 생명주기 내의 동적 단계로 간주하기.
• 시간, 공간, 객체를 사건 표현 내에서 상호 연관된 차원으로 통합하기.
• 사건 주도 행동에 중점을 두고, 프레임워크를 추상 기계에 적용하기.
• 형식적 계산이나 실행 구현이 아닌 개념적 및 시각적 추론에 기반하기.
• 저수준 코드나 알고리즘을 특정하지 않고, 사건과 시스템 구성 요소 간의 상호작용에 집중하기.

실험 결과

연구 질문

• RQ1 시스템 내에서 사건을 동적 단계로 개념적으로 모델링하는 방법은 무엇인가?
• RQ2 사건을 기계로 표현할 때 시간과 공간의 역할은 무엇인가?
• RQ3 기계로 모델링된 시스템에서 사건은 객체와 어떻게 상호작용하는가?
• RQ4 기존 접근 방식에 비해 사건을 기계로 모델링하는 데서 얻는 개념적 이점은 무엇인가?
• RQ5 이 프레임워크는 인공지능 및 소프트웨어 공학 분야의 다학제적 모델링에서 어떻게 지원할 수 있는가?

주요 결과

• 프레임워크는 추상 기계 내에서 사건을 동적 단계로 성공적으로 표현하여, 더 명확한 개념적 이해를 가능하게 한다.
• 시간, 공간, 객체를 사건 모델링에 통합함으로써 시스템 행동에 대한 보다 통합적인 시각을 제공한다.
• 이 접근은 비기술적이며 인공지능 및 소프트웨어 공학 분야의 다학제적 응용에 적합하다.
• 형식적 구현이 필요 없이 사건 상호작용에 대한 개념적 추론을 지원한다.
• 이 방법론은 향후 다이어그램적 및 개념적 시스템 모델링 분야의 연구를 위한 기반을 제공한다.
• 결과는 개념적 일관성과 다양한 분야에의 적용 가능성을 통해 검증되었지만, 정량적 지표는 보고되지 않았다.