Multiset Rewriting for Concurrent Object-Oriented Programming

In this paper, we present a calculus model expressing the behavior of a system of communicating objects via multiset rewriting. Then, we introduce the composition principle allowing to synchronize several applicable rewriting rules. Finally, we interpret the so-defined model in a fragment of linear logic. keywords: concurrent rewriting system, object-oriented programming, linear logic 1 Introduction Most available concurrency models are based on architectural concepts, e.g. networks of processes communicating by means of ports, channels, shared variables, streams, ... In the parallel logic programming framework, Guarded Horn Clause-based languages like FCP [9] are mostly stream-based process models. They provide the possibility of spawning new processes communicating via streams but use extra-logic suspension mecanisms having a complex semantics. More recent languages introduce the concept of shared dataspace as main tool for coordination. They offer a set of basic associative operat..