[논문 리뷰] A Model-driven Approach for Grid Services Engineering

David Manset, Richard McClatchey외 2명|ArXiv.org|2005. 09. 21.

Distributed and Parallel Computing Systems참고 문헌 12인용 수 6

한 줄 요약

이 논문은 정식 방법을 활용하여 정확성과 상호운용성을 보장하는 모델 기반 공학 접근법을 제안한다. 형식적 아키텍처 중심 모델링과 모델 변환을 통합함으로써 이질적인 플랫폼 간에 재사용 가능하고 구조화된 설계를 가능하게 하며, 그리드 컴퓨팅 환경에서 개발의 철학성과 유지보수성을 크게 향상시킨다.

ABSTRACT

As a consequence to the hype of Grid computing, such systems have seldom been designed using formal techniques. The complexity and rapidly growing demand around Grid technologies has favour the use of classical development techniques, resulting in no guidelines or rules and unstructured engineering processes. This paper advocates a formal approach to Grid applications development in an effort to contribute to the rigorous development of Grids software architectures. This approach addresses cross-platform interoperability and quality of service; the model-driven paradigm is applied to a formal architecture-centric engineering method in order to benefit from the formal semantic description power in addition to model-based transformations. The result of such a novel combined concept promotes the re-use of design models and eases developments in Grid computing by providing an adapted development process and ensuring correctness at each design step.

연구 동기 및 목표

• 일반적으로 비구조적이고 오류가 발생하기 쉬운 엔지니어링 과정을 초래하는 그리드 서비스 개발 분야의 정식 방법론 부족 문제를 해결하기 위해.
• 정식의 아키텍처 중심 접근법을 통해 이질적인 플랫폼 간의 상호운용성과 서비스 품질을 향상시키기 위해.
• 모델 기반 기법을 활용하여 그리드 애플리케이션을 위한 체계적이고 재사용 가능한 개발 프로세스를 수립하기 위해.
• 형식적 의미론과 모델 변환을 활용하여 각 설계 단계에서 정확성을 확보하기 위해.
• 진화하는 그리드 소프트웨어 아키텍처에서 복잡성을 줄이고 유지보수성을 높이기 위해.

제안 방법

• 정식의 아키텍처 중심 모델링 프레임워크를 활용하여 정밀한 의미론을 갖춘 그리드 서비스 사양을 정의한다.
• 모델 기반 엔지니어링 원칙을 적용하여 고수준 설계 모델에서 실행 구현 아티팩트를 생성하기 위해 모델 변환을 사용한다.
• 설계 라이프사이클 전반에서 일관성과 정확성을 확보하기 위해 형식적 의미 기술을 사용한다.
• 플랫폼 독립성을 지원하기 위해 플랫폼 특화 세부 정보를 변환 규칙로 추상화한다.
• 상호운용성 및 서비스 품질 요구사항을 모델링 프레임워크 내의 제약 조건으로 표현한다.
• 각 설계 단계에서 검증을 강제하는 개발 라이프사이클을 지원한다.

실험 결과

연구 질문

• RQ1 형식적 모델링 기법을 그리드 서비스 엔지니어링에 효과적으로 적용하여 시스템 정확성을 향상시킬 수 있는가?
• RQ2 모델 기반 개발은 이질적인 그리드 플랫폼 간의 상호운용성을 어떻게 향상시킬 수 있는가?
• RQ3 모델 변환을 통해 형식적 설계에서 그리드 서비스의 구현을 자동으로 신뢰성 있게 생성할 수 있는가?
• RQ4 서비스 품질 요구사항은 그리드 서비스 아키텍처에서 체계적으로 어떻게 캡처하고 강제할 수 있는가?
• RQ5 그리드 컴퓨팅에서 비구조적인 개발 방식에 비해 정식의 아키텍처 중심 접근법은 어떤 이점을 제공하는가?

주요 결과

• 제안된 모델 기반 접근법은 형식적 의미론을 활용하여 그리드 서비스의 체계적인 사양을 정의함으로써 설계의 모호성을 감소시킨다.
• 모델 변환을 통해 고수준 설계 모델에서 실행 코드를 자동으로 생성할 수 있어 개발 효율성이 향상된다.
• 형식적 검증을 통해 각 설계 단계에서 정확성을 확보함으로써 런타임 오류를 최소화한다.
• 플랫폼 특화 문제를 변환 규칙로 추상화함으로써 다중 플랫폼 간 상호운용성이 향상된다.
• 서비스 품질 특성은 명시적으로 모델링되고 강제되어 신뢰할 수 있는 서비스 조합을 지원한다.
• 이 접근법은 다양한 그리드 서비스 프로젝트 간에 설계 모델의 재사용을 촉진하여 개발 오버헤드를 감소시킨다.