[논문 리뷰] Semantic integration of UML class diagram with semantic validation on segments of mappings

Hicham Elasri, Elmustapha Elabbassi외 2명|arXiv (Cornell University)|2018. 01. 13.

Service-Oriented Architecture and Web Services참고 문헌 9인용 수 3

한 줄 요약

이 논문은 정합성 보장을 위해 매핑 세그먼트의 의미적 검증을 통한 정합성 기반 매핑을 사용하여 UML 클래스 다이어그램의 의미적 통합 방법을 제안한다. 모델 요소 간의 관계를 통합 중 검증함으로써, 일관되고 오류 없는 통합 모델을 생성함으로써 분산 소프트웨어 개발 팀 간 협업을 향상시킨다.

ABSTRACT

Recently, attention has focused on the software development, specially by differ-ent teams that are geographically distant to support collaborative work. Manage-ment, description and modeling in such collaborative approach are through sever-al tools and techniques based on UML models. It is now supported by a large number of tools. Most of these systems have the ability to compare different UML models, assist developers, designers and also provide operations for the merging and integration, to produce a coherent model. The contribution in this ar-ticle is both to integrate a set of UML class diagrams using mappings that are re-sult of alignment and assist designers and developers in the integration. In addi-tion, we will present a detail integration of UML models with the validation of mappings between them. Such validation helps to achieve correct, consistent and coherent integrated model.

연구 동기 및 목표

• 분산 소프트웨어 개발 환경에서 여러 팀으로부터 온 UML 클래스 다이어그램을 통합하는 데 도전 과제를 해결한다.
• 자동화된 정렬 및 매핑 기법을 통해 UML 모델의 정확하고 일관된 통합을 가능하게 한다.
• 해당 요소 간의 매핑 검증을 통해 통합 모델의 의미적 정확성을 보장한다.
• 이질적인 UML 다이어그램에서 유도된 신뢰할 수 있고 일관되며 일관된 통합 모델을 개발자와 설계자에게 제공한다.
• 수동 병합 또는 문법적 기반 정렬만으로 인한 통합 오류 및 일관성 문제를 줄인다.

제안 방법

• 다양한 UML 클래스 다이어그램 간 요소 간 대응 관계를 식별하기 위해 정렬 기법을 적용한다.
• 다이어그램 내 해당 클래스, 속성 및 연관 관계 간 의미적 매핑을 생성한다.
• 사전 정의된 의미 규칙과 제약 조건을 사용하여 이러한 매핑의 의미적 일관성을 검증한다.
• 형식적인 검증 절차를 통해 모델 통합 이전에 매핑의 일관성 문제를 탐지하고 해결한다.
• 검증된 매핑을 하나의 통합 UML 클래스 다이어그램에 통합하여 의미적 정합성을 유지한다.
• 기존의 UML 모델링 도구와 표준을 활용하여 통합 파이프라인 내 호환성과 상호 운용성을 보장한다.

실험 결과

연구 질문

• RQ1 다양한 소스에서 온 UML 클래스 다이어그램을 의미적으로 통합하여 모델 일관성을 보장할 수 있는가?
• RQ2 해당 모델 요소 간 매핑의 의미적 정확성을 검증할 수 있는 메커니즘는 무엇인가?
• RQ3 의미적 검증은 통합된 UML 모델의 일관성 문제를 어느 정도 감소시키는가?
• RQ4 의미적 검증을 통한 정렬 기반 매핑을 어떻게 개선하여 통합 신뢰성을 높일 수 있는가?
• RQ5 의미적 검증은 최종 통합 모델의 일관성과 정확성에 어떤 영향을 미치는가?

주요 결과

• 제안된 방법은 검증된 매핑을 통해 여러 UML 클래스 다이어그램을 하나의 일관된 모델로 성공적으로 통합한다.
• 의미적 검증은 문법적 기반 통합에 비해 통합 모델의 오류 및 일관성 문제를 크게 감소시킨다.
• 검증 절차는 소스 다이어그램 내 해당 요소 간 의미적 불일치를 효과적으로 탐지하고 해결한다.
• 모델 무결성과 일관성을 보장함으로써 이 방법은 분산 개발 팀 간 협업을 향상시킨다.
• 통합 과정은 실용적인 소프트웨어 공학 워크플로우에서 UML 도구와 함께 사용 가능한 강력한 성능을 보인다.