Modeling layered distributed communication systems

Formal Aspects of Computing

Volumn 17, Issue 1, 2005, Pages 1-18

  Herzberg, D ^a   Broy, M ^b  

^a HEILBRONN UNIVERSITY   (Germany)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Distribution; Layering; Modeling communication systems

Indexed keywords

ABSTRACTING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; NETWORK PROTOCOLS;

DISTRIBUTED OPEN SYSTEMS; LAYERING; MODELING COMMUNICATION SYSTEMS; SYSTEM ARCHITECTURES;

COMMUNICATION SYSTEMS;

EID: 18744399846     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00165-004-0051-8     Document Type: Article

References (30)

1. [Bar91] Barz. HW (1991) Kommunikation und Computernetze: Konzepte. Protokolle und Standards. Hanser. München. Wien
2. +98] Broy M. Deimel A. Henn J, Koskimies K, Plasil F. Hornberger G. Pree W. Stal M. Szyperski C (1998) What characterizes a (software) component? Software - Concepts Tools 19(1):49-56
3. [Bro93] Broy M (1993) (Inter-)action refinement: The easy way. Program Des Calculi, Ser F Comp Syst Sci 118:121-158. Springer, New York
4. [Bro96] Broy M (1996) Towards a mathematical concept of u component and its use. In: Proceedings of componentware users conference 1996. SIGS Publications, Munich
5. [Bro98a] Broy M (1998) Compositional refinement of interactive systems modelled by relations. In: de Roever W-P. Langmaack H, Pnueli A (eds). Compositionality: The Significant Difference. Lecture Notes in Computer Science 1536:130-149. Springer, Berlin Heidelberg New York
6. +98], Software Concepts Tools 19(1):57-59
7. [BS01] Broy M, Stølen K (2001) Specification and development of interactive systems: Focus on streams, interfaces, and refinement. Springer, Berlin Heidelberg New York
8. [BSW69] Bartlett KA, Scantlebury RA, Wilkinson PT (1969) A note on reliable full-duplex transmission over half-duplex links. Commun ACM. 12(5):260-261 (This paper is the basic reference to the so-called Alternating Bit Protocol, even though this name has not been used in the paper itself)
9. [EHS97] Ellsberger J. Hogrefe D. Sarma A (1997) SDL - formal object-oriented language for communicating systems. Prentice-Hall, London
10. [FGM+99] Fielding R, Gettys J. Mogul J, Frystyk H, Masinter L. Leach P. Berners-Lee T (1999) Hypertext transfer protocol - HTTP/1.1. Standard RFC 2616, Internet Engineering Task Force
11. [Hal96] Halsall F: Data communications, computer networks and open systems. Electronic systems engineering series, 4th edn. Addison-Wesley Reading 1996, Harlow, England
12. [Her03] Herzberg D (2003) Modeling telecommunication systems: from standards to system architectures. PhD Thesis, Aachen University of Technology. Department of Computer Science III
13. [HM01a] Herzberg D, Marburger A (2001) Modeling the architecture of distributed real-time systems. In: Schurr A (ed) Proceedings of the 2nd workshop on object-oriented modeling of embedded rt-systems (OMER-2): 9-12 May 2001, Herrsching (Ammersee) Bericht Nr. 2001-03, Werner-Heisenberg-Weg 39, 85577 Neubiberg Universität der Bundeswehr München. Fakultät für Informatik, pp 37-42
14. [HM01b] Herzberg D, Marburger A (2001) The use of layers and planes for architectural design of communication systems. In: Proceedings of the 4th IEEE international symposium on object-oriented real-time distributed computing (ISORC 2001). Magdeburg 2-4 May 2001. IEEE Computer Society, pp 235-242
15. [Hol91] Holzmann GJ (1991) Design and validation of computer protocols. Prentice-Hall, Englewood Cliffs, NY
16. [ITU94] Information Technology - Open Systems Interconnection - Basic Reference Model: The Basic Model (1994) ITU-T Recommendation X.200, International Telecommunication Union
17. [ITU99] specification and description language (SDL) (1999) ITU-T Recommendation Z. 100. International Telecommunication Union
18. [ITU00] Gateway Control Protocol (2000) ITU-T Recommendation H.248. International Telecommunication Union
19. [Mut01] Muth T (2001) Modeling telecom networks and systems architecture: Conceptual tools and formal methods. Springer, Berlin Heidelberg New York
20. [OMG01] Unified Modeling Language Specification. Version 1.4 (2001) Technical Specification. Object Management Group (OMG)
21. [PC93] Piscitello DM. Lyman Chapin A (1993) Open systems networking: TCP/IP and OSI. Addison-Wesley, Reading, Mass
22. [Pos81a] Postel J (1981) Internet protocol. Standard RFC 791. Internet Engineering Task Force
23. [Pos81b] Postel J (1981) Transmission control protocol. Standard RFC 793. Internet Engineering Tusk Force
24. [SG96] Shaw M, Garlan D (1996) Software architecture: Perspectives on an emerging discipline. Prentice-Hall. Upper Saddle River, NY
25. [SGW94] Selic B, Gullekson G, Ward PT (1994) Real-time object-oriented modeling. Wiley, London, New York
26. +00] Stewart RR. Xie Q. Morneault K. Sharp C. Schwarzbauer HJ. Taylor T. Rytina I. Kalla M. Zhang L. Paxson V (2000) Stream control transmission protocol. Standard RFC 2960. Internet Engineering Task Force
27. [Tan96] Tanenbaum AS (1996) Computer Networks. 3rd edn. Prentice-Hall Upper Saddle River
28. [TvS02] Tanenbaum AS. van Steen M (2002) Distributed systems: Principles and paradigms. Prentice-Hall. Upper Saddle River
29. [Wal01] Walke B (2001) Mobile radio networks: Networking, protocols and traffic performance. 2nd edn Wiley London. Chichester
30. [Wu98] Wu J (1998) Distributed system design. CRC Press, Boca Raton, Florida