Acknowledgement
Grant : 모바일 플랫폼 기반의 콘텐츠 응용 소프트웨어 기술 개발
Supported by : 경기도지역협력연구센터
Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2011.06b
- /
- Pages.200-203
- /
- 2011
- /
- 1598-5164(pISSN)
Developing a Reactive System from Scenario-Based Specification Model
시나리오 기반 명세 모델로부터 반응형 시스템 개발
- Kwon, Ryoung-Kwo (Department of Computer Science, Kyonggi University) ;
- Kim, Sung-Hae (Department of Computer Science, Kyonggi University) ;
- Kwon, Gi-Hwon (Department of Computer Science, Kyonggi University)
- Published : 2011.06.29
Abstract
다수의 모듈로 구성된 반응형 시스템을 개발하기 위해 외부의 입력 및 모듈간의 상호작용을 분석하는 것은 중요하고 어려운 문제이며, 반응형 시스템이 요구 사항을 올바르게 만족하는지를 확인하기 위해서는 많은 시간과 비용이 소모가 된다. 본 논문에서는 요구 사항을 LSC(Live Sequence Chart)를 이용해 시나리오 기반 명세 모델을 만들고 Synthesis를 통해 요구 사항을 모두 올바르게 만족하는 시스템 모델을 자동으로 생성한다. 궁극적으로 올바른 시스템 모델로부터 의미적으로 동일한 코드로 변환하는 과정을 보이는 것으로 시나리오 기반 명세 모델로부터 반응형 시스템을 개발하는 방법을 제안한다.
Keywords