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

System Properties Based on Temporal Logic of Actions

文章研究行为时序逻辑(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.