Enhanced component interfaces to support dynamic adaption and extension
- 29 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Current component systems offer the possibility to integrate different enterprise systems, e.g., by wrapping legacy components or integrating several object protocols such as RMI, Corba-IIOP, etc. A disadvantage of todays component systems is that the interface descriptions of their component model do not give alone sufficient information to deploy a component correctly and reliably. Therefore the definition of new interface models, which are enhanced by (semantic) applicability information play an important role in enterprise application integration. We describe a new model of software component interfaces, using an extension of finite state machines to describe the protocol to use a component's offered services, and the sequences of calls to external services the component requires to fulfil its offered services. Our model concentrates on protocol issues of interoperability. We present a description of our new interface model and present the algorithms for integration checking, automatic adaption and dynamic extension. These algorithms are implemented in our CoCoNut/J-prototype. Author(s) Reussner, R.H. Karlsruhe Univ., GermanyKeywords
This publication has 11 references indexed in Scilit:
- Specification matching of software componentsACM Transactions on Software Engineering and Methodology, 1997
- Protocol specifications and component adaptorsACM Transactions on Programming Languages and Systems, 1997
- Specifying distributed software architecturesPublished by Springer Nature ,1995
- A behavioral notion of subtypingACM Transactions on Programming Languages and Systems, 1994
- Regular types for active objectsACM SIGPLAN Notices, 1993
- Applying 'design by contract'Computer, 1992
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Superdeterministic DPDAs: The method of accepting does affect decision problemsJournal of Computer and System Sciences, 1979
- Deterministic one-counter automataJournal of Computer and System Sciences, 1975
- An axiomatic basis for computer programmingCommunications of the ACM, 1969