Heterogeneous distributed parallel programming for coordination in software development

We are presenting a formal specification-based approach to heterogeneous distributed parallel programming. A specification language is used to describe system behaviors. The specification is then analyzed to create a multiparty interaction interface description describing the properties of the multiparty interactions among processes. Our language mapping approach allows a multiparty interaction interface description automatically created in any target programming language. Developers can then write a program in the target language to include the description for execution. A familiar programming model is provided to support implicit communication, concurrency, synchronization, and parallelism in systems through an implicit coordination-oriented approach. In other words, developers do not have to explicitly express communication, concurrency, synchronization, and parallelism when they are developing heterogeneous distributed and parallel systems.

[1]  Nicholas Carriero,et al.  Applications experience with Linda , 1988, PPEALS '88.

[2]  Mathieu Buffo.  Experiences in coordination programming , 1998, Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130).

[3]  Farhad Arbab.  Coordination and its relevance , 1998, Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130).

[4]  Yuh-Jzer Joung,et al.  A comprehensive study of the complexity of multiparty interaction , 1992, POPL '92.

[5]  Michael J. Quinn,et al.  Designing Efficient Algorithms for Parallel Computers , 1987 .

[6]  José Antonio Pérez,et al.  An Aspect–Oriented Approach based on Multiparty Interactions to Specifying the Behaviour of a System , 2007 .

[7]  Monica S. Lam,et al.  Jade: a high-level, machine-independent language for parallel programming , 1993, Computer.

[8]  Chia-Chu Chiang,et al.  On the design of heterogeneous applications for distributed coordination , 2004, International Conference on Information Technology: Coding and Computing, 2004. Proceedings. ITCC 2004..