Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2003.04c
- /
- Pages.10-12
- /
- 2003
- /
- 1598-5164(pISSN)
Compatibility-Guaranteeing Software Component Evolution based on Composition Rules
안정적 확장이 보장되는 소프트웨어를 위한 정형적 조합 법칙
- Lee, Sunae (Dept. of Electrical Engineering and Computer Science, KAIST) ;
- Lee, Joon-Sang (Dept. of Electrical Engineering and Computer Science, KAIST) ;
- Bae, Doo-Hwan (Dept. of Electrical Engineering and Computer Science, KAIST)
- Published : 2003.04.01
Abstract
Since building large-scale software is usually bi9 burden to most developers, it has been an important issue for many researchers. In this paper, we suggest a mechanism that can be used to support such large-scale development. Through composition rules via subtyping within Statecharts, incremental construction of software can be achieved. Among the composition rules (i.e. delegation rule and mixin rule), we mainly focus on the delegation rule in our work. Not only we can check the subtype property. but also can verify the behavior compatibility of composite results that are available by composition rules. This new mechanism is helpful for analysts as well as designers, and it can be used as a guideline for incremental and compatible construction of component based software.
Keywords