The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28929
Record Status Checked
Record Id 28929
Title A Real-Time Action Logic of Objects
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 Fiadeiro and Maibaum 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 modal action logic (MAL) and real-time logic (RTL) for reasoning about concurrent object-oriented programs 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++.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In Proceedings of Workshop on Proof Theory of Concurrent Object-Oriented Programming (ECOOP'96), Linz, Austria , 8-12 July, 1996, Lecture Notes in Computer Science 1098 (1996). http://rd.springeā€¦10.1007%2FBFb0053051 1996