JOYCE+: model and language for multi-site distributed systems

Author

Franky, María Consuelo

Author_Institution

Dept. of Comput. Sci., Univ. of Los Andes, Bogota, Colombia

fYear

1990

fDate

2-4 Jul 1990

Firstpage

160

Lastpage

170

Abstract

The JOYCE+ model for multisite distributed systems is presented and the operational semantic of the asynchronous communication between processes is illustrated with Petri nets. The syntax of the JOYCE+ language is presented in terms of the Guarded Commands language. The expressive power of the JOYCE+ language in distributed synchronization problems with timeout handling is illustrated through examples. Software development environments (based on JOYCE+) for distributed systems over multi- and monoprocess computer networks are discussed

Keywords

Petri nets; parallel languages; parallel programming; Guarded Commands language; JOYCE+ language; JOYCE+ model; Petri nets; asynchronous communication; distributed synchronization problems; expressive power; monoprocess computer networks; multi-site distributed systems; operational semantic; software development environment; syntax; timeout handling; Asynchronous communication; Command languages; Computational modeling; Computer crashes; Computer networks; Computer science; Petri nets; Power system modeling; Telecommunication network reliability;

fLanguage

English

Publisher

ieee

Conference_Titel

Databases in Parallel and Distributed Systems, 1990, Proceedings. Second International Symposium on

Conference_Location

Dublin

Print_ISBN

0-8186-2052-8

Type

conf

DOI

10.1109/DPDS.1990.113707

Filename

113707