Timed Probabilistic Constraints over the Distributed Management Taskforce Common Information Model
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Runtime Validation of Behavioural Contracts for Component Software
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
A new formalism for mathematical description and verification of component-based systems
The Journal of Supercomputing
A model-oriented framework for runtime monitoring of nonfunctional properties
QoSA'05 Proceedings of the First international conference on Quality of Software Architectures and Software Quality, and Proceedings of the Second International conference on Software Quality
Exceptions in component interaction protocols – necessity
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
A new formalism for describing concurrent systems
ISPA'07 Proceedings of the 2007 international conference on Frontiers of High Performance Computing and Networking
Hi-index | 0.02 |
Problems arise with component reuse when implicitassumptions about the use of the component are encodedin the implementation but not communicated to the user.One solution to this problem is to formally specify theseconstraints about a component's use. Once specified,these usage constraints can be statically verified ordynamically enforced. Our research project, lips is alanguage for specifying usage constraints and a toolsetfor automatically generating dynamic code to enforcethem. In this paper we present the notion of a virtualclient and show how this is critical for ensuring correctusage of a component. We discuss our experiencesproviding automatic enforcement of usage constraints forCORBA components: while much of the needed supportcan be provided easily using a container concept, supportfor virtual clients requires more fundamental changes ina component model such as CORBA.