Composable Message Semantics in Oberon

Most object-oriented languages offer a limited number of invocation semantics. At best, they define a default mode of synchronous invocation, plus some keywords to express additional semantic attributes, e.g. synchronisation. The approaches that offer rich libraries of invocation abstractions usually introduce significant overhead and do not support the composition of those ions. er describes a pragmatic approach for abstracting invocation semantics with emphasise on remote invocations. Invocation semantics, such as synchronous, asynchronous, remote, transactional or replicated, are all considered first class citizens. Using an elegant combination of the Strategy and Decorator design patterns, we suggest an effective way to compose various invocation semantics. We completely separate the class definition from the invocation semantics of its methods and we go a step further towards full polymorphism: the invocation of the same method can have different semantics on two objects of the sa...

• Type: Conference
• Year: 2000
• Where: JMLC
• Authors: Markus Hof
• Keywords: Invocation Semantics, JMLC 2000, Programming Languages, Synchronous Invocation, Various Invocation Semantics