Title :
Aster: a framework for sound customization of distributed runtime systems
Author :
Issarny, Valerie ; Bidan, Chirstophe
Author_Institution :
IRISA, Rennes, France
Abstract :
This paper introduces the Aster distributed configuration-based-programming system that is aimed at easing the development of emerging distributed applications having quality of service requirements. Our approach is based on high-level customization: given the specification of application requirements using the Aster interconnection language, a distributed runtime system, customized for meeting these requirements is built. So as to make the customization process sound, we propose a formal method that allows one to reason about specification matching of a customized distributed runtime system with the application´s requirements
Keywords :
computer aided software engineering; configuration management; distributed processing; formal specification; parallel programming; programming environments; software reusability; Aster distributed configuration-based-programming system; Aster interconnection language; customized distributed runtime system; distributed runtime system; distributed runtime systems; formal method; high-level customization; quality of service requirements; specification matching; Application software; Distributed computing; Dynamic programming; Hardware; LAN interconnection; Multimedia computing; Multimedia systems; Programming profession; Quality of service; Software systems;
Conference_Titel :
Distributed Computing Systems, 1996., Proceedings of the 16th International Conference on
Print_ISBN :
0-8186-7399-0
DOI :
10.1109/ICDCS.1996.508009
