Graphic LOTOS Specification of an EN50254 System (Contributo in atti di convegno)

Type
Label
  • Graphic LOTOS Specification of an EN50254 System (Contributo in atti di convegno) (literal)
Anno
  • 2000-01-01T00:00:00+01:00 (literal)
Alternative label
  • L. Durante; R. Sisto; A. Valenzano (2000)
    Graphic LOTOS Specification of an EN50254 System
    in WiP proceedings of 3rd IEEE international Workshop on Factory Communication Systems (WFCS 2000), Porto, 6-8 setembre 2000
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • L. Durante; R. Sisto; A. Valenzano (literal)
Pagina inizio
  • 43 (literal)
Pagina fine
  • 46 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 4 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • L. Durante; A. Valenzano: CNR-IEIIT, Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni, Torino, Italy R. Sisto: CNR-IEIIT e Dipartimento di Automatica e Informatica, Politecnico di Torino, Italy (literal)
Titolo
  • Graphic LOTOS Specification of an EN50254 System (literal)
Abstract
  • This paper reports on our experience in using a graphical tool for protocol specification based on the GLOTOS language, the graphical extension of ISO LOTOS, and presents as a case study the development of a formal description of an EN50254 (lNTERBUS) factory communication system. The tool is an MS Windows application, thus running on commonly available PC platforms, which lets the user edit a G-LOTOS specification performing on-line checks of syntactic and static semantics rules, generate a corresponding textual LOTOS specification, and invoke an integrated syntax and static semantics analyser. Experience with the tool has shown its usefulness in making industrial protocol specification, editing and understanding an easier task. (literal)
Prodotto di
Autore CNR

Incoming links:


Prodotto
Autore CNR di
data.CNR.it