Modelling of object based systems with hidden sorted ECATNets

Abstract

EGlTNets are a kind of High-level netldata model, combining the strenghts of PeOi nets with those of abstract data types, used for modeling parallel and distributed systems. Their most distinctive feature is that their semantics is defined in terms of rewriting logics, thus allowing us to analyse the built models by prototyping. However a major drawback of this approach is that the achieved prototypes suffer from a lack of efficiency during their execution. The objective of this paper is to palliate this lack by introducing the concept of hidden sorted ECATNets, a combination of netlobject model allowing to Wde" (object) intemal states, and then to get more rapid prototypes.

Concurrent systems analysis using ECATNets

“…The following example is intended to illustrate the use of simplified ECATNets. The reader interested in more details may consult [5], [4].…”

“…One of the aims of these works has been to provide a richer language, based on linear logic, for the specification and the study of properties of concurrent computations. The main objective of this paper is to show how to extend the ECATNet model, which is a form of high-level algebraic nets [5], [4], with new objects and morphisms in order to have a more expressive model based diagnosis of concurrent systems. Our formulation is accomplished by exploiting the similarity between the categorical models of linear logic and those of ECATNets which are also categories in the rewriting logic framework.…”