Neil Henderson  Home/Search
Context Related
| cs.ncl.ac.uk/research/trs/pape...734.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.ncl.ac.uk/research/trs/pape... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 RealTime Interactions (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... (Update)
Context of citations to this paper: More
.... in [38, 13, 15, 14, 16, 17, 40, 18] and [20] More recent work has look at embedding real time transactions within real time interactions, [19]. 12 7 Tool Support The transfer of technology into industrial practice is dependent upon the availability and quality of the tool...
Cited by: More
Exploiting Formality Within an Architectural Design Method - Paynter, Armstrong, Haveman (1997) (Correct)
Active bibliography (related documents): More All
0.0: Specification and Verification of Real-Time Constraints in.. - Henry (1991) (Correct)
0.0: The Benefits of Relaxing Punctuality - Alur, Feder, Henzinger (1991) (Correct)
0.0: Specification and Analysis of Real-Time Systems with PARAGON - Oleg Sokolsky (1999) (Correct)
Similar documents based on text: More All
0.4: Formal Specification of an Aerospace System: The.. - Coombes, Barroca.. (1995) (Correct)
0.3: A Systematic Method for Development of Reactive - Real-Time Systems Alan (Correct)
0.2: The Architectural Specification of an Avionic Subsystem - Barroca, Fitzgerald, Spencer (1995) (Correct)
BibTeX entry: (Update)
N. Henderson. Introducing Real-Time Interactions. Technical Report DCSC/TR/2000/12, BAE SYSTEMS DCSC, University of Newcastle, November 2000. http://citeseer.ist.psu.edu/henderson00introducing.html More
@misc{ henderson00introducing,
author = "N. Henderson",
title = "Introducing Real-Time Interactions",
text = "N. Henderson. Introducing Real-Time Interactions. Technical Report DCSC/TR/2000/12,
BAE SYSTEMS DCSC, University of Newcastle, November 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/henderson00introducing.html" }
Citations (may not include all citations):218 Safety analysis of timing properties in real-time systems (context) - Jahanian, Mok - 1986
2 Transaction decomposition: Refinement of timing constraints - Haveman - 1997
1 International Standard - Part 1: Base Language (context) - IEC, VDM - 1996
1 Formal specifiaction of real-time systems (context) - Jahanian, Mok et al. - 1988
1 The Abstract Syntax of Real-time Interactions (context) - Paynter, Armstrong et al. - 2000
Documents on the same site (http://www.cs.ncl.ac.uk/research/trs/papers/): More
True Anonymity Without Mixes - Molina-Jiménez, Marshall (2001) (Correct)
Exception Handling in Component-Based System Development - Romanovsky (2001) (Correct)
Anonymous and Confidential Communications from an IP.. - Carlos.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC