CAJ | 학술논문

从形式化系统理论出发，介绍形式化系统的组成和性质、形式化系统的发展，阐述了形式化系统理论在描述反应式软件系统行为状态变化理论方面的应用，展示了构建反应式软件系统行为状态变化的形式化系统的过程。为形式化系统方法在反应式软件系统理论描述方面的应用进行总结，为形式化方法在更广泛的软件系统特定理论应用理清了思路。
종형식화계통이론출발，개소형식화계통적조성화성질、형식화계통적발전，천술료형식화계통이론재묘술반응식연건계통행위상태변화이론방면적응용，전시료구건반응식연건계통행위상태변화적형식화계통적과정。위형식화계통방법재반응식연건계통이론묘술방면적응용진행총결，위형식화방법재경엄범적연건계통특정이론응용리청료사로。
In this paper, the element, property and history of formal system from the formal system theory were introduced .The application of formal system theory for describing reac-tive software system change about state and activity was proposed .The survey not only sum-marized the application of formal system method to reactive software system but also provided the wider range of application direction for the formal method .It could be used to the other software system specific theory .