모델 변환 언어

Model transformation language

시스템 및 소프트웨어 엔지니어링에서 모델 변환 언어는 모델 변환을 위해 특별히 고안된 언어입니다.

개요

모델 변환의 개념은 모델 중심 개발의 핵심입니다.기본적으로 모델에서 작동하는 프로그램인 모델 변환은 Java와 같은 범용 프로그래밍 언어로 작성될 수 있습니다.그러나 특수 목적 모델 변환 언어는 모델 요소를 쉽게 참조할 수 있는 구문과 같은 이점을 제공할 수 있습니다.두 개 이상의 모델 간에 일관성을 유지하는 쌍방향 모델 변환을 기술하는 경우, 전문 쌍방향 모델 변환 언어는 변환의 각 방향을 개별적으로 기술함으로써 발생하는 중복을 방지하는 데 도움이 되기 때문에 특히 중요합니다.

현재 대부분의 모델 변환 언어는 학계에서 개발되고 있습니다.OMG는 QVT라고 불리는 모델 변환 언어 패밀리를 표준화했지만 이 분야는 아직 [1]미숙합니다.

사용 가능한 변환 언어

  • ATL : INRIA에 의해 개발된 변환 언어
  • Beanbag([1] 참조): 데이터에 대한 일관성을 점진적으로 확립하기 위한 운영 기반 언어
  • GREAT : GME에서 사용 가능한 변환 언어
  • Epsilon 제품군([2] 참조): 모델 간, 모델 간, 텍스트 간, 업데이트 위치 이동, 마이그레이션 및 모델 병합 변환을 위한 변환 언어를 제공하는 모델 관리 플랫폼.
  • F-Alloy [3]: 알로이 구문의 일부를 재사용하여 효율적으로 계산할 수 있는 모델 변환의 간결한 사양을 실현하는 DSL.
  • Henshin ([4] 참조) : 그래프 변환 개념을 기반으로 상태 공간 탐색 기능을 제공하는 EMF 모델 변환 언어
  • JTL : 비주사적 변환 및 변경 전파를 지원하도록 특별히 설계된 양방향 모델 변환 언어입니다([5] 참조).
  • Kermeta: 범용 모델링 및 프로그래밍 언어.변형을 실행할 수도 있습니다.
  • Lx 패밀리([6] 참조): 저레벨 변환 언어 세트
  • M2M은 OMG QVT 표준의 Eclipse 구현입니다.
  • Mia-TL : Mia-Software가 개발한 변환 언어
  • MOF Model to Text Transformation Language: OMG는 M2T 변환을 표현하기 위한 표준을 정의했습니다.
  • MOLA([7] 참조): Lx에 내장된 그래픽 고급 변환 언어.
  • MT : 영국 런던 King's College에서 개발된 변환 언어(Converge PL 기반)
  • QVT : OMG는 MOF/QVT 또는 짧은 QVT라고 불리는 M2M 변환을 표현하기 위한 표준을 정의했습니다.
  • SiTra [8] : Java, C# 등의 표준 프로그래밍 언어를 사용한 실용적인 변환 접근법
  • Stratego/XT : 프로그래밍 가능한 전략을 사용한 개서를 기반으로 한 변환 언어
  • Tefkat : 변환 언어 및 모델 변환 엔진
  • 톰: 패턴 매칭과 전략으로 미적분을 다시 쓰는 것에 기반을 둔 언어.
  • UML-RSDS [9] : UML과 OCL을 이용한 모델 변환 및 MDD 접근법
  • VIATRA : 트랜스포메이션 기반의 검증 및 검증 환경을 위한 프레임워크

「 」를 참조해 주세요.

레퍼런스

  1. ^ France, Robert; Rumpe, Bernhard (2007). Model-driven Development of Complex Software: A Research Roadmap. Future of Software Engineering (FOSE '07). arXiv:1409.6620. doi:10.1109/FOSE.2007.14.

추가 정보