PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., Najm E., Tilanus P. A. J. G-LOTOS: a Graphical Language for Concurrent Systems. In: Computer Networks and Isdn Systems, vol. 26 (9) pp. 1101 - 1127. North-Holland, 1994.
 
 
Abstract
(English)
This paper introduces G-LOTOS, a graphical language for the formal specification of concurrent systems. More precisely, G-LOTOS is a graphical syntax for the Formal Description Technique LOTOS, which is an ISO international standard. This paper requires no familiarity with LOTOS and can also be used as a first approach to the language. G-LOTOS is intended to provide a better readability and more intuitive understanding of formal specifications than textual LOTOS, and is itself being standardised in a joint ISO/CCITT effort. The introduction to the graphical syntax is supported by several short examples, by a complete G-LOTOS specification, and by a LOTOS/G-LOTOS conversion table
DOI: 10.1016/0169-7552(94)90014-0
Subject Formal description technique
Specification language
Visual language
F.3.2 Semantics of Programming Languages (D.3.1)


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional