Model-typed component interfaces
Journal of Systems Architecture: the EUROMICRO Journal
A family of languages for architecture constraint specification
Journal of Systems and Software
Hi-index | 0.00 |
Component based software engineering (CBSE) suggests the idea of applications as assemblies of prefabricated components. Practical experiences with the CORBA Component Model (CCM), which is a multi-language andmulti-platform component architecture, have shown that pure syntax declarations are inadequate for describing trustworthy software components, in particular for reuse. In this paper we present a contract extension to the CCM metamodel, a contract aware CCM container that improves the trustworthiness of CORBA components and experimental results that explore the runtime impacts of contract verification.