DocumentCode :
3636485
Title :
G-LOTOS visual development environment
Author :
V. Glavinic;B. Motik
Author_Institution :
Fac. of Electr. Eng. & Comput., Zagreb Univ., Croatia
Volume :
1
fYear :
1996
Firstpage :
136
Abstract :
LOTOS is one of the standardized languages used for communication systems specification. It is based on temporal logic and enables specifying of system behavior without need for its internal structure to be known. A graphical extension named G-LOTOS has been devised to improve the ease of use. An integrated environment supporting both LOTOS and G-LOTOS specification development is described In this paper providing the user the benefits of working within a unified framework. The user accesses the environment via the respective text and visual editors. The intermediate form derived from the input specification can subsequently be processed by particular add-in modules, such as interactive simulator, conformance tester, automatic implementor, etc.
Keywords :
"Computer languages","Algebra","Testing","Mathematical model","State-space methods","Explosions","Logic functions","Specification languages"
Publisher :
ieee
Conference_Titel :
Electrotechnical Conference, 1996. MELECON ´96., 8th Mediterranean
Print_ISBN :
0-7803-3109-5
Type :
conf
DOI :
10.1109/MELCON.1996.550976
Filename :
550976
Link To Document :
بازگشت