PSTV 1999, FORTE 1999: Formal Methods for Protocol Engineering and Distributed Systems pp 389-400 | Cite as
A Formal Description Technology: Graphical E-LOTOS
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.
Key words
Testing of protocol Formal Description Technology(FDT) Graphical E-LOTOS Behavior expressionReferences
- [1]ISO/IEC JTC1/SC21 WG7. Enhencements to LOTOS. May 1998.Google Scholar
- [2]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.Google Scholar
- [3]G.v.Bochmann, A.Petrenko. Review of Methods and Relevance for Software Testing. Montreal Canada Publication, #923, 1994, 6.Google Scholar
- [4]T.Bolognesi,E.Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, vol. 14,No. 1, 1987.Google Scholar
- [5]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.Google Scholar
- [6]L.Baresi. Formal Customization of Graphical Notations. PhD thesis, Dipartimento di Milano, Italian, 1997.Google Scholar
- [7]F.Belina and D.Hogrefe. The CCITT-Specification and Description Language SDL. Computer Networks and ISDN Systems. Vol. 16. 1989.Google Scholar
- [8]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.Google Scholar
- [9]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.Google Scholar
- [10]ISO/IEC JTC1/SC21,N3253. G_LOTOS: a graphical syntax for LOTOS. Jan 1989.Google Scholar
- [11]Willian R.Mallgren. Formal Specification of Interactive Graphics Programming Languages.The MIT Press Cambridge, Massachusetts London, England. 1982.Google Scholar
- [12]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.CrossRefGoogle Scholar
- [13]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.Google Scholar
- [14]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.Google Scholar