A Real-time Action Logic of Objects

Lano, Kevin and Bicarregui, Juan and Kent, Stuart (1996) A Real-time Action Logic of Objects. In: Proceedings of ECOOP'96 Workshop on Proof Theory of Concurrent Object-oriented Programming. (Full text available)

Download (276kB) Preview
Download (146kB)


This paper presents work performed in the EPSRC ''Object-oriented Specification of Reactive and Real-time Systems'' project. It aims to extend the Object Calculus of Fiadeira and Mailbaum to cover durative actions and real-time constraints. We define a core logic, termed ''Real-time action logic'' (RAL) which can provide an axiomatic semantics and reasoning framework for concurrent, real-time and object-oriented specification languages. The logic could also be viewed as providing the basis of a specification language in its own right. We show how a model action logic (MAL) and real-time logic (RTL) for reasoning about concurrent object-oriented pograms and specifications can be derived from RAL, and indicate how this formalism can be used to provide an axiomatic semantics for a large part of the object-oriented specification language VDM++.

Item Type: Conference or workshop item (UNSPECIFIED)
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 27 Aug 2009 20:25 UTC
Last Modified: 20 Jun 2014 15:59 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21361 (The current URI for this page, for reference purposes)
  • Depositors only (login required):


Downloads per month over past year