Design Patterns for Synchronization Adapters of CORBA Objects

Hans-Arno Jacobsen and B. Kramer.

Special issue of L'OBJET Journal on Object Orientation and Formal Methods, 6(1)57-92, 2000.
Hermes Publisher.


Interface definition languages serve to specify module and interface names, as well as operation signatures. However. IDLs lack means to express aspects, such as synchronization constraints. pre- and post conditions. invariants, quality of service annotations, and real-time annotations. We discuss solutions for adding specifications of semantic aspects to component interfaces and automatically synthesizing code that instruments corresponding semantic checks. Independently from the concrete syntax and semantics of such specification elements, we present a collection of design patterns that allow the designer to seamlessly integrate the synthesized code with the code frames generated by standard IDL compilers. We study these approaches along the concrete example of extending CORBA IDL with synchronization constraints and evaluate several implementation alternatives.


Tags: idl, corba

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

  • Programming Language Interoperability in Distributed Computing Environments.
    Hans-Arno Jacobsen.
    In International Working Conference on Distributed Applications and Interoperable Systems (DAIS), pages 287-300, Helsinki, Finland, June 1999.
    Tags: idl, corba
  • 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