현재 위치
Home
정규논문
객체 모델 선택을 위한 검증 및 검색방법
The Verification and Retrieval Method for selection of Compatible Object Model
-
- 발행기관
- 국제인공지능학회(구 한국인터넷방송통신학회) 바로가기
-
- 간행물
- 한국인터넷방송통신학회 논문지 KCI 등재후보 바로가기
-
- 통권
- 제9권 제5호 (2009.10)바로가기
-
- 페이지
- pp.169-174
-
- 저자
-
- 언어
- 한국어(KOR)
-
- URL
- https://www.earticle.net/Article/A113188
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
원문정보
초록
- 영어
- In this paper, We define convert rules objects and relation presented in object model to the state and operation domain in formal specification. we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.
- 한국어
- 본 논문에서는 정확한 분석 모델을 제시할 수 있는 객체 모델링과 정형화 방법을 통해 개발자와 사용자간 효과적인 의사소통을 제공하고 객체모델의 정형화와 표준화에 필요한 형식명세로의 변환 규칙을 제안한다. 사용자의 요구에 따라 최적의 객체모델 선택을 위한 객체 모델 검색 프로토타입을 제시한다. 이를 통해서 적합한 모델을 선택할 수 있으므로 소프트웨어 개발시 비용과 노력을 최소화할 수 있다
목차
요약
Abstract
I. 서론
II. 관련연구
1. 객체지향 분석방법
2. 정보모델
3. 형식명세언어
III. 객체 모델의 검증 및 검색 프로토타입
1. 시뮬레이션 도구의 설계
2. 모델검증 및 규칙
3. 시뮬레이션 시스템 구성요소
4. 시뮬레이션 도구의 구현
IV. 비교평가
V. 결론
참고문헌
키워드
Object Modeling Formal specification Verification Method Convert Rule저자
간행물 정보
발행기관
-
- 발행기관명
- 국제인공지능학회(구 한국인터넷방송통신학회) [The International Association for Artificial Intelligence]
- 설립연도
- 2000
- 분야
- 공학>전자/정보통신공학
- 소개
- 인터넷방송, 인터넷 TV , 방송 통신 네트워크 및 관련 분야에 대한 국내는 물론 국제적인 학술, 기술의 진흥발전에 공헌하고 지식 정보화 사회에 기여하고자 한다.
간행물
-
- 간행물명
- 한국인터넷방송통신학회 논문지 [The Journal of the Institute of Internet, Broadcasting and Communication]
- 간기
- 격월간
- pISSN
- 2289-0238
- eISSN
- 2289-0246
- 수록기간
- 2001~2025
- 십진분류
- KDC 326 DDC 380
이 권호 내 다른 논문 / 한국인터넷방송통신학회 논문지 제9권 제5호
피인용수 : 0건 (자료제공 : 네이버학술정보)
함께 이용한 논문 이 논문을 다운로드한 분들이 이용한 다른 논문입니다.
출처 : 네이버학술정보
0개의 논문이 장바구니에 담겼습니다.