On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Keynote address - data abstraction and hierarchy
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
Software reusability: vol. 1, concepts and models
Software reusability: vol. 1, concepts and models
A parallel object-oriented language with inheritance and subtyping
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Introduction to OSF DCE (rev. 1.0)
Introduction to OSF DCE (rev. 1.0)
Flexible trading in distributed multimedia systems
Computer Networks and ISDN Systems
Algorithms in C++
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Signature matching: a tool for using software libraries
ACM Transactions on Software Engineering and Methodology (TOSEM)
The essential distributed objects survival guide
The essential distributed objects survival guide
Specification matching of software components
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Common Object Services Specification: Atandt/NCR, Bnr Europe Limited, Digital Equipment Corporation ..
Taming C Plus Plus: Pattern Classes and Persistence for Large Projects
Taming C Plus Plus: Pattern Classes and Persistence for Large Projects
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
A New Definition of the Subtype Relation
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Designing an Object-Oriented Programming Language with Behavioural Subtyping
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Abstracting Services in a Heterogeneous Environment
Middleware '01 Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms Heidelberg
HydroJ: object-oriented pattern matching for evolvable distributed systems
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
| Hi-index | 0.00 |
Reuse of software components available in open distributed systems is a promising approach for efficient development of complex distributed applications. In open distributed systems, type mechanisms are used both to find appropriate external software components and also to guarantee that their respective interfaces match. Furthermore, a type manager allows application developers to interactively browse existing functionality and enables the automatic mediation of compatible software components at run-time. This paper presents a uniform view for handling the functionality offered by software components regardless of context-specific aspects and a framework that allows for the automatic deduction of different flavors of compatibility relations. Finally, we describe our current type management prototype implementation.