A Real-time Action Logic of Objects

Lano, K. and Bicarregui, J. and Kent, S. (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)

PDF
Download (182kB)
[img]
Preview
Postscript
Download (146kB)
[img]
Preview

Abstract

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 > Science Technology and Medical Studies > School of Computing > Systems Architecture Group
Depositing User: Mark Wheadon
Date Deposited: 27 Aug 2009 20:25
Last Modified: 06 Sep 2011 03:51
Resource URI: http://kar.kent.ac.uk/id/eprint/21361 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year