Abstract
Computer networks provide services. These services allow us to exchange data, programs, music files, pictures, movies or other documents. They can be used to download programs, to start them remotely, to update remote data bases, or to access web sites; they can also help users to communicate with others partners, and much more. The term service is of fundamental importance for the understanding of the processes in computer networks. It is closely related to the term protocol and represents an essential element for their description, validation, and use. This chapter deals with services. We start with a short overview of the different kinds of services. Thereafter we introduce the model of a communication service and present the basic concepts for its formal description using a model language. Finally we describe the service provided by our example protocol XDT and give a formal description of it using the model language.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Computers in a network environment are usually called hosts.
- 2.
The variant of the connection set up described here is called explicit connection set up. The complement is the implicit connection set up which allows the data transmission to start before the connection set up has been confirmed. It will be considered in Section 5.3.1.
- 3.
. The subscripts 1 and L indicate the first and the last service primitive of the transmission, respectively.
References
Clarke, E.; Grumberg, O.; Peled, D.: Model Checking. MIT Press, Cambridge, 2000.
ISO, Information Processing Systems - Open Systems Interconnection – Transport Service Definition. IS 8072, 1986.
Kurose, J. F.; Ross, K. W.: Computer Networking. Pearson Education, 2008.
Peterson, L.L., Davie, B. S.: Computer Networks. A Systems Approach (Morgan Kaufmann Series in Networking), Elsevier, 2007.
Stallings, W.: Data and Computer Communications (8th edition). Prentice Hall, Upper Saddle River, 2008.
Tanenbaum, A.S.; van Steen, M.: Distributed Systems - Principles and Paradigms. Prentice Hall, Upper Saddle River, 2002.
Tanenbaum, A. S.; Wetherall, D.J.: Computer Networks (5th ed.). Pearson Education, Upper Saddle River, 2010.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
König, H. (2012). 1 Services. In: Protocol Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29145-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-29145-6_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29144-9
Online ISBN: 978-3-642-29145-6
eBook Packages: Computer ScienceComputer Science (R0)