[논문 리뷰] MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems

Arne Haber, Jan Oliver Ringert외 1명|arXiv (Cornell University)|2014. 09. 22.

Advanced Software Engineering Methodologies참고 문헌 79인용 수 63

한 줄 요약

MontiArc는 상호작용적이고 분산형이며 사이버-물리적 시스템에서 구성 요소 및 연결 아키텍처를 모델링하기 위한 도메인 특화 언어이다. 이는 계층적 구성 요소 조합, 구조적 부타입, 제네릭 타입, 구성 가능한 구성 요소를 지원하며, 문법 인식 에디터와 시뮬레이션을 위한 자바 코드 생성기와 같은 도구 지원을 제공한다. 이 모든 것은 MontiCore DSL 프레임워크를 통해 구현되었다.

ABSTRACT

This report presents MontiArc, a modeling language for the description of Component & Connector architectures. A component is a unit executing computations and/or storing data. Information flow between components is modeled via unidirectional connectors connecting typed, directed ports of the interfaces of components. Language features of the ADL MontiArc include hierarchical decomposition of components, subtyping by structural inheritance, component type definitions and reference declarations for reuse, generic component types and configurable components, syntactic sugar for connectors, and controlled implicit creation of connections and subcomponent declarations. This technical report gives an overview of the MontiArc language and is a reference for the MontiArc grammar intended to enable reuse and extension of MontiArc and MontiArc related tools. MontiArc is implemented using the DSL framework MontiCore. Available tools include an editor with syntax highlighting and code completion as well as a simulation framework with a Java code generator.

연구 동기 및 목표

• 복잡한 상호작용적 분산형 및 사이버-물리적 시스템에 특화된 형식적이고 확장 가능한 아키텍처 모델링 언어를 제공하기 위해.
• 구성 요소 재사용과 모듈성에 기여하는 계층적 분해 및 구조적 상속을 지원하기 위해.
• 유연한 시스템 인스턴스화를 위한 구성 가능한 구성 요소와 제네릭 타입을 가능하게 하기 위해.
• 문법 강조, 코드 완성, 자바 코드 생성을 통한 시뮬레이션과 같은 도구 지원을 제공하기 위해.
• MontiArc 및 관련 도구의 재사용과 확장성을 위한 형식적 문법과 참조 사양을 수립하기 위해.

제안 방법

• 정확한 아키텍처 모델링을 위한 MontiCore 프레임워크 기반의 도메인 특화 언어(DSL) 정의.
• 정보 흐름을 위해 유형이 부여되고 방향성이 있는 포트와 단방향 연결을 가진 구성 요소 인터페이스 명세.
• 중첩된 구성 요소 구조와 하위 구성 요소 선언을 통한 계층적 분해 지원.
• 상속을 통한 구조적 부타입을 구현하여 구성 요소 타입의 특수화를 가능하게 함.
• 파rametric 재사용을 위한 제네릭 구성 요소 타입과 구성 가능한 구성 요소 도입.
• 연결 및 하위 구성 요소의 암시적 생성을 위한 문법적 당근과 빌드업을 줄이기 위한 문법적 당근 제공.

실험 결과

연구 질문

• RQ1 어떻게 모델링 언어가 상호작용적 분산형 및 사이버-물리적 시스템의 아키텍처를 효과적으로 표현할 수 있는가?
• RQ2 계층적 조합, 부타입, 구성 요소 재사용을 아키텍처 모델링에서 지원하기 위해 필요한 언어 구조는 무엇인가?
• RQ3 형식적 명세와 코드 생성, 시뮬레이션과 같은 실용적 도구 지원을 동시에 가능하게 하기 위해 DSL는 어떻게 설계되어야 하는가?
• RQ4 모델링 언어와 그 도구 체인의 확장성과 유지보수성을 보장하기 위한 메커니즘은 무엇인가?
• RQ5 문법적 당근과 암시적 선언은 명확성이나 정확성을 훼손하지 않으면서 개발 생산성을 어떻게 향상시킬 수 있는가?

주요 결과

• MontiArc는 구성 요소의 계층적 분해를 성공적으로 지원하여 모듈화되고 확장 가능한 시스템 설계를 가능하게 한다.
• 상속을 통한 구조적 부타입은 구성 요소 타입의 유형 안정성 있는 특수화를 가능하게 한다.
• 제네릭 구성 요소 타입과 구성 가능성은 민첩하고 재사용 가능한 아키텍처 패턴을 가능하게 한다.
• 언어는 연결에 대한 문법적 당근과 연결 및 하위 구성 요소의 암시적 생성을 제공하여 문장의 복잡성을 줄인다.
• 도구 지원에는 문법 강조와 코드 완성 기능이 포함된 기능이 풍부한 에디터가 포함되어 있어 사용성 향상에 기여한다.
• 자바 코드 생성기를 통한 시뮬레이션 프레임워크를 통해 모델링된 시스템의 런타임 검증 및 실행이 가능해진다.