托勒密

托勒密的模块形式语义学。托勒密是一个开源的、可扩展的建模和仿真框架。它提供了异构建模功能，允许以任意方式分层组合不同的计算模型，包括不定时的和定时的。本文提出了托勒密的形式语义学，它是模块化的，在这个意义上，原子行为体及其组成被统一地处理。特别是，所有的参与者都符合一个包含四个功能的可执行接口：fire（根据当前状态和输入生成输出）；postfire（即时更新状态）；最后期限（演员愿意让多少时间过去）；和时间更新（随着时间的推移更新状态）。复合演员是使用合成运算符获得的，在托勒密，被称为导演。不同的控制器实现不同的计算模型。在本文中，我们正式定义了下列计算模型的控制器：同步-反应、离散事件、连续时间、过程网络和模态模型。