An Open System Operational Semantics for an Object-Oriented and Component-Based Language

Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creol objects are concurrent, each with its own virtual processor and internal process control, and communicate using asynchronous (non-blocking) method calls. This provides the efficiency of message passing systems, while keeping the structuring benefits of methods and object-oriented programming. Conditional processor release points provide a high-level synchronization mechanism based on passive waiting that allows us to combine active and reactive behavior. A Creol component can be a single (concurrent) object or a collection of objects, together with a number of interfaces, and cointerfaces, defining the provided and required interaction and semantic behavior. Creol's semantics is defined formally using operational semantics and Hoare logic. An operational semantics lets us simulate an entire system, whe...

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Jasmin Christian Blanchette, Olaf Owe
• Keywords: ENTCS 2008, Hoare Logic, Operational Semantics, Semantics