Runtime Validation of Behavioural Contracts for Component Software

In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contract with its neighbouring components regarding the use of its services. In general, such a contract should cover issues beyond interface signatures, such as service functionality, usage and quality. The Interface Definition Languages (IDLs) used by commercial middleware such as CORBA, however, lack mechanisms for capturing such semantic characteristics. In this paper, we introduce a framework and associated techniques that augment commercial IDLs with behavioural contract specifications and validate at runtime component interactions against such contracts. The behavioural contract of a component describes occurrence or sequencing constraints on its interactions with the environment. The validation of such constraints is achieved by intercepting runtime interactions between components and validating them aga...

• Type: Conference
• Year: 2005
• Where: QSIC
• Authors: Yan Jin, Jun Han
• Keywords: Behavioural Contract, Interface Definition, QSIC 2005, Runtime Component Interactions, Software Engineering