首页    期刊浏览 2024年11月26日 星期二
登录注册

文章基本信息

  • 标题:Lightweight Time Modeling in Timed Creol
  • 本地全文:下载
  • 作者:Joakim Bjørk ; Einar Broch Johnsen ; Olaf Owe
  • 期刊名称:Electronic Proceedings in Theoretical Computer Science
  • 电子版ISSN:2075-2180
  • 出版年度:2010
  • 卷号:36
  • 页码:67-81
  • DOI:10.4204/EPTCS.36.4
  • 出版社:Open Publishing Association
  • 摘要: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.
国家哲学社会科学文献中心版权所有