|
Abstract : |
The RPC model has been widely used as it provides a simple paradigm to implement distributed applications. It is not, however, suited to support the great diversity of existing and future applications due to the restrictions imposed by the communication transparency---concerning synchronization and transport functions--- inherent to the RPC model. This paper describes ROSTAR, a Remote Operations System Tailored to specific Application Requirements. In ROSTAR application requirements are described using a formal specification. The specification is taken as input by a compiler which then automatically generates the communication module tailored to the application requirements. We have implemented a prototype of ROSTAR. In this prototype, the specification language is a combination of ASN.1 and ESTEREL. The compiler includes an ASN.1 compiler and a ESTEREL compiler. We have found that ROSTAR provides not only a flexible way to specify application requirements and to efficiently generate communication modules tailored to the requirements but also a well-defined programming abstraction., |
