该文给出基于转换系统的不同扩充形式，作为三类反应式系统的计算模型;采用时态逻辑PLTL及其扩充形式作为三类反应式系统的形式化描述语言。对上述问题，进行了系统而深入的研究，取得了如下主要结果:(1)针对上述第一类问题，提出并发模型FTS的一种粒度分析方法。(2)针对第二类问题，对并发程序及其性质进行系统地描述和分类。(3)针对第三类问题，提出一种基于公平性假设的时态逻辑技术描述AB协议。(4)针对第四类问题，提出了基于PLTL的并发程序的两种验证方法并给出相应实例系统的验证。(5)对第五类问题，由于PLTL描述语言与FTS建模工具只适合于并发系统，而不能表示实时及混合系统。基于此，该文的工作是:①通过扩充FTS，提出了一种改进的TTM--实时转换模型;引入时间因子到PLTL，提出了一种定量时态逻辑;②通过扩充FTS，提出混合系统的一种新的计算模型--混合转换系统HTS，给出混合系统描述的一种扩充时态逻辑，该文初步探讨了实时及混合系统的描述和建模问题。该文的研究工作得到国家自然科学基金、四川省教委青年科研基金及重庆市应用基础研究项目资助。