비아트라

VIATRA

비아트라(VIATRA)는 Eclipse Modeling Framework(EMF)를 기반으로 한 오픈소스 모델 변환 프레임워크로, Eclipse Foundation이 주최한다.

VIATRA는 이벤트 기반, 반응형 변환, 즉 모델의 특정 외부 변화에 대한 반응으로 변형이 발생하는 규칙 기반 시나리오에 특정한 초점을 맞춘 모델 변환 개발을 지원한다.

VIATRA는 모델의 패턴과 변화를 찾기 위한 점진적인 질의 지원을 바탕으로 변환을 정의하는 언어(VIATRA Query Language, VQL)와 기본 모델의 변경 시 특정 변환을 실행하는 반응형 변환 엔진을 제공한다.

응용 프로그램 도메인

비아트라(VIATRA)는 오픈 소스 프레임워크 오퍼링으로서 산업 및 학술적 맥락에서 다양한 애플리케이션에서 중앙 통합 지점 및 활성화 엔진의 역할을 한다.이전 버전의 프레임워크는 DECOS, MOGENTES, IndexYS 및 SecureChange와 같은 수많은 유럽 연구 프로젝트에서 중요한 임베디드 시스템을 개발하고 검증하기 위한 도구 지원을 제공하기 위해 집중적으로 사용되어 왔다.

VIATRA의 주요 산업 애플리케이션으로서, [IncQuery Suite https://incquery.io]의 기본 모델 쿼리 및 변환 엔진으로 활용되고 있다.그러므로 비아트라(VIATRA)는 MBSE(모델 기반 시스템 엔지니어링)를 중심으로 한 여러 산업 협력의 핵심 기술 요소로서 항공우주, 제조, 산업 자동화, 자동차 등의 분야에서 혁신적인 시스템 엔지니어링 관행을 육성한다.게다가, InCQuery Suite의 응용 프로그램을 통해 VIATRA는 Arrowhead Tools 및 Abidance 프로젝트와 같은 진행 중인 대규모 유럽 산업 디지털화 노력의 모델 기반 노력의 기초가 된다.

VIATRA는 Eclipse Modeling 도구(예: Ujhelyi 등의 논문)와 잘 통합되어 있다.그러나 VIATRA는 JetBraines MPS 플랫폼을 사용하는 IncA 프로젝트에서 입증되었듯이 Eclipse 환경 밖에서 일하기도 한다.

기능

VIATRA는 다음과 같은 주요 서비스를 제공한다.

  • 모델 쿼리를 효율적으로 지정하고 실행하기 위한 그래프 패턴 기반 언어와 함께 증분 쿼리 엔진.
  • 배치 및 이벤트 기반 반응형 변환을 모두 지정하는 Xtend 언어를 통한 내부 DSL.
  • 기밀 모델(예: 버그 리포트 생성)에서 중요한 정보를 제거하는 모델 난독화기.

기원과 역사

현재의 VIATRA 프로젝트는 이전의 VIATRA2 프레임워크를 완전히 다시 쓴 것으로 EMF 모델에 대한 완벽한 호환성과 지원이 제공된다.이 프로젝트에는 여러 버전 간의 주요 차이점을 설명하는 History wiki 페이지가 포함되어 있다.프레임워크의 진화 또한 Daniel Varro et al.의 논문의 주제가 되어 왔다.

이전의 VIATRA2 프레임워크의 적용에 대해서는, 신뢰할 수 있는 임베디드 시스템 분야에서 DECOS 유럽 IP의 기본 모델 변환 엔진의 역할을 했다.또한 VIATRA2의 기존 애플리케이션 영역은 1998년부터 다양한 모델링 언어(SysML, UML, BPMN 등)를 사용하여 기술된 다양한 애플리케이션 영역(안전 중요 및/또는 임베디드 시스템, 강력한 e-비즈니스 애플리케이션, 미들웨어, 서비스 지향 아키텍처)에서 가져온 시스템 모델의 분석을 지원하는 것이었다.c.) 모델 구동 시스템 엔지니어링 프로세스 중.이러한 모델 분석에는 일반적으로 설계 중인 시스템의 비기능 특성(신뢰성, 가용성, 응답성, 처리량 등)에 대한 초기 평가뿐만 아니라 검증 및 검증, 시험, 안전성 및 보안 분석도 포함된다.

이러한 사용 사례와 애플리케이션 분야는 여전히 VIATRA의 초점 영역을 구성하며, 주로 사용자 끝에 있는 인터페이스로서 IncQuery Suite를 통해 다루어진다.

접근하다

정확한 모델 기반 시스템 개발은 VIATRA의 주요 적용 영역이기 때문에 (i) 모델 변환을 수학적으로 정밀한 방법으로 지정하고, (ii) 이러한 변환을 자동화하여 대상 수학 모델을 완전히 자동으로 도출할 수 있어야 한다.이를 달성하기 위해 VIATRA는 수학적으로 정밀한 규칙 기반 규격 형식주의, 즉 그래프 변환(GT)에 의존한다. VIATRA는 보이지 않는 형식 방법을 목표로 한다. 여기서 형식적인 세부사항은 시스템 모델을 다양한 수학 영역으로 투영하는 자동화된 모델 변환에 의해 숨겨진다(그리고 그 반대도 가능하다).

VIATRA 내에서 모델 변형을 정의하는 기본 개념은 (그래프) 패턴이다.패턴은 (속성 조건이나 다른 패턴에 의해 정의된 대로) 추가적인 제약 조건을 충족하는 특정 구조로 배열된 모델 요소의 집합이다.패턴은 특정 모델 인스턴스(instance)에서 일치할 수 있으며, 패턴 매칭에 성공하면 그래프 변환 규칙에 의해 기본 모델 조작이 지정된다.OCL과 마찬가지로 그래프 변환 규칙은 변환에 대한 사전 조건과 사후 조건을 기술하지만, 그래프 변환 규칙은 실행 가능한 것으로 보장되어 있어 주요한 개념적 차이점이다.

특히, 반응성, 사건 주도형 변환이 VIATRA의 현재 초점인 것처럼, VIATRA는 (사건으로 해석되는) 변경을 감시하는 규칙 실행 엔진을 포함하고, 변경이 해당 규칙의 전제 조건의 충족으로 이어질 때마다 규칙을 발사한다(그리고, 잠재적으로, 일부 추가 통제 조건도 충족되는 경우)..

참고 항목

외부 링크