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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers) Ročník 2; s. 199 - 202 vol.2
Hlavní autor: Chia-Chu Chiang
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 2005
Témata:
ISBN:9780769522494, 0769522491
ISSN:1550-445X
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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