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