Paper Info
Title
Modelling of Object Based Systems with Hidden Sorted ECATNets
Abstract
ECATNets are a kind of high-level net/data model, combining the strengths of Petri 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 net/object model allowing to "hide" (object) internal states, and then to get more rapid prototypes.
Year
DOI
Venue
1995
10.1109/MASCOT.1995.378672
MASCOTS
Keywords
Field
DocType
Petri nets,abstract data types,object-oriented programming,rewriting systems,ECATNets,Petri nets,abstract data types,distributed systems,hidden sorted ECATNets,object based systems,parallel systems,prototyping,rewriting logics
Abstract data type,Programming language,Petri net,Object-oriented programming,Computer science,Object model,Theoretical computer science,Rewriting,Distinctive feature,Data model,Semantics,Distributed computing
Conference
ISBN
Citations 
PageRank 
0-8186-6902-0
5
0.56
References 
Authors
11
2
Name
Order
Citations
PageRank
Mohamed Bettaz16611.13
Mourad Maouche2435.93