Using interface definition languages to support path expressions and programming by contract

Author

Watkins, Damien

fYear

1998

fDate

3-7 Aug 1998

Firstpage

308

Lastpage

317

Abstract

The 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 place 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. An example of the specification and a demonstration of its use are also presented

Keywords

client-server systems; formal specification; high level languages; object-oriented programming; software quality; software reliability; distributed object oriented system; interface definition languages; path expressions; programming by contract model; quality; runtime method call constraints; specification; system performance; system reliability; Concurrent computing; Contracts; Control systems; Delay; Object oriented modeling; Object oriented programming; Reliability; Software quality; Software systems; Valves;

fLanguage

English

Publisher

ieee

Conference_Titel

Technology of Object-Oriented Languages, 1998. TOOLS 26. Proceedings

Conference_Location

Santa Barbara, CA

Print_ISBN

0-8186-8482-8

Type

conf

DOI

10.1109/TOOLS.1998.711022

Filename

711022