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.
|
545
|
The Common Object Request Broker: architecture and specification
– OMG
|
|
519
|
Exokernel: An operating system architecture for application-level resource management
– Engler, Kaashoek, et al.
- 1995
|
|
390
|
Extensibility, safety and performance in the SPIN operating system
– Bershad, Savage, et al.
- 1995
|
|
274
|
Larch: Languages and Tools for Formal Specifications
– Guttag, Horning
- 1993
|
|
254
|
Abstractions for software architecture and tools to support them
– Shaw, DeLine, et al.
- 1995
|
|
225
|
Specification Matching of Software Components
– Zaremski, Wing
- 1997
|
|
183
|
The Polylith Software Bus
– Purtilo
- 1994
|
|
168
|
The evolving philosophers problem: Dynamic change management
– Kramer, Magee
- 1990
|
|
148
|
Higher-order logic programming
– Nadathur, Miller
- 1998
|
|
138
|
Constructing distributed systems in conic
– Magee, Kramer, et al.
- 1989
|
|
85
|
Regis: a constructive development environment for distributed programs
– Magee, Dulay, et al.
- 1994
|
|
46
|
Dynamic Reconfiguration of Distributed Programs
– Hofmeister, Purtilo
- 1991
|
|
36
|
A packaging system for heterogeneous execution environments
– Callahan, Purtilo
- 1991
|
|
31
|
Specifications as search keys for software libraries
– Rollins, Wing
- 1991
|
|
27
|
Choices, Frameworks and Refinement
– Campbell, Islam, et al.
- 1991
|
|
26
|
Constructing a Configurable Group RPC Service
– Hiltunen, Schlichting
- 1995
|
|
25
|
Larch: Languages and Tools for Formal Speci cation
– Guttag, Horning
- 1993
|
|
14
|
Aster: A Corba-based software interconnection system supporting distributed system customization
– Issarny, Bidan
- 1996
|
|
13
|
Speci cation matching of software components
– Zaremski, Wing
- 1995
|
|
11
|
Designing an agent synthesis system for cross-RPC communication
– Huang, Ravishankar
- 1994
|
|
6
|
Object Management Architecture Guide (OMA Guide
– OMG
- 1992
|
|
4
|
Choices, frameworks and re nement
– Campbell, Islam, et al.
- 1991
|
|
3
|
Constructing a con gurable group rpc service
– Hiltunen, Schlichting
- 1995
|
|
3
|
Agha, \A protocol description language for customizing failure semantics
– Sturman, A
- 1994
|
|
2
|
Purtilo, "Configuration-level optimization of rpc-based distributed programs
– Kim, M
- 1995
|
|
2
|
Routeau, "Adaptive placement of method executions within a customizable distributed object-based system: Design, implementation and performance
– Banatre, Belhamissi, et al.
- 1995
|
|
2
|
Agha, "A protocol description language for customizing failure semantics
– Sturman, A
- 1994
|
|
2
|
Con guration-level optimization of rpc-based distributed programs
– Kim, Purtilo
- 1995
|
|
2
|
Speci cations as search keys for software libraries
– Rollins, Wing
- 1991
|
|
2
|
Routeau, \Adaptive placement of method executions within a customizable distributed object-based system: Design, implementation and performance
– Banatre, Belhamissi, et al.
- 1995
|
|
1
|
Aster: un syst`eme de configuration de logiciels fond'e sur Corba," research report
– Issarny, Bidan, et al.
- 1996
|
|
1
|
Dynamic recon guration of distributed programs
– Purtilo, Hofmeister
- 1991
|
|
1
|
Aster: un systeme de con guration de logiciels fonde sur Corba," research report
– Issarny, Bidan, et al.
- 1996
|
|
