Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Interface Compatibility Checking for Software Modules
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Compatibility test and adapter generation for interfaces of software components
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
High Confidence Subsystem Modelling for Reuse
ICSR '08 Proceedings of the 10th international conference on Software Reuse: High Confidence Software Reuse in Large Systems
Hi-index | 0.00 |
In this Paper (U)CML -- (Unified) Compatibility Modeling Language -- is introduced, which was developed to model compatibility aspects in systems. In (U)CML it is possible, to model systems (or parts of systems) including the interfaces of the parts of the systems. The interfaces of the components are tested against the corresponding interfaces of the surrounding components. This is useful for detecting compatibility issues. For example, when exchanging a component with a newer one, the component is tested for compatibility with the rest of the system. The following paper will give a short overview of the term "compatibility" and the basic concepts and elements of (U)CML.