next up previous
Next: References Up: No Title Previous: Resolution in the first

Dynamic distribution and synchronization of processes using process algebra MAPA

At present, within the project Hybrid systems for intelligent system design at UQAH, I am developing a script language for the distributed computing based on Multi-Action Process Algebra (MAPA). The main motivation for this work is to provide a generic, expressive, effectively implementable, and theoretically well-founded programming language for dynamic distribution and synchronization of tasks running in a distributed environment. Process algebras, with their solid theoretical basis, seem to be a good choice for such a language. One of the principal issues in achieving an efficient implementation of a process algebra is the choice of the primitive operations on the implementation level; in fact the main differences between process algebras are related to the choice of the operators. Our choice of the particular process algebra to implement was MAPA, which is built on only three simple-to-implement and intuitive operators: prefixing , restriction , and composition . It has been formally proved that, notwithstanding its simplicity, MAPA has ``general expressive power'' in the sense that any recursively enumerable (i.e., implementable) behavior can be specified by a MAPA program. Futhermore, MAPA allows so called multi-way (by multiple rendez-vous) synchronization of tasks.

The description of the project and the general idea of the distribution and synchronization mechanism for MAPA programs have been presented in [ZFI97]. Currently, the distributed interpreter of MAPA is being implemented on a 16-node AVX-3 parallel computer using standard socket libraries.


next up previous
Next: References Up: No Title Previous: Resolution in the first
Wojtek Fraczak
8/26/1997