ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Contact ePubs
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
Contributors
K Lano
,
J C Bicarregui
,
S Kent
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
Keywords
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
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar