Modeling interface definition language extensions
- 8 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Interface definition languages (IDLs) serve to specify module and interface names, as well as operation signatures. However, IDLs lack a means to express aspects, such as synchronization constraints, pre- and post-conditions, invariants, quality-of-service annotations and real-time annotations. We develop a framework to specify the IDL and a given IDL extension in a combined modeling language based on XML. We show how this specification can serve to obtain tools to process the extended IDL. We study this approach along the lines of the OMG IDL and the CORBA middleware platform. The specification of semantic aspects and the specification of the IDL is based on XML document type definitions.Keywords
This publication has 5 references indexed in Scilit:
- Hidden software capabilitiesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Behavioral specification of distributed software component interfacesComputer, 1999
- Making components contract awareComputer, 1999
- Generic QoS Specifications for CORBAPublished by Springer Nature ,1999
- On the Object-Oriented Modelling of Distributed Workflow ApplicationsPublished by Springer Nature ,1997