This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Protocol Validation for Large-Scale Applications
January/February 1992 (vol. 9 no. 1)
pp. 23-26
ASCII Text
x 
 
Fuchun Joseph Lin, Ming T. Liu, "Protocol Validation for Large-Scale Applications," IEEE Software, vol. 9, no. 1, pp. 23-26, January/February, 1992.
 
 
BibTex
x
 
@article{ 10.1109/52.108776,
author = {Fuchun Joseph Lin and Ming T. Liu},
title = {Protocol Validation for Large-Scale Applications},
journal ={IEEE Software},
volume = {9},
number = {1},
issn = {0740-7459},
year = {1992},
pages = {23-26},
doi = {http://doi.ieeecomputersociety.org/10.1109/52.108776},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Software
TI - Protocol Validation for Large-Scale Applications
IS - 1
SN - 0740-7459
SP23
EP26
EPD - 23-26
A1 - Fuchun Joseph Lin,
A1 - Ming T. Liu,
PY - 1992
KW - large-scale applications; threefold strategy; formal modeling; structural decomposition; functional abstraction; reachability analysis; complexity; manageability; computational complexity; formal specification; program verification; protocols
VL - 9
JA - IEEE Software
ER -
 

A threefold strategy incorporating formal modeling, structural decomposition and functional abstraction, and reachability analysis is described, and the role of each part in managing complexity is examined. Formal modeling helps weed out extraneous detail so that later work on decomposition and abstraction is easier. Decomposition and abstraction help divide complexity into manageability parts that the reachability algorithm can solve. Examples of the use of each are given.

Index Terms:
large-scale applications; threefold strategy; formal modeling; structural decomposition; functional abstraction; reachability analysis; complexity; manageability; computational complexity; formal specification; program verification; protocols
Citation:
Fuchun Joseph Lin, Ming T. Liu, "Protocol Validation for Large-Scale Applications," IEEE Software, vol. 9, no. 1, pp. 23-26, Jan.-Feb. 1992, doi:10.1109/52.108776
Usage of this product signifies your acceptance of the Terms of Use.