Modeling interface definition language extensions

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.

[1]  Oscar Nierstrasz,et al.  Regular types for active objects , 1993, OOPSLA '93.

[2]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[3]  Jean-Marc Jézéquel,et al.  Making Components Contract Aware , 1999, Computer.

[4]  Dennis Gannon,et al.  PARDIS: A parallel approach to CORBA , 1997, Proceedings. The Sixth IEEE International Symposium on High Performance Distributed Computing (Cat. No.97TB100183).

[5]  Arno Puder,et al.  A Declarative Extension of IDL-based Type Definitions within Open Distributed Environments , 1994, OOIS.

[6]  Jacques Mossière,et al.  Hidden software capabilities , 1996, Proceedings of 16th International Conference on Distributed Computing Systems.

[7]  Douglas C. Schmidt,et al.  The design of the TAO real-time object request broker , 1998, Comput. Commun..

[8]  John A. Zinky,et al.  Architectural Support for Quality of Service for CORBA Objects , 1997, Theory Pract. Object Syst..

[9]  Hans-Arno Jacobsen.  Programming language interoperability in distributed computing environments , 1999, DAIS.

[10]  Narinder Singh,et al.  Coordinating Distributed Objects with Declarative Interfaces , 1996, COORDINATION.

[11]  Sriram Sankar,et al.  ADL—an interface definition language for specifying and testing software , 1994 .

[12]  Cynthia Della Torre Cicalese,et al.  Behavioral Specification of Distributed Software Component Interfaces , 1999, Computer.

[13]  Damien Watkins,et al.  Using interface definition languages to support path expressions and programming by contract , 1998, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).

[14]  Christian Becker,et al.  Generic QoS Specifications for CORBA , 1999, Kommunikation in Verteilten Systemen.

[15]  Kurt Geihs,et al.  On the Object-Oriented Modelling of Distributed Workflow Applications , 1997 .

[16]  Bernd J. Krämer,et al.  A design pattern based approach to generating synchronization adaptors from annotated IDL , 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

[17]  Pedro de las Heras Quirs,et al.  Inheritance anomaly in CORBA multithreaded environments , 1997 .