Title :
Hierarchical algebraic nets
Author_Institution :
Software Eng. Lab., Swiss Fed. Inst. of Technol., Lausanne, Switzerland
Abstract :
This paper presents a specifications formalism, hierarchical algebraic nets (HAN), which allows the specification and design of heterogeneous concurrent distributed systems using hierarchical descriptions based on algebraic specifications and Petri nets. A simple example is first given in order to present the graphical representation associated to HAN, then the abstract syntax and formal semantics are described. The interesting aspects of HAN for reactive distributed systems development are listed and the link between the HAN model to the SANDS development environment is summarised
Keywords :
Petri nets; algebraic specification; distributed processing; formal specification; hierarchical systems; semantic networks; Petri nets; abstract syntax; algebraic specifications; distributed systems; formal semantics; graphical representation; heterogeneous concurrent distributed systems; hierarchical algebraic nets; Concurrent computing; Data structures; Formal specifications; Graphics; Hierarchical systems; Modular construction; Object oriented modeling; Petri nets; Software engineering;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.638268
