Aster: a framework for sound customization of distributed runtime systems

Author

Issarny, Valerie ; Bidan, Chirstophe

Author_Institution

IRISA, Rennes, France

fYear

1996

fDate

27-30 May 1996

Firstpage

586

Lastpage

593

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Computing Systems, 1996., Proceedings of the 16th International Conference on

Print_ISBN

0-8186-7399-0

Type

conf

DOI

10.1109/ICDCS.1996.508009

Filename

508009