지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2013.1
- 수록면
- 123 - 136 (14page)
이용수
초록· 키워드
오류제보하기
시각적이고 비정형적인 구조로 표현된 휘처 모델(Feature model)은 구문적 명확성을 보장할 수 없고, 자동화 툴(tool)에 의한 구문(syntax)의 검증이 어렵다. 따라서, 휘처 모델이 가진 구조물의 구문적 명확성을 입증하기 위한 정형적 명세와 모델 검사(model checking)가 필요하다. 본 논문은 Z 언어를 이용한 휘처 모델의 정형적 명세와 모델 검사를 통해서, 휘처 모델의 정확성을 검사하는 기법을 제시한다. 이를 위해, 휘처 모델과 Z간 변환 규칙을 정의하고, 이 규칙에 의거하여 휘처 모델의 구문에 대해 Z 스키마(schema)로 명세한다. 모델 검사는 Z 스키마 명세에 대해 Z/Eves 툴을 사용하여 구문, 타입 검사(type checking), 그리고 도메인 검사(domain checking)를 수행하여 모델의 모호성을 검사한다. 이로서, 휘처 모델의 구조물을 좀더 명확하게 표현할 수 있으며, 설계된 모델의 오류를 검사할 수 있다.
목차
등록된 정보가 없습니다.
참고문헌 (23)
참고문헌 신청
1. [보고서] - K. Kang / 1990 / Feature-Oriented Domain Analysis (FODA) Feasibility Study
2. [학술지(정기간행물)] - Lee, K. / 2002 / Concepts and Guidelines of Feature Modeling for Product Line Software Engineering / Software Reuse: Method, Techniques, and Tools, Springer Berlin/Heidelberg 2319 : 62 ~ 77
3. [학술지(정기간행물)] - Kang, K. C. / 1998 / FORM: A Feature-Oriented Reuse Method with Domain Specific Reference Architecture / Annals of Software Engineering 5 : 143 ~ 168
4. [학술대회논문] - M. Shroff / 1997 / Towards Formalization of UML Class Structures in Z / in Proc. of the COMPSAC '97 : 11 ~ 15
5. [학술대회논문] - S. K. Kim / 1998 / Visualization of Formal Specification / in Proc. of the APSEC 98
2. [학술지(정기간행물)] - Lee, K. / 2002 / Concepts and Guidelines of Feature Modeling for Product Line Software Engineering / Software Reuse: Method, Techniques, and Tools, Springer Berlin/Heidelberg 2319 : 62 ~ 77
3. [학술지(정기간행물)] - Kang, K. C. / 1998 / FORM: A Feature-Oriented Reuse Method with Domain Specific Reference Architecture / Annals of Software Engineering 5 : 143 ~ 168
4. [학술대회논문] - M. Shroff / 1997 / Towards Formalization of UML Class Structures in Z / in Proc. of the COMPSAC '97 : 11 ~ 15
5. [학술대회논문] - S. K. Kim / 1998 / Visualization of Formal Specification / in Proc. of the APSEC 98
이 논문의 저자 정보
최근 본 자료
댓글(0)
0