Abstract
Heterogeneous network protocol systems are integrated together to fulfill complex tasks and their interoperability is a major hurdle for the network reliability and quality of services. We identify a new equivalence relation of states that preserves the integrated system interface behaviors. Based on this state equivalence we study the minimization of the system components with respect to their interfaces and design an efficient polynomial time minimization algorithm. We apply our technique to GMPLS protocols and obtain a significant state space reduction. We discuss integrated protocol system verification and interoperability testing with the minimized state system without resorting to the global state space information.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bouajjani, A., Fernandez, J.-C., Halbwachs, N.: Minimal model generation. In: Proc. CAV, pp. 197–203 (1990)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
van Glabbeek, R.J.: The Linear Time – Branching Time Spectrum I. In: Begstra, Ponse, Smolka (eds.) Handbook of Process Algebra, pp. 3–99. Elsevier, Amsterdam (2001)
Graf, S., Steffen, B., Luttgen, G.: Compositional minimization of finite state systems using interface specifications. Formal Aspects of Computing (1996)
Hao, R., Lee, D., Sinha, R., Griffeth, N.: Integrated System Interoperability Testing with Applications to VoIP. IEEE/ACM Trans. on Networking, October 2004. An early version appeared in FORTE/PSTV (2000)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)
Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall, Englewood Cliffs (1991)
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)
Kanellakis, P., Smolka, S.: CCS Expressions, Finite State Processes and Three Problems of Equivalence. Information and Computation 86, 43–68 (1983)
Kang, S., Kim, M.: Test Sequence Generation for Adaptive Interoperability Testing. In: Proc. Protocol Testing Systems VIII, pp. 187–200 (1995)
Koppol, P.V., Carver, R.H., Tai, K.-C.: Incremental Integration Testing of Concurrent Programs. IEEE Trans. on Software Eng. 28(6), 607–623 (2002)
Lee, D., Yannakakis, M.: Online minimization of transitions systems. Proc. ACM STOC, 264–274 (1992)
Lee, D., Yannakakis, M.: Principles and Methods of Testing Finite State Machines - A Survey. Proceedings of IEEE 84(8), 1090–1123 (1996)
Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lee, D., Liu, C., Yannakakis, M. (2005). Protocol System Integration, Interface and Interoperability. In: Higashino, T. (eds) Principles of Distributed Systems. OPODIS 2004. Lecture Notes in Computer Science, vol 3544. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11516798_1
Download citation
DOI: https://doi.org/10.1007/11516798_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27324-0
Online ISBN: 978-3-540-31584-1
eBook Packages: Computer ScienceComputer Science (R0)