Signature matching: a key to reuse
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Signature matching: a tool for using software libraries
ACM Transactions on Software Engineering and Methodology (TOSEM)
Specification matching of software components
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software engineering with reusable components
Software engineering with reusable components
Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Object-Oriented Software Construction
Object-Oriented Software Construction
Computer
(U)CML - a modeling language for modeling and testing compatibility
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Hi-index | 0.00 |
Compositional reuse of software components requires standardized specification techniques if applications are created by combining third party components Adequate techniques need to be used in order to specify not only technical but also business related aspects of software components The different specification aspects of software components are summarized in a multi-layer specification framework with formal specification techniques defined for each level of abstraction The use of formal specification techniques is a prerequisite for compatibility tests on component specifications Compatibility tests are necessary for the identification of required components, which are traded on component markets The focus of this paper is to present an algorithm for compatibility test on interface level, where Interface Definition Language (IDL) has been used as formal specification language In order to test characteristics where e.g the order of parameter values or the order of consisting data types within a complex data type are not identical with the specification, adapters are generated for mapping the component interfaces.