基于转换系统的广义反应系统形式模型

Formal Models of Generalized Reactive Systems Based on Transition Systems

1.引言反应系统(Reactive Systems)是与其环境保持不断交互作用的复杂软件系统。而不是在计算终止时产生一些最终结果。并发和实时程序、嵌入式系统、操作系统、通信网络及飞行控制系统等都是这类系统的典型例子,如何保证反应系统的正确性和可靠性是具有挑战性的重要课题,我们认为通过建立系统的形式化模型,对其计算行为进行描述和分析,可以深入认识系统的本质特性。有助于解决上述问题。

This paper presents computation models of the three levels (reactive, real-time and hybrid system)for generalized reactive systems by extends traditional transition systems. For each of the three models(FTS, TTS, PTS),we analysis their properties.