구조적 모델변환을 이용한 통합적 시스템 분석 모델링 방법 = The Modelling Method of Integrated System Analysis with the Structured Model Transformation

국문 초록 (Abstract)

본 연구에서는 DEVS(Discerte EVent system Specification)와 SPN(Stochastic Petri Net)형식론을 이용하여 통합적 시스템 분석을 위한 하나의 방도를 제시한다. 먼저, 사건 스케쥴링 월드 뷰(event scheduling world view)에 의해 시스템을 DEVS로 모델링한 후, SPN으로 변환하는 이론과 변환 알고리즘을 제시한다. 또한, 모델의 행위적 동등성을 이용하여 변환방법에 대한 검증 알고리즘을 제시한다. 마지막으로 DEVS를 SPN으로 자동 변환하는 시스템을 설계, 구현하고 그 적용사례를 보인다.

다국어 초록 (Multilingual Abstract)

In this paper, we propose the method for integrated system analysis using DEVS(Discrete EVent system Specification) and SPN(stochastic Petri Net) formalisms. First, we suggest a transformation theory and its algorithm which transforms SPN from DEVS model based on the event scheduling world view. Second, we suggest a validation algorithm for transformation method using the behaviorally equivalence of medels. Finally we design implement the system which be automatically transformed from DEVS to SPn and apply it to a simple computer system.