Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Integrating AORTA with model-based data specification languages
| |
|
Contributed Papers
Integrating AORTA with model-based data specification languages
Steven Bradley1, William Henderson2, David Kendall2 and Adrian Robson2
| (1) |
Department of Computer Science, Durham University, South Road, DH1 3LE Durham, UK |
| (2) |
Department of Computing, University of Northumbria at Newcastle, Ellison Place, NE1 8ST Newcastle upon Tyne, UK |
Abstract
AORTA has been proposed as an implementable real-time algebra for concurrent systems where event times, rather than values
of data, are critical. In this paper we discuss an extension to AORTA to include a formal data model, allowing integration
with a variety of modelbased data specification languages. An example is given using VDM with AORTA to define a time-critical
system with important data attributes, and supporting software tools for AORTA and a simple imperative language are described.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|