Abstract
AORTA has been proposed as an implementable real-time language for concurrent systems where event times, rather than values of data, are critical. In this paper we describe how to use AORTA with a formal data model, allowing integration with a variety of model-based data specification languages. Example definitions are given of time-critical systems with important data attributes. A development technique and supporting software tools for AORTA are also described.
Original language | English |
---|---|
Pages (from-to) | 3-29 |
Journal | Science of Computer Programming |
Volume | 40 |
Issue number | 1 |
DOIs | |
Publication status | Published - May 2001 |