DMCA
Logic Based and Imperative Coordination Languages (1994)
| Venue: | IN PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, PDCS'94, LAS VEGAS |
| Citations: | 8 - 8 self |
BibTeX
@INPROCEEDINGS{Forst94logicbased,
author = {Alexander Forst and eva Kühn and Herbert Pohlai and Konrad Schwarz},
title = {Logic Based and Imperative Coordination Languages},
booktitle = {IN PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS, PDCS'94, LAS VEGAS},
year = {1994},
pages = {6--8},
publisher = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper deals with the cooperation between programming systems that belong to different paradigms. We explain our approach towards coordination in the context of the recently proposed notions of megaprogramming and coordination languages. We show how our logic based parallel language V PL (Vienna Parallel Logic) can be decomposed into a computation and a coordination part. The language constructs necessary for the coordination of autonomous software systems include a highly abstract communication mechanism, an advanced transaction model and concurrency. The coordination part is generalized so that it can be embedded into programming languages of different paradigms, for example into imperative languages. This concept resembles the Linda approach in many aspects and we compare the two. A main difference is that instead of adding orthogonal constructs that are in no way related to the host language, we embed coordination into the language so the result is a new language that does not ...
Keyphrases
imperative coordination language coordination part different paradigm many aspect host language parallel language pl new language imperative language vienna parallel logic linda approach coordination language abstract communication mechanism orthogonal construct autonomous software system approach towards coordination main difference advanced transaction model
