Concurrent Reflective Computations in Rewriting Logic(Theory of Rewriting Systems and Its Applications)
Hiroshi Ishikawa, Kokichi Futatsugi, Takuo Watanabe · Institutional Repositories DataBase (IRDB) · 1995
Rewriting logic can represent dynamic behaviors of concurrent $\mathrm{a}\mathrm{n}\mathrm{d}/\mathrm{o}\mathrm{r}$ reactive systems declaratively.Declarative descriptions in rewriting logic are expected to be amenable to analysis of interesting proper- ties.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 modeling cooperative behaviors of several software modules (or agents).This paper provides some basic considerations on methods of modeling the group-wide architecture in rewriting logic.