基于行为时序逻辑系统性质研究  

System Properties Based on Temporal Logic of Actions

作　　者：李均涛[1] 

机构地区：[1]贵州财经大学信息学院,贵州贵阳550025

出　　处：《信息安全与技术》2014年第12期17-19,共3页

基　　金：贵州省自然科学技术基金(黔科合J字[2012]2096号);贵州财经大学人才引进科研基金

摘　　要：文章研究行为时序逻辑(TLA)中行为(Action)的性质及行为之间的关系,提出"行为活性"和"行为安全性"概念,从行为的视角重新给出系统活性和安全性的定义,使得安全性和活性定义更加直观和容易理解,并证明了新老定义的等价性。This paper studied on the action’s property of Temporal Logic of Actions, put foreword notions of safety and liveness of action, redefined the safety and liveness of system from from another perspective of action, proved them equivalent to former definitions.

关 键 词：行为时序逻辑 活性 安全性 安全行为 

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