Hierarchical algebraic nets

Author

Guelfi, Nicolas

Author_Institution

Software Eng. Lab., Swiss Fed. Inst. of Technol., Lausanne, Switzerland

Volume

2

fYear

1997

fDate

12-15 Oct 1997

Firstpage

1722

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on

Conference_Location

Orlando, FL

ISSN

1062-922X

Print_ISBN

0-7803-4053-1

Type

conf

DOI

10.1109/ICSMC.1997.638268

Filename

638268