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 을 가지고 있다면 이것을 기반으로 시스템 행동 특성을 체크할 수 있으며 이는 향후 발생할 수 있는 결함을 미리 찾아내는데 유용한 도움이 될 수 있다. 우리는 간단한 예제를 통해 본 논문의 이론을 수립하였으며 이를 기반으로 실제 어플리케이션에 적용하여 그 효용성을 검증하였다.
