An Example for Concurrent Reflective Computations in Rewriting Logic

An Example for Concurrent Reflective Computations in Rewriting Logic
复制标题

重写逻辑中的并发反射计算示例

DOI：
10.1007/978-0-387-35082-0_13
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
Takuo Watanabe
Takuo Watanabe
中科院分区：
--
文献类型：
--
作者：
H. Ishikawa;K. Futatsugi;Takuo Watanabe

文献摘要

被引文献

相似文献

重写逻辑可以声明性地表示并发和/或反应性系统的动态行为。重写逻辑中的声明性描述应该服从于对有趣属性的分析。基于角色模型的全组架构是一种基于全组反射的具体并发反射计算模型。它有可能对几个软件模块或代理的合作行为进行建模。本文提供了在重写逻辑中对群组体系结构建模方法的一些基本考虑，并简要证明了元级术语组通过配置转换正确地表示了群组的操作语义。
Rewriting logic can represent dynamic behaviours of concurrent and/or reactive systems declaratively. Declarative descriptions in rewriting logic are expected to be amenable to analysis of interesting properties. The group-wide architecture based on the actor model is a specific concurrent reflective computation model based on “group-wide reflection”. It has a potential of modelling cooperative behaviours of several software modules or agents. This paper provides some basic considerations on methods of modelling the group-wide architecture in rewriting logic and a brief proof that the metalevel group of terms correctly represents the operational semantics of the group in terms of transitions of configurations.