Abstract
In this paper, we propose a method of Formal Description Technology (FDT) GE-LOTOS---a Graphical mode of Enhanced LOTOS (E-LOTOS). Compared with the existing FDT, the GE-LOTOS presented here has greater formal description capability. But GE-LOTOS only has a limited set of simple graphical patterns. Using the hierarchical structures of GE-LOTOS we can describe the structure and hierarchy of protocol more clearly and directly than using the existing E-LOTOS. Meanwhile the GE_LOTOS has another merit over the existing E_LOTOS that it can be executed easily and the system behavior is conveniently visible, so the system can be easily monitored and modified. We have developed a designing system for creating GE-LOTOS specifications under Java Cafe environment, and with further enhancement this system can be used for protocol testing and verification. The GE-LOTOS can be used as a design, execution, verification and testing tool for network communication protocol.
Chapter PDF
Similar content being viewed by others
References
ISO/IEC JTC1/SC21 WG7. Enhencements to LOTOS. May 1998.
T.Y.Cheung,Y.C.Ye, G.Q.wang. UO-GLOTOS: A Syntax/System for Representing, Editing and Translating Graphical LOTOS. In Proc of 2nd International Conference on Formal Description Techniques for Distributed Systems and communications Protocols.Vancouver.pages 33–48, 1989.
G.v.Bochmann, A.Petrenko. Review of Methods and Relevance for Software Testing. Montreal Canada Publication, #923, 1994, 6.
T.Bolognesi,E.Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, vol. 14,No. 1, 1987.
Luciano Baresi,Alessandro Orso,and Mauro Pezze. Introducing Formal Specification Methods in Industrial Practice. In Proc. Of the 19t International Conference on software Engineering. Massacbusetts,pages 56–64, 1997.
L.Baresi. Formal Customization of Graphical Notations. PhD thesis, Dipartimento di Milano, Italian, 1997.
F.Belina and D.Hogrefe. The CCITT-Specification and Description Language SDL. Computer Networks and ISDN Systems. Vol. 16. 1989.
S.Budkowski and P.Dembinski,“An introduction to Estellle:a Specification Language for Distributed Systems”. Computer Networks and ISDN Systems. vol.14.No.1.1987.
Giovanny Lucero and Juan Quemada. An E-LOTOS specificaton of the ODP Trader. Input document(GRI) to the ISO/IEC JTCUSC21/WG7/E-LOTOS meeting in Grenoble,December 1996.
ISO/IEC JTC1/SC21,N3253. G_LOTOS: a graphical syntax for LOTOS. Jan 1989.
Willian R.Mallgren. Formal Specification of Interactive Graphics Programming Languages.The MIT Press Cambridge, Massachusetts London, England. 1982.
Luc Leonard and Guy Leduc. An introduction to ET-LOTOS for the description of time-sensitive systems. Computer Networks and ISDN systems, 29 (3): 271–292, 1997.
Enoch Y. Wang, Heather A. Richter and el at.. Formalizing and Integrating the Dynamic Model within OMT*. In Proc. of the 19’ International Conference on software Engineering. Massacbusetts,pages 45–55, 1997.
J-P.Jacquot and D. Quesnot. Early Specification of User-Interfaces: Toward a Formal Approach. In Proc. of the 19’ International Conference on software Engineering. Massacbusetts,pages 150–160, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Li, W., Ye, X., Liu, Z. (1999). A Formal Description Technology: Graphical E-LOTOS. In: Wu, J., Chanson, S.T., Gao, Q. (eds) Formal Methods for Protocol Engineering and Distributed Systems. PSTV FORTE 1999 1999. IFIP Advances in Information and Communication Technology, vol 28. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35578-8_22
Download citation
DOI: https://doi.org/10.1007/978-0-387-35578-8_22
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5270-0
Online ISBN: 978-0-387-35578-8
eBook Packages: Springer Book Archive