Abstract
A gateway between a packet radio network and B-ISDN is being designed as part of a larger project that aims to bring modem telecommunications services to the Australian Defence Force. The modelling procedure employs Coloured Petri Nets to investigate the gateway architecture and behaviour prior to implementation. Part of the modelling involves the specification of the gateway call control using Coloured Petri Nets and the Design/CPN™ tool. The specification is then checked for correctness by simulation and observation of the Occurrence Graph generated by the Design/CPN™ tool. The form of the refined specification is discussed and future verification tests using the PROTEAN tool outlined
Preview
Unable to display preview. Download preview PDF.
References
G. Juanole, C. Faure, “On Gateway for Interworking through ISDN: Architecture and Formal Modelling with Petri Nets”, IEEE INFOCOM'89, Proceedings of the 8th Annual Joint Conference of the IEEE Computer and Communications Societies, 1989, pg 458–467.
G. Juanole, and A. Onodi,“On Gateway Architecture, Formal Modelling and Verification”, Protocol Specification, Testing, and Verification, VI, Elsevier, IFIP 1987.
Rainer Handel, Manfred N.Huber, “Integrated Broadband Networks, An introduction to ATM-based networks”, ADDISON-WESLEY, 1991.
F. B. Andrews and G. I. Kollar, “The Australian Defence Communications Corporate Plan and its Underpinning Research Program”, NATO Symposium on Military Communication Networks Interoperability and Standards, The Hague, The Netherlands, June'93.
D. J. Floreani and A. J. Dadej, “An Architecture for a Distributed Narrowband Packet Radio Network”, Australian Telecommunications Research Journal (ATR), Vol.27 No.2, 1993.
A. J. Dadej and D. J. Floreani, “Interconnected Mobile Radio Networks — A Step Towards Integrated Multimedia Military Communications”, Proc. IEEE International Conference on Networks, SICON'93, 6–11 Sept. 1993.
Federal Standard, “LPC-10”, US Dept of Defence, MIL-STD-188-133.
ITU-TS Q.2931, “B-ISDN Capability Set 1 User-Network Interface Layer 3 Specification”, Dec 1993, Geneva.
J. Billington, Formal Specification of Protocols: Protocol Engineering, Encyclopedia of Microcomputers, Vol. 7, pg. 299–314, Marcel Dekker, NY 1991.
J. Billington and M. Wilbur-Ham, “Automated Protocol Verification”, Protocol Specification, Testing, and Verification V, Elsevier, IFIP 1986.
G. Holzmann, “Protocol Design: Redefining the State of the Art”, IEEE Software, Vol 9, No. 1, Jan 1992.
K. Jensen, “Coloured Petri Nets — Basic Concepts, Analysis Methods and Practical Use”, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1992.
CCITT/SGX/WP3-1, “Specification and Description Language SDL”, CCITT Recommendations Z.100-Z.104, 1988.
CCITT/COMXVIII-R/WP18-4, “ISDN Protocol Reference Model”, CCITT Revised Recommendation 1.320, 1992.
D. J. Floreani and A. J. Dadej, “Application of the Stratification Concept to Radio Networks and their Gateways”, to appear in Computer Networks and ISDN Systems, Elseiver.
M.T. Rose, “The Open Book: A Practical Perspective on OSI”, Prentice Hall, 1990.
G.V. Bochmann “Deriving Protocol Converters for Communications Gateways”, IEEE Transactions on Communications, Vol. 38, No. 9, Sept 1990.
G.V Bochmann “Design Principles for Communication Gateways”, IEEE Journal on Selected Areas in Communications, Vol. 8, No. 1, Jan 1990.
IS 8807, “Information Processing Systems, Open Systems Interconnection, LOTOS, A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour ”, ISO, 1989.
CCITT/SGX1/WP4-3, “Baseline Text for the Harmonised Signalling Requirements ”, Geneva, March 1992.
CCITTQ.931, “ISDN User-Network Interface Layer 3 Specification for Basic Call Control”, CCITTRe-commendation Q.931, Fascicle, Blue Book, Melbourne 1988.
CCITT Recommendation X.213, Blue Book, Melbourne 1988.
Design/CPN™ Manuals, Meta Software Corporation.
Information processing systems — Open Systems Interconnection — Specification of Abstract Syntax Notation One (ASN.1), International Standard ISO-8824.
A. Wikstrom, “Functional Programming using Standard ML”, Prentice Hall International Series in Computer Science, 1987.
J. Billington, G. Wheeler, M. Wilbur-Ham, “PROTEAN: A High-level Petri Net Tool for the Specification and Verification of Communication Protocols”, IEEE Transactions on Software Engineering, Vol 14, No. 3, March 1988, pp 301–316.
W. Barrett, R. Bates, D. Gustafson, J. Couch “Compiler Construction — theory and practice”, second edition, Science Research Associates, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Floreani, D.J., Billington, J., Dadej, A. (1996). Designing and verifying a communications gateway using coloured Petri nets and design/CPN™. In: Billington, J., Reisig, W. (eds) Application and Theory of Petri Nets 1996. ICATPN 1996. Lecture Notes in Computer Science, vol 1091. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61363-3_9
Download citation
DOI: https://doi.org/10.1007/3-540-61363-3_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61363-3
Online ISBN: 978-3-540-68505-0
eBook Packages: Springer Book Archive