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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers) Jg. 2; S. 199 - 202 vol.2
1. Verfasser: Chia-Chu Chiang
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 2005
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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