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...
Uloženo v:
| 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: | |
| 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!
|
| 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 |

