Referenced Items are not available for this document.
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
Published in:
Computer Communications and Networks, 1995. Proceedings., Fourth International Conference on
Date of Conference: 20-23 Sep 1995
- Page(s):
- 292 - 299
- Meeting Date :
- 20 Sep 1995-23 Sep 1995
- Print ISBN:
- 0-8186-7180-7
- INSPEC Accession Number:
- 5557966
- Conference Location :
- Las Vegas, NV
- Digital Object Identifier :
- 10.1109/ICCCN.1995.540132
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
