[논문 리뷰] Context, Composition, Automation, and Communication -- The C2AC Roadmap for Modeling and Simulation

Adelinde M. Uhrmacher, Peter I. Frazier외 10명|arXiv (Cornell University)|2023. 10. 09.

Simulation Techniques and ApplicationsDecision Sciences인용 수 3

한 줄 요약

이 논문은 모델링 및 시뮬레이션을 향상시키기 위해 맥락, 구성, 자동화, 소통의 네 가지 요소를 포함하는 C2AC 로드맵을 제안한다. 이는 맥락 캡처 향상, 모델의 구성 및 재사용, 시뮬레이션 워크플로우의 자동화, 결과의 효과적 소통을 목표로 한다. 이 프레임워크는 모든 시뮬레이션 자료의 모호하지 않은 기계 처리 가능한 표현을 강조하여 연구 및 의사결정 맥락에서 재현 가능성, 신뢰성, 사용성 향상을 도모한다.

ABSTRACT

Simulation has become, in many application areas, a sine-qua-non. Most recently, COVID-19 has underlined the importance of simulation studies and limitations in current practices and methods. We identify four goals of methodological work for addressing these limitations. The first is to provide better support for capturing, representing, and evaluating the context of simulation studies, including research questions, assumptions, requirements, and activities contributing to a simulation study. In addition, the composition of simulation models and other simulation studies' products must be supported beyond syntactical coherence, including aspects of semantics and purpose, enabling their effective reuse. A higher degree of automating simulation studies will contribute to more systematic, standardized simulation studies and their efficiency. Finally, it is essential to invest increased effort into effectively communicating results and the processes involved in simulation studies to enable their use in research and decision-making. These goals are not pursued independently of each other, but they will benefit from and sometimes even rely on advances in other subfields. In the present paper, we explore the basis and interdependencies evident in current research and practice and delineate future research directions based on these considerations.

연구 동기 및 목표

• 코로나19 패an드믹 기간 동안 드러난 현재 시뮬레이션 관행의 한계를 해결하기 위해, 특히 모델 개발 속도, 결과 해석, 비전문가와의 소통 문제를 해결한다.
• 연구 질문, 가정, 요구사항, 시뮬레이션 실험을 형식적으로 표현된 주요 자료로 간주함으로써 시뮬레이션 연구의 방법론적 기반을 강화한다.
• 구문적 호환성 이상의 수준에서 의미론적이고 목적 중심의 통합을 통해 시뮬레이션 모델의 재사용성과 조합 가능성 향상을 가능하게 한다.
• 인간의 실수를 줄이고 일관성을 높이며 고급 분석 기법의 광범위한 적용을 가능하게 하기 위해 시뮬레이션 워크플로우의 자동화를 증진시킨다.
• 모델러, 도메인 전문가, 의사결정자 간의 소통을 구조적이고 접근 가능하며 상호작용 가능한 방식으로 시뮬레이션 결과 및 과정을 표현함으로써 개선한다.

제안 방법

• 맥락, 구성, 자동화, 소통를 상호의존적인 차원으로 명시적으로 모델링하는 통합된 모델링 및 시뮬레이션 수명주기 프레임워크를 제안한다.
• 모델링 질문, 가정, 요구사항, 시뮬레이션 실험, 결과를 포함한 모든 시뮬레이션 자료의 모호하지 않은 기계 처리 가능한 표현이 필요하다는 점을 제시한다.
• 도메인 특화 언어(DSLs), 온톨로지, 주석을 활용하여 의미론적 수준의 모델 및 구성 요소의 조합 및 재사용을 지원한다.
• 추론 및 기계 학습을 포함한 지식 기반 시스템과 AI 기법을 통합하여 모델 생성, 실험 설정, 결과 설명의 자동화를 달성한다.
• 소프트웨어 공학 및 인간-컴퓨터 상호작용 원칙을 적용하여 시뮬레이션 수명주기 전반에 걸쳐 모델러와 사용자의 참여를 유지할 수 있는 도구를 설계한다.
• 효율성, 효과성, 정확성 기반 평가 프레임워크를 개발하며, 특히 신뢰성 및 이해도 측정 지표에 중점을 두어 시뮬레이션 연구 평가를 수행한다.

Figure 1: Modeling and simulation life cycle adapted to the $C^{2}AC$ roadmap. Central life cycle artifacts are the conceptual model, the simulation model, the simulation experiment specifications, and the simulation results. We distinguish between different types of users involved in the modeling a

실험 결과

연구 질문

• RQ1 어떻게 시뮬레이션 연구를 연구 질문, 가정, 의사결정 과정 등을 포함한 풍부한 맥락과 함께 체계적으로 기록할 수 있을까? 이는 재현 가능성과 신뢰성 확보에 기여한다.
• RQ2 구문적 호환성 이상의 수준에서 의미론적 수준의 모델 조합 및 재사용을 가능하게 하는 형식적 메커니즘은 무엇인가?
• RQ3 시뮬레이션 수명주기 전반에 걸쳐 자동화를 체계적으로 적용하는 방법은 무엇이며, 이는 일관성 향상, 실수 감소, 분석 능력 확장에 어떻게 기여하는가?
• RQ4 비전문가 스테이크홀더, 즉 도메인 전문가와 의사결정자에게 시뮬레이션 결과 및 과정을 효과적으로 소통하는 방법은 무엇인가?
• RQ5 이해도, 신뢰성, 사용성 향상에 대한 개선을 신뢰성 있게 평가할 수 있는 평가 지표 및 방법은 무엇인가? 이는 인간-컴퓨터 상호작용 및 지표 설계 분야의 새로운 연구가 필요하다.

주요 결과

• C2AC 로드맵은 상호의존적인 네 가지 기둥—맥락, 구성, 자동화, 소통—을 시뮬레이션 연구 및 실천을 발전시키는 데 필수적인 요소로 규명한다.
• 가정과 연구 질문을 포함한 모든 시뮬레이션 자료의 형식적이고 기계 처리 가능한 표현은 재현 가능성과 상호운용성 달성의 기초가 된다.
• 도메인 특화 언어, 온톨로지, 구조화된 주석을 통해 구문적 호환성 이상의 의미론적 수준의 모델 조합 및 재사용이 가능해진다.
• 시뮬레이션 워크플로우의 자동화는 인간의 실수를 줄이고 효율성을 높이며 고급 분석 방법의 광범위한 적용 가능성을 높인다.
• 시뮬레이션 결과의 효과적 소통는 의사결정자 및 도메인 전문가와 같은 다양한 사용자 유형에 맞춰진 상호작용적, 시각적, 요약 기반 기법이 필요하다.
• 시뮬레이션 연구 평가에는 기술적 정확성 이외에도 신뢰성, 이해도, 사용성 측정 지표가 포함되어야 하며, 이는 인간-컴퓨터 상호작용 및 지표 설계 분야의 새로운 연구가 요구된다.

Figure 3: To move forward, the context of simulation studies needs to be explicitly and unambiguously represented. Different artifacts play a role (here depicted with their individual life cycle), inspired by [ 164 ] . Methods are needed to interrelate those with provenance retrospectively as well a