서지주요정보
An approach to verify C&C view architecture with FSP modeling = FSP 모델을 이용한 C&C view architecture의 검증
서명 / 저자 An approach to verify C&C view architecture with FSP modeling = FSP 모델을 이용한 C&C view architecture의 검증 / Jung-Ho Kim.
저자명 Kim, Jung-Ho ; 김정호
발행사항 [대전 : 한국정보통신대학교, 2006].
Online Access 원문보기 원문인쇄

소장정보

등록번호

DM0000689

소장위치/청구기호

문지도서관2층 학위논문

ICU/MS06-15 2006

SMS전송 소장위치

도서상태

이용가능

대출가능

반납예정일

초록정보

C&C view architecture is one of the modeling languages to describe and analyze runtime architecture of a software system. However, it is not sufficient to describe runtime architectural behaviors with only C&C view because C&C view architecture does not provide a sequence and statechart of a software system. On the other side, we would use Finite State Process (FSP) model for describing behavior and property of component in a software system. FSP model can be simple to show behavioral sequence and state of component. Moreover, we can check a property of a component with FSP model, once a FSP model of a software system is given. In this thesis, we propose an approach to model and verify C&C view architecture for a software system. Additionally, in using FSP model, the requirements represented using the FSP properties can be automatically checked against the C&C view architecture with a Labeled Transition Systems Analyzer (LTSA). This approach can support early detection of system's behavior errors automatically. In order to develop a FSP model for a system, the system requirements in the form of scenario fragments such as use case scenarios or sequence diagrams need to be developed into a model that captures the full behaviors for a component and a connector. The suggested approach of this thesis applies a technique to synthesize finite state machines from message sequence charts, which was developed by Harel, Kugler and Pnueli. Finally, to verify our approach's efficacy, we applied the approach to a exemplary system, which is a translator system. The experimental results are described.

시스템의 동적 요소를 기술하고 분석하기 위해 C&C view 아키텍처를 주로 사용하지만 시스템의 실행 순서나 상태에 대한 정보가 부족하기 때문에 단지 C&C view 아키텍처로만 시스템의 동적 요소를 분석하기가 어렵다. FSP model 은 시스템의 동작을 표현하기 위한 모델링 언어로써 시스템의 동작을 모델링 할 뿐만 아니라 LTSA 라는 FSP 검증 툴을 이용하여 시스템의 특성을 자동으로 파악하기에도 용이한 특성을 가지고 있어 시스템 동적 요소 분석에 도움을 준다. 하지만 관련 정보를 얻기 어려워 FSP model 을 구현하는데 어려움이 있다. 이 논문에서 우리는 C&C view 아키텍처와 요구 사항(Use Case Scenario 혹은 Sequence diagram)을 근간으로 시스템의 동적 요소를 FSP 로 모델링 하는 방법을 정의한다. 또한 LTSA 툴을 이용하여 자동적으로 시스템의 특성을 검증할 수 있고, 이를 통해 시스템 구현 전에 시스템의 에러를 찾아내고 해결하는 도움을 줄 수 있다. C&C view 아키텍처는 시스템의 컴포넌트와 커넥터에 대한 정보를 제공하여 주고 요구 사항은 소프트웨어 시스템의 행동에 대한 정보를 제공하여 줄 수 있다. 만약 우리가 컴포넌트와 커넥터에 대한 정보가 있고 시스템 동적 요소에 대해 알고 있다면 우리는 이것을 기반으로 메시지 흐름도를 구현할 수 있다. 메시지 흐름도는 Harel, Kugler 와 Pnueli 에 의해 개발된 Synthesized 알고리즘을 이용하여 Statechart 로 만들어지고 이것은 바로 FSP model 로 변환될 수 있다. 우리가 소프트웨어 시스템에 대한 FSP model 을 가지고 있다면 이것을 기반으로 시스템 행동 특성을 체크할 수 있으며 이는 향후 발생할 수 있는 결함을 미리 찾아내는데 유용한 도움이 될 수 있다. 우리는 간단한 예제를 통해 본 논문의 이론을 수립하였으며 이를 기반으로 실제 어플리케이션에 적용하여 그 효용성을 검증하였다.

서지기타정보

서지기타정보
청구기호 {ICU/MS06-15 2006
형태사항 x, 50 p. : 삽도 ; 26 cm
언어 영어
일반주기 저자명의 한글표기 : 김정호
지도교수의 영문표기 : Sung-Won Kang
지도교수의 한글표기 : 강성원
학위논문 학위논문(석사) - 한국정보통신대학교 : 공학부,
서지주기 References : p. 53-57
주제 C&C View Architecture
FSP Model
Synthesized Algorithm
C&C 뷰 아키텍처
FSP 모델
Synthesized 알고리즘
QR CODE qr code