Browse by author
Lookup NU author(s): Neil Henderson
This report introduces a new rigorous notation called Real-time Interactions that can be used to model the interactions between a system and its environment. The concept of Real-Time Interaction (RTIs) is introduced, and the Conversation Constraint Language (CCL), an abstract notation that is used to record the interactions that occur in a system and between the system and its environment in a way based on natural language. An Appendix gives details of a set of macros that can be used to translate the CCL constructs into Real-time Logic (RTL). The use of the new notations with the RTT notations previously developed in the DCSC is illustrated using two case studies, a Railway Crossing and a Cashpoint Transaction. An initial partial abstract syntax of RTIs, and details of the RTI representations of the two case studies are also included as Appendices.
Author(s): Henderson N
Publication type: Report
Publication status: Published
Series Title:
Year: 2001
Pages: 50
Institution: University of Newcastle
Place Published: Newcastle upon Tyne
URL: http://www.cs.newcastle.ac.uk/publications/trs/papers/734.pdf
