史蒂文·布拉德利；威廉·亨德森；大卫·肯德尔；阿德里安·罗布森 一种用于具有数据的实时系统的正式设计语言。 （英语） Zbl 0969.68099号 科学。计算。程序。 40，第1期，3-29（2001）. 概要：AORTA被提议作为一种可实现的实时语言，用于事件时间而非数据值至关重要的并发系统。在本文中，我们描述了如何将AORTA与正式数据模型结合使用，从而允许与各种基于模型的数据规范语言集成。给出了具有重要数据属性的时间关键型系统的定义示例。还描述了AORTA的开发技术和支持软件工具。 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：AORTA公司 软件：克洛诺斯 PDF格式BibTeX公司 XML格式引用 \textit{S.Bradley}等人，科学。计算。程序。40，第1号，第3--29号（2001；Zbl 0969.68099） 全文： 内政部