Modelling Interface Definition Language Extensions

Hans-Arno Jacobsen and B. Kramer.

In 37th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS-37), pages 242-252, Sydney, Australia, November 2000.


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.


Readers who enjoyed the above work, may also like the following:

  • Demand–Response Games for Peer-to-Peer Energy Trading With the Hyperledger Blockchain.
    Min Zhang, Frank Eliassen, Amir Taherkordi, Hans-Arno Jacobsen, and Hwei-Ming Chung, Yan Zhang.
    In IEEE Transactions on Systems, Man, and Cybernetics: Systems , September 2021.
    Tags: game theory, blockchain, energy informatics, dlt
  • Prosecutor: An efficient BFT consensus algorithm with behavior-aware penalization against Byzantine attacks.
    Gengrui Zhang and Hans-Arno Jacobsen.
    In Proceedings of the 22nd International Middleware Conference, December 2021.
    Tags: blockchains, dlt, distributed ledger, consensus, bft
  • Reward Mechanism for Blockchains Using Evolutionary Game Theory.
    Shashank Motepalli and Hans-Arno Jacobsen.
    In BRAINS, September 2021.
    Tags: game theory, dlt, distributed ledger, blockchains