서지주요정보
시스템 추상화 수준에 따른 명세 개선 기법을 이용한 DEVS 시뮬레이터 개발 = Development of DEVS simulator using specification refinement at abstract levels of system
서명 / 저자 시스템 추상화 수준에 따른 명세 개선 기법을 이용한 DEVS 시뮬레이터 개발 = Development of DEVS simulator using specification refinement at abstract levels of system / 홍수연.
저자명 홍수연 ; Hong, Su-Youn
발행사항 [대전 : 한국과학기술원, 2004].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8015242

소장위치/청구기호

학술문화관(문화관) 보존서고

MEE 04090

휴대폰 전송

도서상태

이용가능

대출가능

반납예정일

리뷰정보

초록정보

Development of a discrete event system simulator requires not only domain knowledge but also modeling technique. It is ideal that one person can expertise both on domain knowledge and on modeling technique. But in most case, a domain expert differs from a modeling expert. A domain expert provides functional requirements of the target system at an abstract level. Unlike the former case, a modeling expert needs much detailed descriptions of system behavior. Therefore, we need a means to lessen a gap between abstracted functional requirements and the detailed descriptions. This thesis is aimed to propose a methodology for specification refinement at abstract levels, which can overcome the gap. To do so, this paper will first present the development of five levels of specification from the functional requirements to the description of system behavior. Then, it will explicate the description of each level while refining the information from the previous level. The first level of the proposed methodology is functional requirements of the target system. The second level defines outer actors and usage scenarios. The third three defines system structure. The fourth level defines information exchange sequences among inner objects as a response to external inputs. UML (Unified Modeling Language) for development of a software system is used to specify the target system in steps the second level, the third level and the fourth level. Therefore UML is applied as a communication means between a domain expert and a modeling expert. Finally, the fifth level defines the detailed descriptions of system behavior at the discrete event system level. Therefore the final stage of the modeling will employ DEVS (Discrete Event System Specification) formalism, which specifies a discrete event system in a hierarchical, modular manner. To demonstrate effectiveness of the proposed methodology, modeling and simulation of a concentration point/taxi simulator, a subsystem for a Call-Taxi system simulation, is exemplified.

서지기타정보

서지기타정보
청구기호 {MEE 04090
형태사항 58 p. : 삽도 ; 26 cm
언어 한국어
일반주기 저자명의 영문표기 : Su-Youn Hong
지도교수의 한글표기 : 김탁곤
지도교수의 영문표기 : Tag-Gon Kim
학위논문 학위논문(석사) - 한국과학기술원 : 전기및전자공학전공,
서지주기 참고문헌 : p. 56-58
주제 명세 개선 기법
시스템 모델링
SPECIFICATION REFINEMENT
SYSTEM MODELING
QR CODE qr code