Title :
Coordination of systems with real-time properties in manifold
Author :
Papadopoulos, George A. ; Arbab, Farhad
Author_Institution :
Dept. of Comput. Sci., Univ. of Cyprus, Nicosia, Cyprus
Abstract :
The paper combines work done in the areas of asynchronous timed computations and coordination models in order to derive a framework able to express real-time coordination without adhering to special architectures or real-time programming languages. In particular, it is shown how the coordination language MANIFOLD can be used to support coordinators with bounded response time. The only assumption made about the coordinated components is that they adhere to some constraints as imposed by timed asynchronous computational models derived for concurrent constraint languages. The model can be used as a basis for building complex software and hardware systems with the distinct advantage of enhancing reusability of existing components. Indeed, it is already being used in a project aiming to develop distributed multimedia applications
Keywords :
multimedia computing; parallel languages; real-time systems; software reusability; timing; MANIFOLD coordination language; asynchronous timed computations; bounded response time; complex hardware system building; complex software system building; concurrent constraint languages; coordination models; distributed multimedia application development; real-time coordination; real-time system coordination; reusability; timed asynchronous computational models; Application software; Computational modeling; Computer architecture; Computer languages; Concurrent computing; Delay; Hardware; Real time systems; Software reusability; Software systems;
Conference_Titel :
Computer Software and Applications Conference, 1996. COMPSAC '96., Proceedings of 20th International
Conference_Location :
Seoul
Print_ISBN :
0-8186-7579-9
DOI :
10.1109/CMPSAC.1996.542425