Title :
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
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;
Conference_Titel :
Databases in Parallel and Distributed Systems, 1990, Proceedings. Second International Symposium on
Conference_Location :
Dublin
Print_ISBN :
0-8186-2052-8
DOI :
10.1109/DPDS.1990.113707
