loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fourth International Conference on Computer Communications and Networks (ICCCN '95)
Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment
Las Vegas, Nevada, USA
September 20-September 23
ISBN: 0-8186-7180-7
ASCII Text
x 
 
A. Zaslavsky, L.H. Yeo, S.J. Lai, B. Mitelman, "Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment," Computer Communications and Networks, International Conference on, pp. 0292, Fourth International Conference on Computer Communications and Networks (ICCCN '95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/ICCCN.1995.540132,
author = {A. Zaslavsky and L.H. Yeo and S.J. Lai and B. Mitelman},
title = {Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment},
journal ={Computer Communications and Networks, International Conference on},
volume = {0},
year = {1995},
isbn = {0-8186-7180-7},
pages = {0292},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICCCN.1995.540132},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Communications and Networks, International Conference on
TI - Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment
SN - 0-8186-7180-7
SP
EP
A1 - A. Zaslavsky,
A1 - L.H. Yeo,
A1 - S.J. Lai,
A1 - B. Mitelman,
PY - 1995
KW - workstations; Petri nets analysis; transaction management protocols; submitter management protocols; mobile distributed computing environment; simulation model; transaction queuing protocol; message queuing protocol; mobile workstations; distributed multidatabase environment; Design/CPN software tool; hierarchical coloured Petri nets; transaction processing algorithms; message processing algorithms; protocol implementation; simulation results; protocol verification
VL - 0
JA - Computer Communications and Networks, International Conference on
ER -
 
A. Zaslavsky, Dept. of Comput. Technol., Monash Univ., Caulfield East, Vic., Australia
L.H. Yeo, Dept. of Comput. Technol., Monash Univ., Caulfield East, Vic., Australia
S.J. Lai, Dept. of Comput. Technol., Monash Univ., Caulfield East, Vic., Australia
B. Mitelman, Dept. of Comput. Technol., Monash Univ., Caulfield East, Vic., Australia
Abstract: This paper proposes and discusses a simulation model of a message and transaction queuing protocol which supports submission of transactions from mobile workstations in a distributed multidatabase environment. The model is based on coloured Petri nets formalism. A hierarchical coloured Petri nets model describing the two key components of the protocol, namely message queuing facility and transaction queuing facility, is constructed and analyzed using the software tool Design/CPN. Simulation of message and transaction processing algorithms has been carried out to verify and refine the design of the proposed protocol. The tool has also enabled us to assess the practicality of the developed approach and study the impact of the protocol implementation. Finally, the results of simulation are analysed and discussed.
Index Terms:
workstations; Petri nets analysis; transaction management protocols; submitter management protocols; mobile distributed computing environment; simulation model; transaction queuing protocol; message queuing protocol; mobile workstations; distributed multidatabase environment; Design/CPN software tool; hierarchical coloured Petri nets; transaction processing algorithms; message processing algorithms; protocol implementation; simulation results; protocol verification
Citation:
A. Zaslavsky, L.H. Yeo, S.J. Lai, B. Mitelman, "Petri nets analysis of transaction and submitter management protocols in mobile distributed computing environment," icccn, pp.0292, Fourth International Conference on Computer Communications and Networks (ICCCN '95), 1995
Usage of this product signifies your acceptance of the Terms of Use.