loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96)
Visualisation of Reduced Abstracted Behaviour as a Design Tool
PORTUGAL
January 24-January 26
ISBN: 0-8186-7376-1
ASCII Text
x 
 
A. Valmari, K. Karsisto, M. Setala, "Visualisation of Reduced Abstracted Behaviour as a Design Tool," Parallel, Distributed, and Network-Based Processing, Euromicro Conference on, pp. 0187, 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996.
 
 
BibTex
x
 
@article{ 10.1109/EMPDP.1996.500586,
author = {A. Valmari and K. Karsisto and M. Setala},
title = {Visualisation of Reduced Abstracted Behaviour as a Design Tool},
journal ={Parallel, Distributed, and Network-Based Processing, Euromicro Conference on},
volume = {0},
year = {1996},
isbn = {0-8186-7376-1},
pages = {0187},
doi = {http://doi.ieeecomputersociety.org/10.1109/EMPDP.1996.500586},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
TI - Visualisation of Reduced Abstracted Behaviour as a Design Tool
SN - 0-8186-7376-1
SP
EP
A1 - A. Valmari,
A1 - K. Karsisto,
A1 - M. Setala,
PY - 1996
KW - formal specification; distributed processing; concurrency control; transport protocols; data visualisation; program diagnostics; reduced abstracted behaviour visualisation; software design tool; user-friendly formal method; feedback; distributed system; graphical display; deadlocks; livelocks; incorrect actions; design errors; graphical representation; simultaneous analysis; communication protocol development
VL - 0
JA - Parallel, Distributed, and Network-Based Processing, Euromicro Conference on
ER -
 
A. Valmari, Software Syst. Lab., Tampere Univ. of Technol., Finland
K. Karsisto, Software Syst. Lab., Tampere Univ. of Technol., Finland
M. Setala, Software Syst. Lab., Tampere Univ. of Technol., Finland
Abstract: Presents a user-friendly formal method for obtaining comprehensive feedback from the behaviour of a design of a distributed system. The method consists of abstracting and reducing the behaviour and showing the result in a graphical form on a computer screen. Deadlocks, livelocks, incorrect actions and many other kinds of design errors can often be easily discovered from the graphical representation. The method differs from animation, simulation and testing in that it analyses all possible behaviours simultaneously. For instance, if the graphical representation does not contain a deadlock, then the system is guaranteed to be free from deadlocks. The method is illustrated by using it in the development of a well-known communication protocol. This article concentrates on the use of the method rather than the underlying theory and computer tools.
Index Terms:
formal specification; distributed processing; concurrency control; transport protocols; data visualisation; program diagnostics; reduced abstracted behaviour visualisation; software design tool; user-friendly formal method; feedback; distributed system; graphical display; deadlocks; livelocks; incorrect actions; design errors; graphical representation; simultaneous analysis; communication protocol development
Citation:
A. Valmari, K. Karsisto, M. Setala, "Visualisation of Reduced Abstracted Behaviour as a Design Tool," pdp, pp.0187, 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), 1996
Usage of this product signifies your acceptance of the Terms of Use.