文件名称：Templar：使用时态逻辑的基于知识的软件规范语言-研究论文
文件大小：5.33MB
文件格式：PDF
更新时间：2024-06-09 04:06:48
论文研究
定义了软件规范语言圣殿骑士。 该语言基于时间逻辑和规则的“活动-事件-条件-活动”模型，该规则是活动数据库中“事件-条件-活动”模型的扩展。 该语言支持一组丰富的建模原语，包括规则，过程，时间逻辑运算符，事件，活动，活动的层次分解和并行性，并在一个统一的系统中结合在一起。该语言的开发受到以下目标的指导：规范Templar书面文档对于不面向计算机的用户应该很容易理解，应该具有正式的语法和语义，并且应该易于将它们映射到广泛的设计规范中。