Timed Creol中的轻量级时间建模
Lightweight Time Modeling in Timed Creol
摘要：
Creol是一种面向对象的建模语言，其中固有的并发对象交换异步方法调用。Creol的操作语义是以基于角色的风格编写的，并在重写逻辑中公式化。操作语义在Maude系统中产生了一个语言解释器，它可以用来分析模型。最近，Creol已被应用到无线电通信系统的建模，如传感器系统。在无线电通信中，信息会过期，如果同时发送，它们可能会在空中相撞。为了捕捉这些和其他属性的分布式系统，我们扩展了克里奥尔的操作语义的时间概念。我们利用框架的语言解释器使用一个轻量级的时间概念，与通用规约语言所需的。本文给出了Creol语言的一个时间扩展，包括语义和实现策略，并通过一个扩展实例讨论了它的性质。该方法可以推广到其他并发对象或演员为基础的系统。
英文摘要：
Creol is an object-oriented modeling language in which inherently concurrent objects exchange asynchronous method calls. The operational semantics of Creol is written in an actor-based style, formulated in rewriting logic. The operational semantics yields a language interpreter in the Maude system, which can be used to analyze models. Recently, Creol has been applied to the modeling of systems with radio communication, such as sensor systems. With radio communication, messages expire and, if sent simultaneously, they may collide in the air. In order to capture these and other properties of distributed systems, we extended Creol's operational semantics with a notion of time. We exploit the framework of a language interpreter to use a lightweight notion of time, in contrast to that needed for a general purpose specification language. This paper presents a timed extension of Creol, including the semantics and the implementation strategy, and discusses its properties using an extended example. The approach can be generalized to other concurrent object or actor-based systems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
