Timed Creol 中的轻量级时间建模
编程语言
2010-09-23 v1 计算机科学中的逻辑
软件工程
摘要
Creol 是一种面向对象的建模语言，其内在并发的对象通过异步方法调用进行交互。Creol 的操作语义以基于参与者的风格编写，并用重写逻辑表述。该操作语义在 Maude 系统中生成了一个语言解释器，可用于分析模型。最近，Creol 被应用于具有无线电通信的系统（如传感器系统）的建模。在无线电通信中，消息会过期，并且如果同时发送，它们可能会在传输中发生冲突。为了捕捉分布式系统的这些及其他性质，我们扩展了 Creol 的操作语义，引入了时间的概念。与通用规约语言所需的时间概念不同，我们利用语言解释器框架来使用一种轻量级的时间概念。本文介绍了 Creol 的时间扩展，包括其语义和实现策略，并通过一个扩展的示例讨论了其性质。该方法可以推广到其他并发对象或基于参与者的系统。
引用
@article{arxiv.1009.4262,
title = {Lightweight Time Modeling in Timed Creol},
author = {Joakim Bjørk and Einar Broch Johnsen and Olaf Owe and Rudolf Schlatte},
journal= {arXiv preprint arXiv:1009.4262},
year = {2010}
}
备注
In Proceedings RTRTS 2010, arXiv:1009.3982