Specification level interoperability
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Whereas most previous approaches to interoperability have provided support at the representation level, the authors are pursuing an approach that provides support at the specification level. They have developed a model of such support that consists of four components: (1) a unified type model, which is a notation for describing the entities to be shared by interoperating programs; (2) language bindings, which connect the type models of the languages to the unified type model; (3) underlying implementations, which realize the types used by the different interoperating programs; and (4) automated assistance, which eases the task of combining components into an interoperable whole. The authors discuss the representation-level and specification-level approaches to interoperability, describe their current prototype realization of the specification-level approach and their experience with its use, and outline their plans for extending both the approach and its realization. Experiences with the initial prototype are found to be extremely encouraging.Keywords
This publication has 20 references indexed in Scilit:
- Communications in the Mercury systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Pgraphite: an experiment in persistent typed object managementPublished by Association for Computing Machinery (ACM) ,1988
- Foundations for the Arcadia environment architecturePublished by Association for Computing Machinery (ACM) ,1988
- A simple system for constructing distributed, mixed-language programsSoftware: Practice and Experience, 1988
- Combining language and database advances in an object-oriented development environmentPublished by Association for Computing Machinery (ACM) ,1987
- A Stub Generator for Multilanguage RPC in Heterogeneous EnvironmentsIEEE Transactions on Software Engineering, 1987
- Andrew: a distributed personal computing environmentCommunications of the ACM, 1986
- MatchmakerPublished by Association for Computing Machinery (ACM) ,1985
- Guardians and Actions: Linguistic Support for Robust, Distributed ProgramsACM Transactions on Programming Languages and Systems, 1983
- A Value Transmission Method for Abstract Data TypesACM Transactions on Programming Languages and Systems, 1982