Download now Free registration required
Creol is a high-level, object-oriented language for distributed systems, featuring active objects and asynchronous method calls. In this paper, the authors present a behavioral interface specification language over communication trace labels to specify components in terms of traces of observable behavior. In the specification, a clean separation of concerns between interaction under the control of the component or coming from the environment is central, which leads to an assumption-commitment style description of a component's behavior. The assumptions schedule the order of inputs, whereas the outputs as commitments are being tested for conformance.
- Format: PDF
- Size: 380.92 KB