彼得·科修琴科;马丁·威尔辛 应用程序根据基于对象的规范进行定时重写逻辑。 （英语） Zbl 0877.68071号 科学。计算。程序。 28，编号2-3，225-246（1997）. 摘要：本文提出了定时重写逻辑，并通过一个实例说明了它在实时面向对象系统规范中的应用。时间重写逻辑（TRL）是Meseguer重写逻辑的扩展。系统的函数性质和静态性质用代数规范来描述，而过程的行为用不确定性项重写来描述，其中每个重写步骤都用时间戳或时间间隔来标记。因此，我们的方法类似于时间转移系统，可以被视为时间自动机与代数规范相结合的推广。该方法通过几个示例进行了说明，例如时钟、超时和计时器。作为主要应用程序，我们介绍了Timed Maude，一种用于实时并发系统的基于对象的规范语言。定时Maude是Meseguer基于重写逻辑的语言Maude的定时变体。在Timed Maude中，Maude的代数规范部分和模块部分保持不变，只有并发重写被TRL取代。 引用于5文件 MSC公司： 2012年第68季度 语法和重写系统 68问题65 抽象数据类型；代数规范 关键词：定时重写逻辑;实时面向对象系统 软件：莫德 PDF格式BibTeX公司 XML格式引用 \textit｛P.Kosiuczenko｝和\textit｛M.Wirsing｝，科学。计算。程序。28，编号2--3，225-246（1997；Zbl 0877.68071） 全文： 内政部