Enforcing a lips usage policy for CORBA components
DePrince, Hofmeister · 2003
Problems arise with component reuse when implicit assumptions about the use of the component are encoded in the implementation but not communicated to the user. One solution to this problem is to formally specify these constraints about a component's use. Once specified, these usage constraints can be statically verified or dynamically enforced. Our research project, lips is a language for specifying usage constraints and a toolset for automatically generating dynamic code to enforce them. Here we present the notion of a virtual client and show how this is critical for ensuring correct usage of a component. We discuss our experiences providing automatic enforcement of usage constraints for CORBA components: while much of the needed support can be provided easily using a container concept, support for virtual clients requires more fundamental changes in a component model such as CORBA.