STORRE
STORRE: Stirling Online Research Repository
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1893/574| Appears in Collections: | Computing Science and Mathematics Conference Papers and Proceedings |
| Peer Review Status: | Refereed |
| Author(s): | Turner, Kenneth J |
| Contact Email: | kjt@cs.stir.ac.uk |
| Title: | Formalising Graphical Behaviour Descriptions |
| Editor(s): | Rattray, C Maharaj, S Shankland, C |
| Citation: | Turner KJ (2004) Formalising Graphical Behaviour Descriptions. In: Rattray C, Maharaj S & Shankland C (eds.) Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings. Lecture Notes in Computer Science, 3116. AMAST'2004 - 10th International Conference on Algebraic Methodology And Software Technology. Berlin: Springer Verlag, pp. 537-552. https://doi.org/10.1007/b98770 |
| Issue Date: | 2004 |
| Date Deposited: | 25-Nov-2008 |
| Series/Report no.: | Lecture Notes in Computer Science, 3116 |
| Conference Name: | AMAST'2004 - 10th International Conference on Algebraic Methodology And Software Technology |
| Abstract: | CRESS (Chisel Representation Employing Systematic Specification) is used for graphical behaviour description, underpinned by formal and implementation languages. Plug-in frameworks adapt it for particular application domains such as Intelligent Networks, Internet Telephony and Interactive Voice Response. The CRESS notation and its syntax are explained. The semantics of CRESS is discussed with reference to its interpretation in LOTOS. |
| Status: | AM - Accepted Manuscript |
| Rights: | Published by Springer Verlag. The original publication is available at www.springerlink.com |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| form-graph.pdf | Fulltext - Accepted Version | 76.97 kB | Adobe PDF | View/Open |
This item is protected by original copyright |
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/
If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.