[논문 리뷰] UCMExporter: Supporting Scenario Transformations from Use Case Maps

Daniel Amyot, Ali Echihabi외 1명|arXiv (Cornell University)|2010. 12. 11.

Advanced Software Engineering Methodologies참고 문헌 11인용 수 8

한 줄 요약

UCMExporter는 Use Case Maps(UCM) 시나리오를 UML 순서도, 메시지 순서도(MSC), 그리고 TTCN-3 테스트 스켈레톤으로 자동으로 변환하는 도구로, 고수준 요구사항에서 상세 설계로의 원활한 전환을 가능하게 한다. 이 도구는 병행 경로 처리, 메시지 커스터마이제이션, 도구 간 상호운용성과 같은 과제를 체계적인 변환 아키텍처를 통해 해결하여 수작업 작업을 줄이고 개발 단계 간 일관성을 향상시킨다.

ABSTRACT

The Use Case Maps (UCM) scenario notation is applicable to many requirements engineering activities. However, other scenario notations, such as Message Sequence Charts (MSC) and UML Sequence Diagrams (SD), have shown to be better suited for detailed design. In order to use the notation that is best appropriate for each phase in an efficient manner, a mechanism has to be devised to automatically transfer the knowledge acquired during the requirements analysis phase (using UCM) to the design phase (using MSC or SD). This paper introduces UCMEXPORTER, a new tool that implements such a mechanism and reduces the gap between high-level requirements and detailed design. UCMEXPORTER automatically transforms individual UCM scenarios to UML Sequence Diagrams, MSC scenarios, and even TTCN-3 test skeletons. We highlight the current capabilities of the tool as well as architectural solutions addressing the main challenges faced during such transformation, including the handling of concurrent scenario paths, the generation of customized messages, and tool interoperability.

연구 동기 및 목표

• Use Case Maps(UCM)로 표현된 고수준 요구사항과 UML 순서도 및 메시지 순서도(MSC)와 같은 상세 설계 표기법 간 격차를 줄이기 위해.
• 요구사항 단계에서의 시나리오 지식을 설계 및 테스트 단계로 자동으로 이관하여 수작업 재작업을 최소화하기 위해.
• TTCN-3와 같은 다른 형식적 표기법과의 상호운용성을 지원하여 테스트 케이스 생성을 가능하게 하기 위해.
• 변환 과정에서 발생하는 주요 과제, 즉 병행 시나리오 경로, 메시지 커스터마이제이션, 도구 통합을 해결하기 위해.

제안 방법

• 도구는 UCM 시나리오 구성요소를 UML 순서도, MSC, 그리고 TTCN-3의 해당 요소로 매핑하는 모델 변환 아키텍처를 사용한다.
• UCM 액터, 이벤트, 제어 흐름을 대상 표기법의 메시지 및 상호작용로 변환하기 위해 규칙 기반 변환 엔진을 활용한다.
• 병행 경로는 병행 실행 흐름을 별도의 라이프라인과 상호작용 조각으로 모델링하여 UCM 시나리오에서 대상 다이어그램에 정확히 반영한다.
• 메시지 이름과 매개변수를 UCM 이벤트 의미론에서 유도하는 의미 규칙을 통해 메시지 생성을 커스터마이제이션한다.
• UCM 구성요소를 UML 및 MSC에서 사용하는 표준 모델링 관례와 일치시켜 상호운용성을 확보한다.
• 텍스트 형식의 TTCN-3 테스트 스켈레톤을 포함한 다양한 형식으로 내보내기를 지원하여 공식 테스트 환경에서 직접 활용할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 UCM 시나리오를 어떻게 체계적으로 UML 순서도와 MSC로 변환하여 설계 단계 모델링을 지원할 수 있는가?
• RQ2 UCM에서 상세 상호작용 표기법으로 변환할 때 의미의 정합성을 유지하기 위해 필요한 변환 규칙는 무엇인가?
• RQ3 UCM의 병행 실행 경로는 UML 및 MSC와 같은 대상 표기법에 어떻게 정확히 모델링될 수 있는가?
• RQ4 UCM 시나리오에서 실행 가능한 TTCN-3 테스트 스켈레톤을 생성하기 위한 메커니즘은 무엇인가?
• RQ5 UCM, UML, MSC, 그리고 TTCN-3 간의 도구 상호운용성을 어떻게 달성하면서도 일관성과 정확성을 유지할 수 있는가?

주요 결과

• UCMExporter는 의미의 정합성을 유지하면서 개별 UCM 시나리오를 UML 순서도, MSC 시나리오, 그리고 TTCN-3 테스트 스켈레톤으로 성공적으로 변환한다.
• 도구는 병행 경로를 별도의 라이프라인과 상호작용 조각으로 매핑하여 UCM에서 병행 실행 흐름을 대상 다이어그램에 효과적으로 모델링한다.
• 메시지의 의미론을 변환 과정에서 유지하는 의미 규칙을 통해 커스터마이제이션된 메시지 생성을 달성한다.
• UCM과 다른 모델링 도구 간의 변환 과정에서 상호운용성을 확보하여 기존 개발 파이프라인에 원활하게 통합할 수 있다.
• 고수준 요구사항에서 상세 상호작용 모델을 자동으로 유도함으로써 설계 및 테스트 단계에서의 수작업 작업을 줄인다.
• 요구사항 및 설계 공학 분야에서 다양한 모델링 표기법에 대한 변환 작업에 대해 확장성과 재사용성이 입증된 아키텍처를 제공한다.