Abstract | ||
---|---|---|
Algebraic term nets (ATNets) are a semigraphical formalism for modular specification of complex systems. Their underlying theory is based on an association of Petri nets and abstract data types. They are used to cope, respectively, with process and data-type specification. ATNets are mainly used for specifying real-size communication protocols according to standards. The objective of this article is twofold. First, we review some basic notions about ATNets and their various versions. Then we show how to build new specifications from older ones by reusing ATNet modules. |
Year | DOI | Venue |
---|---|---|
1994 | 10.1016/0164-1212(94)90025-6 | Journal of Systems and Software |
Keywords | Field | DocType |
reusing atnet module,protocol specification | Abstract data type,Complex system,Petri net,Programming language,Algebraic number,Reuse,Computer science,Language Of Temporal Ordering Specification,Formalism (philosophy),Communications protocol | Journal |
Volume | Issue | ISSN |
27 | 2 | The Journal of Systems & Software |
Citations | PageRank | References |
6 | 0.51 | 8 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mohamed Bettaz | 1 | 66 | 11.13 |
Mourad Maouche | 2 | 43 | 5.93 |
Moussa Soualmi | 3 | 6 | 0.51 |
Madani Boukebeche | 4 | 8 | 0.89 |