A concurrent object coordination language: Semantics and applications |
Posted on:2006-01-28 | Degree:Ph.D | Type:Dissertation |
University:University of Victoria (Canada) | Candidate:O'Connell, Gordon Wayne | Full Text:PDF |
GTID:1458390005996544 | Subject:Computer Science |
Abstract/Summary: | |
The Timed Actor model is a concurrent coordination model which extends the basic Actor model of [1] by providing timers and facilities for atomic message processing with local checkpointing . The semantics of our Timed Actor model allows the specification of a timed actor language called COOL, and a virtual machine to accommodate our timed actor language. COOL is the basis of our approach for modelling and implementing distributed applications.; COOL provides a high-level description language for specifying the interface, behaviour and coordination of actors. COOL allows a practitioner to specify the expected behaviour of actors by defining the performance and coordination properties of actors. These checkable properties are compilable into online monitors . At run-time monitored activity (observed behaviour) is logged in a format amenable to offline trace analysis. Our trace analyzer validates a COOL Specification by comparing observed to expected behaviour. |
Keywords/Search Tags: | Coordination, COOL, Timed actor, Actor model, Language, Behaviour |
|
Related items |