[논문 리뷰] iStar 2.0 Language Guide

Fabiano Dalpiaz, Xavier Franch외 1명|arXiv (Cornell University)|2016. 05. 25.

Advanced Software Engineering Methodologies참고 문헌 2인용 수 76

한 줄 요약

이 논문은 교육, 연구 및 산업 현장에서의 일관성 있는 사용을 위해 표준화되고 핵심적인 버전인 iStar 2.0을 소개한다. i* 모델링 언어의 다양한 확장들을 통합하고자 하며, 액터, 목표, 의존성 및 관계와 같은 핵심 개념들을 정교한 메타모델과 무결성 규칙을 통해 형식화함으로써 명확하고 가르치기 쉬우며 상호운용성이 보장된 목표 지향 모델링을 가능하게 한다. 정의된 뷰와 그래픽 표기법을 포함한다.

ABSTRACT

The i* modeling language was introduced to fill the gap in the spectrum of conceptual modeling languages, focusing on the intentional (why?), social (who?), and strategic (how? how else?) dimensions. i* has been applied in many areas, e.g., healthcare, security analysis, eCommerce. Although i* has seen much academic application, the diversity of extensions and variations can make it difficult for novices to learn and use it in a consistent way. This document introduces the iStar 2.0 core language, evolving the basic concepts of i* into a consistent and clear set of core concepts, upon which to build future work and to base goal-oriented teaching materials. This document was built from a set of discussions and input from various members of the i* community. It is our intention to revisit, update and expand the document after collecting examples and concrete experiences with iStar 2.0.

연구 동기 및 목표

• 다양한 커뮤니티 주도의 확장으로 인해 발생하는 i* 모델링 언어의 분열 문제를 해결하여 초보자와 실무자들의 도입을 방해하지 않도록 한다.
• 교육, 도구 개발 및 일관된 모델링 관행을 지원하기 위해 안정적이고 널리 공감대를 형성한 핵심 언어를 확립한다.
• 의미론적 및 문법적 모호성을 해결하여 연구자와 교육자들이 i*를 더 쉽게 사용하고 이해할 수 있도록 한다.
• 언어의 유연성과 개방성을 유지하면서도 향후 확장을 위한 기반을 마련한다.
• 명확하게 정의된 메타모델과 그래픽 표기법을 통해 표준화된 교육 자료 및 도구 통합을 지원한다.

제안 방법

• ER, CAiSE 및 RE 컨퍼런스에서 개최된 워크숍을 포함한 반복적인 커뮤니티 협의를 통해 iStar 2.0을 개발하였다.
• 세 가지 액터 유형(개인, 역할, 조직), 의도적 요소(목표, 작업, 소프트목표) 및 관계(기여함, 정밀화함, 자격 조건 부여함, 필요함)를 포함한 핵심 구성요소 집합을 정의하였다.
• 다양한 모델링 관점에 대응하기 위해 전략적 근거(SR), 전략적 의존성(SD), 하이브리드 SD/SR의 세 가지 표준 모델 뷰를 도입하였다.
• 모델 일관성을 보장하고 논리적 모순을 방지하기 위해 14개의 핵심 개념과 13개의 무결성 규칙을 포함한 메타모델을 형식화하였다.
• 모델 표현의 명확성과 모호성 감소를 위해 그래픽 표기법 가이드라인과 이름 규칙을 수립하였다.
• 모든 두 액터 사이에 최대 하나의 액터 연결만 허용하고, 동일한 요소들 간에 기여 및 자격 조건 연결 간 상호 배타성을 정의하였다.

실험 결과

연구 질문

• RQ1 i* 모델링 언어의 수많은 확장으로 인한 일관성 문제를 해결하기 위해 표준화된 핵심 버전을 어떻게 정의할 수 있는가?
• RQ2 일관성 있고 가르치기 쉬우며 도구 지원이 가능한 목표 지향 모델링을 위해 필수적인 핵심 개념과 관계는 무엇인가?
• RQ3 SR, SD, 하이브리드 뷰와 같은 모델 뷰를 어떻게 형식화하여 다양한 모델링 및 분석 요구를 지원할 수 있는가?
• RQ4 iStar 2.0 모델에서 모델 일관성을 보장하고 논리적 모순을 방지하기 위해 필요한 무결성 규칙는 무엇인가?
• RQ5 향후 연구 및 응용을 위한 확장성을 유지하면서도 표준화와 균형을 이루는 iStar 2.0 언어는 어떻게 설계할 수 있는가?

주요 결과

• iStar 2.0은 오랫동안 지속된 i* 프레임워크 내의 일관성 문제를 해결한 안정적이고 커뮤니티가 지지하는 핵심 언어를 확립한다.
• 모델 일관성과 논리 오류 방지를 보장하기 위해 14개의 핵심 개념과 13개의 무결성 규칙를 포함한 형식화된 메타모델을 도입한다.
• 다양한 모델링 및 분석 요구를 지원하기 위해 전략적 근거, 전략적 의존성, 하이브리드 SD/SR의 세 가지 표준 모델 뷰를 정의한다.
• 모든 두 액터 사이에 최대 하나의 액터 연결만 허용하고, 동일한 요소들 간에 기여 및 자격 조건 연결 간 상호 배타성을 강제한다.
• iStar 2.0 언어는 확장 가능하도록 설계되어 있어 향후 개선 사항을 유지하면서도 교육 및 도구 개발을 위한 안정적인 기반을 유지한다.
• 커뮤니티 주도 개발 과정을 통해 엄밀하면서도 접근성이 높은 언어를 확보하였으며, 교육 및 실무 적용에 강력한 지원을 제공한다.