论文部分内容阅读
从形式化系统理论出发，介绍形式化系统的组成和性质、形式化系统的发展，阐述了形式化系统理论在描述反应式软件系统行为状态变化理论方面的应用，展示了构建反应式软件系统行为状态变化的形式化系统的过程。为形式化系统方法在反应式软件系统理论描述方面的应用进行总结，为形式化方法在更广泛的软件系统特定理论应用理清了思路。