将 Ptolemy 的 Real-Time Maude 语义扩展至层次化 DE 模型
计算机科学中的逻辑
2010-09-23 v1 形式语言与自动机理论
编程语言
软件工程
摘要
本文将我们对扁平 Ptolemy II 离散事件（DE）模型语义的 Real-Time Maude 形式化扩展至层次化模型，包括模态模型。这是一项具有挑战性的任务，需要将同步不动点计算与层次化结构相结合。从 Ptolemy II DE 模型综合出 Real-Time Maude 验证模型，以及在 Real-Time Maude 中对综合模型进行形式化验证，这些功能已被集成到 Ptolemy II 中，从而实现了一种结合了 Ptolemy II DE 建模与仿真便利性以及 Real-Time Maude 形式化验证的模型工程过程。
引用
@article{arxiv.1009.4261,
title = {Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models},
author = {Kyungmin Bae and Peter Csaba Ölveczky},
journal= {arXiv preprint arXiv:1009.4261},
year = {2010}
}
备注
In Proceedings RTRTS 2010, arXiv:1009.3982