Tackling the infinite state space of a multimedia control protocol service specification

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

Volumn 2360 LNCS, Issue , 2002, Pages 273-293

  Liu, Lin ^a   Billington, Jonathan ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

Coloured Petri Nets; Incremental State Space Algorithms; Multimedia Networks and Protocols; Parameterization; Service Definitions

Indexed keywords

CHANNEL CAPACITY; MULTIMEDIA SYSTEMS; PARAMETER ESTIMATION; PARAMETERIZATION; PETRI NETS; ALGORITHMS; TELECOMMUNICATION NETWORKS;

COLOURED PETRI NETS; INTERNATIONAL STANDARDS; MULTI-MEDIA COMMUNICATIONS; MULTIMEDIA NETWORKS; SERVICE DEFINITION; SERVICE SPECIFICATIONS; STATE SPACE ALGORITHMS; STATE-SPACE GENERATION;

INTERNET PROTOCOLS;

EID: 84879108202     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48068-4_17     Document Type: Conference Paper

References (21)

1. Parosh Aziz Abdulla, Ahmed Bouajjani, and Bengt Jonsson. On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels. In Proc. of the 10th Int. Conf. on Computer Aided Verification (CAV'98), pages 305-318, 1998. 274
2. Parosh Aziz Abdulla and Bengt Jonsson. Ensuring completeness of symbolic verification methods for infinite-state systems. Theoretical Computer Science, 256:145-167, 2001. 274
3. T. Arons, A. Pnueli, S. Ruah, J. Xu, and L. Zuck. Parameterized Verification with Automatically Computed Inductive Assertions. In Proc. of the 13th Int. Conf. on Computer Aided Verification (CAV'01), Paris, Jul. 2001. Springer-Verlag. 274
4. W. A. Barret and J. D. Couch Compiler Construction: Theory and Practice. Science Research Associates, 1979. 274
5. Kai Baukus, Yassine Lakhnech, and Karsten Stahl. Verification of Parameterized Protocols. Journal of Universal Computer Science, 7(2):141-158, 2001. 274
6. J. Billington, M. C. Wilbur-Ham, and M. Y. Bearman. Automated Protocol Verification. In M. Diaz, editor, Protocol Specification, Testing and Verification, V, pages 59-70. Elsevier Science Publisher B. V. (North-Holland), 1986. 274, 291
7. Jonathan Billington. Formal Specification of Protocols: Protocol Engineering. In Allen Kent, James G. Williams, and Rosalind Kent, editors, Encyclopedia of Microcomputers, Vol. 7, pages 299-314. Marcel Dekker, Inc.,1991. 274
8. Jonathan Billington, Michel Diaz, and Grzegorz Rozenberg, editors. Application of Petri Nets to Communication Networks: Advances in Petri Nets. LNCS 1605. Springer, 1999. 274
9. Steven Gordon and Jonathan Billington. Analysing a Missile Simulator with Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), Dec. 1998. 291
10. Steven Gordon and Jonathan Billington. Modelling the WAP Transaction Service using Coloured Petri Nets. In Proc. of the 1st Int. Conf. on Mobile Data Access LNCS 1748, pages 109-118. Springer-Verlag, Dec. 1999. 274
11. Design/CPN homepage. http://www.daimi.au.dk/designCPN/. 275, 282
12. ITU-T. ITU-T Recommendation X.210, Information Technology-Open Systems Interconnection-Basic Reference Model: Conventions for the Definition of OSI Services, Nov. 1993. 274, 275, 276
13. ITU-T. ITU-T Recommendation X.214, Information Technology-Open Systems Interconnection-Transport Service Definition, Nov. 1995. 275
14. ITU-T. ITU-T Recommendation H.245, Control Protocol for Multimedia Communication, Nov. 2000. 273, 276, 291
15. Kurt Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol 2 and vol 3. Springer, 2nd edition, 1997. 274, 285
16. Markus Lindqvist. Parameterized Reachability Trees for Predicate/Transition nets, pages 301-324. LNCS 674. Springer-Verlag, 1993. 274
17. Lin Liu and Jonathan Billington. Modelling and Analysis of Internet Multimedia Protocols-Methodology and Initial Results. In Proc. of the 11th Annual Int. Symp. of the Int. Council on Systems Engineering (INCOSE'2001), CD-ROM, paper 3.2.4, Melbourne, Australia, Jul. 2001. 274, 291
18. Lin Liu and Jonathan Billington. Modelling and Analysis of the CES Protocol of H.245. In Proc. of the 3rd Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pages 95-114, Aarhus, Denmark, Aug. 2001. 274, 291
19. Andrew S. Tanenbaum. Communication Networks. Prentice-Hall International, Inc., third edition, 1996. 274
20. Antti Valmari and Ilkka Kokkarinen. Unbounded Verification Results by Finite-State Compositional Techniques: 10any States and Beyond. In Proc. of 1998 Int. Conf. on Application of Concurrency to System Design, pages 75-85, Aizu-Wakamatsu, Fukushima, Japan, Mar. 1998. IEEE Computer Society. 274
21. Isabelle Vernier. Symbolic Excecutions of Symmetrical Parallel Programs. In Proc. of the 4th Euromicro Workshop on Parallel and Distributed Processing (PDP'96), pages 327-324, Los Alamitos, CA, USA, 1996. IEEE Computer Society. 274