[논문 리뷰] Integration of Communication Analysis and the OO-Method: Rules for the manual derivation of the Conceptual Model

Sergio España, Arturo Luque González외 2명|arXiv (Cornell University)|2011. 03. 18.

Service-Oriented Architecture and Web Services참고 문헌 15인용 수 6

한 줄 요약

이 논문은 통신 분석 기반의 요구사항 및 비즈니스 프로세스 모델에서 객체 지향 방법(OO-Method) 개념 모델을 수동으로 유도하는 체계적인 방법을 제시한다. 통신 구조와 객체 지향 모델링 원리를 통합함으로써 OLIVANOVA 프레임워크를 통해 소프트웨어 소스 코드의 자동 생성을 가능하게 하여 기업 정보 시스템에서 모델 기반 개발을 향상시킨다.

ABSTRACT

Enterprise information systems can be developed following a model-driven paradigm. This way, models that represent the organisational work practice are used to produce models that represent the information system. Current software development methods are starting to provide guidelines for the construction of conceptual models, taking as input requirements models. This paper proposes the integration of two methods: Communication Analysis (a communication-oriented requirements engineering method [España, González et al. 2009]) and the OO-Method (a model-driven object-oriented software development method [Pastor and Molina 2007]). For this purpose, a systematic technique for deriving OO-Method Conceptual Models from business process and requirements models is proposed. The business process specifications (which include message structures) are processed in order to obtain static and dynamic views of the computerised information system. Then, using the OLIVANOVA framework, software source code can be generated automatically [CARE Technologies].

연구 동기 및 목표

• 통신 중심의 요구사항 엔지니어링과 모델 기반 객체 지향 개발 간의 체계적 통합 부족을 보완한다.
• 비즈니스 프로세스 및 메시지 구조 사양에서 정확한 개념 모델을 유도할 수 있도록 한다.
• 명확한 변환 파이프라인을 통해 기업 정보 시스템의 자동 소스 코드 생성을 지원한다.
• 일致성과 추적 가능성을 향상시키기 위해 형식화된 규칙 기반 기법을 제공한다.
• 통신 모델과 객체 지향 시스템 모델 간의 의미적 및 구조적 괴리를 메운다.

제안 방법

• 비즈니스 통신 구조(메시지 내용 및 흐름 포함)를 포착하기 위해 통신 분석(CA)을 통합한다.
• OO-Method의 모델링 구성요소(클래스, 연관, 연산)를 사용하여 시스템의 정적 및 동적 시각화를 표현한다.
• CA 메시지 구조 및 프로세스 흐름을 OO-Method 개념 모델 요소로 매핑하는 변환 규칙을 정의한다.
• 유도된 개념 모델에서 소스 코드를 자동 생성하기 위해 OLIVANOVA 프레임워크를 적용한다.
• 통신 역할과 메시지를 객체 클래스 및 연산과 일치시켜 일관성을 확보한다.
• 비즈니스 프로세스 사양을 반복적으로 처리하여 시스템의 정적(클래스 다이어그램) 및 동적(시퀀스 다이어그램) 시각화를 유도한다.

실험 결과

연구 질문

• RQ1 비즈니스 프로세스의 통신 구조를 어떻게 체계적으로 객체 지향 개념 모델에 매핑할 수 있는가?
• RQ2 통신 기반 요구사항에서 개념 모델을 유도할 때 무결성과 일관성을 확보하기 위해 필요한 변환 규칙는 무엇인가?
• RQ3 통신 분석과 OO-Method의 통합이 자동 소스 코드 생성을 얼마나 잘 지원하는가?
• RQ4 제안된 방법은 모델 기반 기업 시스템 개발에서 추적 가능성과 유지보수성을 어떻게 향상시키는가?
• RQ5 통신 중심 모델링과 객체 지향 소프트웨어 설계 원칙을 일치시키는 데 있어 주요 과제는 무엇인가?

주요 결과

• 제안된 방법은 통신 및 프로세스 사양에서 의미적으로 정확한 개념 모델을 유도할 수 있다.
• 통합을 통해 OLIVANOVA 프레임워크를 통해 소프트웨어 소스 코드의 자동 생성이 가능해져 수동 코드 작성 노력이 감소한다.
• 변환 규칙는 클래스 및 연산과 같은 메시지 구조와 객체 지향 모델 요소 간의 일관성을 보장한다.
• 이 방법은 추적 가능성을 요구사항에서 설계로 향상시키는 체계적이고 규칙 기반의 접근법을 제공한다.
• 38페이지 분량의 사양과 25개의 그림을 통해 실제 모델링 시나리오에서의 적용 가능성이 검증되었다.
• 이 방법은 공식적으로 문서화되어 기술 보고서(ProS-TR-2011-10)로 발행되어 재현 가능성과 향후 연구를 지원한다.