Using interface definition languages to support Path Expressions and Programming by Contract

This paper describes how Path Expressions and Programming by Contract can be supported in Interface Definition Languages (IDLs) without the need for any IDL extensions or new keywords. The Programming by Contract model described here contains extensions which allow clients to piece constraints on method calls at runtime, to improve system reliability and performance. As no IDL extensions are used, this system can be incorporated into new and existing systems and improve the quality and reliability of distributed object oriented systems. Ala example of the specification end a demonstration of its use are also presented.