메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
UML은 객체지향 모델링에 있어서 표준으로 받아들여지고 있다. UML은 풍부한 구성요소를 가지므로 개발하고자하는 시스템을 상세하게 묘사할 수 있지만, 모델링된 다이어그램쟁의 정확성과 일관성은 보장하지 못한다는 결점을 가진다. 따라서 개발프로세스의 초기단계에서 사용자 모델을 검증함으로써 오류를 최소화하는 것이 중요하다. 본 연구에서는 메타-메타모델과 OCL로 표현된 검증규칙을 이용하여 UML structural 다이어그램과 behavioral 다이어그램의 일관성을 검증하는 방법을 제안한다. 일관성은 하나의 요구사항을 가지고 작성된 structural 다이어그램과 behavioral 다이어그램이 일관성있게 작성되었는지를 판단하기 위한 성질이다. 검증의 첫 번째 작업으로서 UML 다이어그램과 그들사이의 관련요소로 표현된 메타-메타모델을 유도하고, 유도된 메타-메타모델로부터 일관성을 검증하기 위한 규칙을 유도하고, 유도된 검증규칙은 검증작업의 자동화를 위해 OCL과 같은 정형적인 언어로 명세한다. 마지막으로 사례모델을 통 해 검층규칙의 유용성을 검증한다.

목차

요약

Abstract

1. 서론

2. 관련 연구

3. 메타-메타모델 유도와 관계성 분석

4. 검증규칙의 유도와 정형적 명세

5. USE를 이용한 규칙의 검증

6. 결론 및 향후 연구방향

참고문헌

저자소개

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

이 논문과 함께 이용한 논문

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2009-569-017932422