The interface description language: definition and use.