Designing and verifying a communications gateway using coloured Petri nets and design/CPN™

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1091, Issue , 1996, Pages 153-171

  Floreani, D J ^a,b   Billington, J ^a   Dadej, A ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

^b DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION   (Australia)

Author keywords

Coloured petri nets; Gateway architecture; Protocol modelling

Indexed keywords

INTELLIGENT AGENTS; NETWORK ARCHITECTURE; PETRI NETS; RECONFIGURABLE HARDWARE; SPECIFICATIONS;

AUSTRALIAN DEFENCE FORCES; COLOURED PETRI NETS; GATEWAY ARCHITECTURE; OCCURRENCE GRAPH; PACKET RADIO NETWORKS; PROTOCOL MODELLING; TELECOMMUNICATIONS SERVICES; VERIFICATION TESTS;

GATEWAYS (COMPUTER NETWORKS);

EID: 84957679765     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61363-3_9     Document Type: Conference Paper

References (27)

1. 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.
2. G. Juanole, and A. Onodi,"On Gateway Architecture, Formal Modelling and Verification," Protocol Specification, Testing, and Verification, VI, Elsevier, IFIP 1987.
3. Rainer Handel, Manfred N.Huber, "Integrated Broadband Networks, An introduction to ATM-based networks," ADDISON-WESLEY, 1991.
4. 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.
5. D. J. Floreani and A. J. Dadej, "An Architecture for a Distributed Narrowband Packet Radio Network," Australian Telecommunications Research Journal (ÄTR), Vol.27 No.2, 1993.
6. 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.
7. Federal Standard, "LPC-10," US Dept of Defence, MIL-STD-188-133.
8. ITU-TS Q.2931, "B-ISDN Capability Set 1 User-Network Interface Layer 3 Specification," Dec 1993, Geneva.
9. J. Billington, "Formal Specification of Protocols: Protocol Engineering," Encyclopedia of Microcomputers, Vol. 7, pg. 299-314, Marcel Dekker, NY 1991.
10. J. Billington and M. Wilbur-Ham, "Automated Protocol Verification," Protocol Specification, Testing, and Verification V, Elsevier, IF1P 1986.
11. G. Holzmann, "Protocol Design: Redefining the State of the Art," IEEE Software, Vol 9, No. 1, Jan 1992.
12. K. Jensen "Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use," EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1992.
13. CCITT/SGXAVP3-1, "Specification and Description Language SDL," CCITT Recommendations Z.100-Z.104, 1988.
14. CCITT/COMXVIJI-R/WP18-4, "ISDN Protocol Reference Model," CCITT Revised Recommendation 320, 1992.
15. 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.
16. M.T. Rose, "The Open Book: A Practical Perspective on OSI," Prentice Hall, 1990.
17. G.V. Bochmann "Deriving Protocol Converters for Communications Gateways," IEEE Transactions on Communications, Vol. 38, No. 9, Sept 1990.
18. G.V Bochmann "Design Principles for Communication Gateways," IEEE Journal on Selected Areas in Communications, Vol. 8, No. 1, Jan 1990.
19. IS 8807, "Information Processing Systems, Open Systems Interconnection, LOTOS, A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour," ISO, 1989.
20. CCITT/SGX1/WP4-3, "Baseline Text for the Harmonised Signalling Requirements," Geneva, March 1992.
21. CCITT Q.931, "ISDN User-Network Interface Layer 3 Specification for Basic Call Control," CCITTRecommendation Q.931, Fascicle, Blue Book, Melbourne 1988.
22. CCITT Recommendation X.213, Blue Book, Melbourne 1988.
23. Design/CPN™ Manuals, Meta Software Corporation.
24. Information processing systems - Open Systems Interconnection - Specification of Abstract Syntax Notation One (ASN.l), International Standard ISO-8824.
25. A. Wikstrom, "Functional Programming using Standard ML," Prentice Hall International Series in Computer Science, 1987.
26. J. Billington, G. Wheeler, M. Wilbur-Ham, "PROTEAN: A High-level Petri Net Tool forthe Specification and Verification of Communication Protocols," IEEE Transactions on Software Engineering, Vol 14, No. 3, March 1988, pp 301-316.
27. W. Barrett, R. Bates, D. Gustafson, J. Couch "Compiler Construction - theory and practice," second edition, Science Research Associates, 1986.