DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kang, Sung-Won | - |
dc.contributor.advisor | 강성원 | - |
dc.contributor.author | Kim, Jung-Ho | - |
dc.contributor.author | 김정호 | - |
dc.date.accessioned | 2011-12-30 | - |
dc.date.available | 2011-12-30 | - |
dc.date.issued | 2006 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=392613&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/55433 | - |
dc.description | 학위논문(석사) - 한국정보통신대학교 : 공학부, 2006, [ x, 50 p. ] | - |
dc.description.abstract | 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. | eng |
dc.language | eng | - |
dc.publisher | 한국정보통신대학교 | - |
dc.subject | FSP Model | - |
dc.subject | C&C View Architecture | - |
dc.subject | Synthesized Algorithm | - |
dc.subject | Synthesized 알고리즘 | - |
dc.subject | FSP 모델 | - |
dc.subject | C&C 뷰 아키텍처 | - |
dc.title | An approach to verify C&C view architecture with FSP modeling | - |
dc.title.alternative | FSP 모델을 이용한 C&C view architecture의 검증 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 392613/225023 | - |
dc.description.department | 한국정보통신대학교 : 공학부, | - |
dc.identifier.uid | 020044631 | - |
dc.contributor.localauthor | Kang, Sung-Won | - |
dc.contributor.localauthor | 강성원 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.