反应式软件形式化系统研究系统分析  

Research and analysis of reactive software formal system

作　　者：许明[1] 开金宇[2,3] 肖蕾[1,3] 

机构地区：[1]厦门理工学院计算机与信息工程学院,福建厦门361024 [2]安阳师范学院计算机与信息工程学院,河南安阳455002 [3]上海大学计算机工程与科学学院,上海200027

出　　处：《哈尔滨商业大学学报（自然科学版）》2014年第4期477-481,共5页Journal of Harbin University of Commerce：Natural Sciences Edition

基　　金：厦门市科技计划项目(3502Z20133043)

摘　　要：从形式化系统理论出发,介绍形式化系统的组成和性质、形式化系统的发展,阐述了形式化系统理论在描述反应式软件系统行为状态变化理论方面的应用,展示了构建反应式软件系统行为状态变化的形式化系统的过程.为形式化系统方法在反应式软件系统理论描述方面的应用进行总结,为形式化方法在更广泛的软件系统特定理论应用理清了思路.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 .

关 键 词：形式化方法 形式化系统 形式化语言 迁移系统 计算模型 

分 类 号：TP306[自动化与计算机技术—计算机系统结构]