Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2003.11c
- /
- Pages.1685-1688
- /
- 2003
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
Automated consistency checking method in use case model at the level of abstraction
Use case model의 상세화에 따른 consistency checking 방법에 관한 연구
- Lee, Eun-Young (Graduate school of Information and Communication AJOU University) ;
- Paik, In-Sup (Graduate school of Information and Communication AJOU University) ;
- Shim, Woo-Gon (Graduate school of Information and Communication AJOU University)
- Published : 2003.11.14
Abstract
객체지향 환경에서 복잡한 소프트웨어 시스템을 개발하기 위해서는, 그것의 복잡성과 대규모성 때문에 추상화에 의한 다계층적인 use case model 의 사용이 불가피하다. 이러한 경우 모델의 consistency 유지가 매우 주요하고 어려운 이슈가 된다. 본 논문에서는 각 추상화 단계에 따른 use case model 들 사이에서 자동적으로 형식적인 consistency 를 체킹할 수 있는 방법을 제안한다. 이 접근 방법은 rule 을 기반으로 하여 actor tree, use cose composition diagram를 use case description을 활용한다. 본 접근법을 검증하기 위하여, ITS 아키텍처 (Intelligent Transportation System architecture)의 한 파트를 예로 들어 적용하였다.
Keywords