Monitoring time property in time-sensitive LSC

• 作 者: Haiyang Xu Yi Zhuang Jingjing
• 机 构: SchoolofComputerScienceandTechnology,SchoolofScienceandInformation
• 出 处: 系统工程与电子技术：英文版
• 发表日期: 2015年4期
• 关键词: 时间属性 LSC 敏感 自动提取方法 逻辑公式 形式化定义 监测 时序约束 live sequence chart （LSC） timing constrai
• 基金项目: This work was supported by the National Natural Science Founda- tion of China （61202351）, the China Postdoctoral Science Foundation （2011M500124）, the Fundamental Research Funds for the Nanjing Uni- v

In order to accurately describe the software requirements and automatically extract property formulas, the time property of the live sequence chart(LSC) is focused. For the timesensitive LSC(TLSC), the formal syntax and semantic are defined by introducing