Title :
Tolerant (parallel) programming with F-nets and Software Cabling
Author :
DiNucci, David C.
Author_Institution :
NASA Ames Res. Center, Moffett Field, CA, USA
Abstract :
In order to be truly portable, a program must be tolerant of a wide range of development and execution environments, and a parallel program is just one which must be tolerant of a very wide range. First, the term “tolerant programming” is defined. Then, a formal model called F-Nets is described in which parallel algorithms are expressed as folded partial-orderings of operations, and this is argued to provide a suitable framework for building tolerant programs. Finally, Software Cabling (SC), a very-high-level graphical programming language, demonstrates how many of the features normally expected from today´s computer languages (e.g. data abstraction and data parallelism) can be obtained within the F-Net paradigm
Keywords :
Petri nets; parallel algorithms; parallel programming; software fault tolerance; software portability; visual languages; visual programming; F-nets; Software Cabling; data abstraction; data parallelism; folded partial-orderings; formal model; high-level graphical programming language; parallel algorithms; software development environments; software portability; tolerant parallel programming; Communication cables; Computer languages; Concurrent computing; NASA; Parallel algorithms; Parallel machines; Parallel processing; Parallel programming; Software engineering; Space technology;
Conference_Titel :
Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on
Conference_Location :
Boston, MA
Print_ISBN :
0-8186-8043-1
DOI :
10.1109/PDSE.1997.596839