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 multi...

Full description

Saved in:
Bibliographic Details
Published in:19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers) Vol. 2; pp. 199 - 202 vol.2
Main Author: Chia-Chu Chiang
Format: Conference Proceeding
Language:English
Published: IEEE 2005
Subjects:
and Parallelism
Application software
Computer languages
Concurrency
Concurrent computing
Coordination
Distribution
Heterogeneity
Isolation technology
Middleware
Object oriented modeling
Parallel processing
Parallel programming
Software maintenance
Specification languages
ISBN:9780769522494, 0769522491
ISSN:1550-445X
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISBN:9780769522494
0769522491
ISSN:1550-445X
DOI:10.1109/AINA.2005.199