RL: A Language for Formal Engineering

No Thumbnail Available
File version
Author(s)
Bride, H
Dong, JS
Hou, Z
Mahony, B
Mccarthy, J
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2020
Size
File type(s)
Location
License
Abstract

Reflection is a notion that naturally emerges from philosophy, mathematics, and sciences. In short, reflection is the ability of an entity to alter its own behaviour. This paper suggests that reflection is crucial to the development of complex and trustworthy software systems. We present RL, a reflective computational model that aims to support the development of a large-scale framework for modelling and manipulating structured data. We give the formal semantics for this computational model. We also share preliminary work on a proof-of-concept implementation of RL and discuss future work.

Journal Title
Conference Title

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject

Electrical engineering

Persistent link to this record
Citation

Bride, H; Dong, JS; Hou, Z; Mahony, B; Mccarthy, J, RL: A Language for Formal Engineering, Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2020, pp. 31-36