This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Broadcast Channels in Estelle
April 1991 (vol. 40 no. 4)
pp. 423-436

Using notation consistent with the Estelle ISO 9074 International Standard, the syntax and formal semantics for a broadcast channel are presented. These semantics make precise the meaning of an intuitive concept and additionally are compatible with those of the current Estelle FDT (formal description technique). If introduced to the Estelle FDT, broadcast channels would strengthen its specification capabilities by permitting clearer formal specifications. Broadcast channels provide a foundation for a powerful synchronization mechanism.

[1] P. Amer and F.Çeçeli, "Estelle formal specification of ISO virtual terminal,"Comput. Standards and Interfaces, vol. 9, no. 1, pp. 87-104, 1989.
[2] J. P. Ansart, Formal Description of the ISO International Standard 8073 Transport Protocol In Estelle, SEDOS Project Rhin ADI, Mar. 1986.
[3] J. Ayache, J. Berrocal, S. Budowski, M. Diaz, J. Dufau, A.M. Druilhe, N. Echevarria, R. Groz, and M. Huybrechts, "Presentation of SEDOS Estelle Demonstrator Project," inThe Formal Description Technique Estelle., Diazet al., Eds. Amsterdam, The Netherlands: North-Holland, 1989, pp. 423-427.
[4] S. C. Chamberlain, "Estelle enhancements to formally describe distributed systems," PhD dissertation, Univ. of Delaware, to appear, 1991.
[5] S. C. Chamberlain, "An Estelle specification of the fact exchange protocol (FEP)," Tech. Rep. 90-11, Univ. of Delaware, 1990.
[6] S. C. Chamberlain and P. D. Amer, "A new user's experiences and impressions with Estelle," inFormal Description Techniques, IIS. Vuong, Ed. Amsterdam, The Netherlands: North Holland, pp. 471-484.
[7] Diaz, Ansart, Courtiat, Azema, and Chari, Eds.,The Formal Description Technique Estelle. Amsterdam, The Netherlands: North-Holland, 1989.
[8] M. Diaz, J. Dufau, and R. Groz, "Experiences using Estelle within SEDOS Estelle demonstrator," inFormal Description Techniques, S. Vuong, Ed. Amsterdam, The Netherlands: North Hollland, pp. 455-470.
[9] Information Processing Systems--Open System Interconnection, ISO International Standard 7498: Basic Reference Model.
[10] Information Processing Systems--Open System Interconnection, ISO International Standard 9074: Estelle - A Formal Description Technique Based on an Extended State Transition Model.
[11] Information Processing Systems--Open System Interconnection, Protocol for Providing the Connectionless-mode Network Service (Internet Protocol) Addendum 2: Estelle Formal Description, Proposed Draft 8473/PDAD2}.
[12] A. Lombardo, "On the Estelle specification of OSI protocols," inProc. Comput. Networking Symp., Washington, DC, Nov. 1986, pp. 3-11.
[13] P. Mondain-Monval, "ISO session service and protocol descriptions in Estelle," inThe Formal Description Technique Estelle, Diazet al., Eds. Amsterdam, The Netherlands: North-Holland, 1989.
[14] D. New and P. D. Amer. "Adding graphics and animation to Estelle,"Inform. Software Technol., vol. 32, no. 2, pp. 149-161, Mar. 1990.
[15] R.L. Tenney. "Adding interaction sets to Estelle," inFormal Description Techniques, III, Quemada, Ed. Amsterdam, The Netherlands: North-Holland, 1991.
[16] G. T'Hooft, "Formal description techniques: Communication tools for data communication specialists: Formal specification and Implementation of a file transfer protocol,"Comput. Networks ISDN Syst., vol. 14, no. 1, pp. 311-321, 1987.
[17] S. Vuong, Ed.,Formal Description Techniques, II.
[18] H. Zimmermann, "OSI reference model--The ISO model of architecture for Open Systems Interconnection,"IEEE Trans. Commun., vol. COM-28, no. 4, pp. 425-432, Apr. 1980.

Index Terms:
broadcast channels; Estelle; notation; ISO 9074 International Standard; syntax; formal semantics; formal description technique; specification capabilities; formal specifications; synchronization mechanism; formal specification; protocols; standards; synchronisation.
Citation:
S.C. Chamberlain, P.D. Amer, "Broadcast Channels in Estelle," IEEE Transactions on Computers, vol. 40, no. 4, pp. 423-436, April 1991, doi:10.1109/12.88462
Usage of this product signifies your acceptance of the Terms of Use.