Aster: a framework for sound customization of distributed runtime systems
- 23 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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
This publication has 17 references indexed in Scilit:
- Dynamic reconfiguration of distributed programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Choices, frameworks and refinementPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- ExokernelPublished by Association for Computing Machinery (ACM) ,1995
- Regis: a constructive development environment for distributed programsDistributed Systems Engineering, 1994
- Designing an agent synthesis system for cross-RPC communicationIEEE Transactions on Software Engineering, 1994
- The POLYLITH software busACM Transactions on Programming Languages and Systems, 1994
- A packaging system for heterogeneous execution environmentsIEEE Transactions on Software Engineering, 1991
- The evolving philosophers problem: dynamic change managementIEEE Transactions on Software Engineering, 1990
- Constructing distributed systems in ConicIEEE Transactions on Software Engineering, 1989
- Higher-order logic programmingPublished by Springer Nature ,1986