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 to reason about specification matching of a customized distributed runtime system with the application's requirements.

Keywords: Configuration-based programming, Distributed programming, Distributed runtime system, Formal verification, Software bus, Specification matching, System customization.