Towards a Foundation of Component-Oriented Software Reference Models
GCSE '00 Proceedings of the Second International Symposium on Generative and Component-Based Software Engineering-Revised Papers
Using Component Metacontent to Support the Regression Testing of Component-Based Software
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Maintainability and reusability issues in CORBA-based systems
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Component composition preserving behavioral contracts based on communication traces
Theoretical Computer Science - Implementation and application of automata
Measuring reactability of persistent computing systems
SC'07 Proceedings of the 6th international conference on Software composition
Component composition preserving behavioural contracts based on communication traces
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
| Hi-index | 0.00 |
Traditional IDLs were defined for describing the services that objects offer, but not those services they require from other objects, nor the partial ordering in which they expect their methods to be used. In this paper we propose an extension of the CORBA IDL that uses a sugared subset of the polyadic p-calculus for describing object service protocols, aimed towards the automated checking of protocol interoperability between CORBA objects in open component-based environments. In addition, some advantages and disadvantages of our proposal are discussed, as well as some of the practical limitations encountered when trying to implement and use this sort of IDL extensions in open systems.