상세 보기
GARDIAN: 실시간 내장형 소프트웨어 개발 방법론에서의 룰 기반의 모델링 평가 및 지원도구
GARDIAN: Rule Based Modeling Validation for Concurrent Object Modeling and Architectural Design mEThod(COMET)
- 김순태;
- 김진태;
- 박수용
초록
Modeling Language)은 대부분의 소프트웨어 개발 방법론에서 목표로 하는 소프트웨어를 분석·설계하기 위하여 널리 사용되며, UML로 작성된 산출물을 기반으로 목표 소프트웨어를 구축한다. 그러나 방법론에서 모델링에 대한 가이드라인이 보통 자연어로 기술되어 있기 때문에 목표 소프트웨어를 위한 모델이 이를 적절히 준수하고 있는가의 검증이 어렵다는 문제점을 가지고 있다. 본 논문에서는 실시간 내장형 시스템(Real-time Embedded System)을 위한 방법론인 COMET방법론을 대상으로 모델링의 가이드라인을 표현하고, 표현된 가이드라인을 기반으로 모델을 평가할 수 있는 룰 기반 COMET방법론 가이드라인 평가 프레임워크인 GARDIAN을 제안한다. 제안된 프레임워크의 유용성을 검증하기 위하여 비전문가가 UML을 사용하여 분석·설계한 지능형 로봇의 주행 시스템에 프레임워크를 적용하여 보았다.
키워드
Expert System; COMET; Methodology; UML; Guideline; Framework; 전문가 시스템; COMET; 방법론; UML; 가이드라인; 프레임워크
- 제목
- GARDIAN: 실시간 내장형 소프트웨어 개발 방법론에서의 룰 기반의 모델링 평가 및 지원도구
- 제목 (타언어)
- GARDIAN: Rule Based Modeling Validation for Concurrent Object Modeling and Architectural Design mEThod(COMET)
- 저자
- 김순태; 김진태; 박수용
- 발행일
- 2007-08
- 저널명
- 정보과학회논문지 : 소프트웨어 및 응용
- 권
- 34
- 호
- 8
- 페이지
- 721 ~ 730