Templar：使用时态逻辑的基于知识的软件规范语言-研究论文

本文定义了软件规范语言Templar。 语言的开发遵循以下目标：用Templar编写的需求规范应具有清晰的语法和形式语义，对于系统分析人员来说应易于开发，并且对于最终用户而言应易于理解，并且应易于将其映射到广泛的设计规范。 Templar基于时间逻辑和规则的“活动-事件-条件-活动”模型，该规则是活动数据库中“事件-条件-活动”模型的扩展。 该语言支持一组丰富的建模原语，包括规则，过程，时间逻辑运算符，事件，活动，活动的层次分解，并行性和组合在一起构成内聚系统的决策。