Name
Abstract | ||
|---|---|---|
CATNets are a general-purpose semi-graphical formalism for specifying concurrent objects, which have already been defined. The authors propose an extension to this formalism (ECATNets) aiming to increase their descriptive power. ECATNets are given interpretation in terms of a rewrite logic fitting into the same semantic framework as CATNets. The practical usefulness of ECATNets is shown through their application to a series of real-size communication protocols of the OSI environment. These studies show how ECATNets may be used to achieve modular specifications, which may be easily put together. The authors specification approach is based on starting from implementation concepts rather than from theoretical ones, thus bridging the gap between the theory and the practice |
Year | DOI | Venue |
|---|---|---|
1992 | 10.1109/ICCI.1992.227624 | Toronto, Ont. |
Keywords | Field | DocType |
Petri nets,abstract data types,computer communications software,formal specification,open systems,protocols,rewriting systems,ECATNets,OSI framework,communication software specification,concurrent algebraic term nets,extended concurrent algebraic term nets,modular specifications,real-size communication protocols,rewrite logic | Abstract data type,Programming language,Petri net,Computer science,Formal specification,Concurrent computing,Modular design,Formalism (philosophy),Open system (systems theory),Communications protocol | Conference |
ISBN | Citations | PageRank |
0-8186-2812-X | 5 | 0.57 |
References | Authors | |
9 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mohamed Bettaz | 1 | 66 | 11.13 |
| Mourad Maouche | 2 | 43 | 5.93 |
| Moussa Soualmi | 3 | 5 | 0.57 |
| Madani Boukebeche | 4 | 5 | 0.57 |