Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS (Contributo in atti di convegno)

Type
Label
  • Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS (Contributo in atti di convegno) (literal)
Anno
  • 1991-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1109/PCCC.1991.113832 (literal)
Alternative label
  • A. Valenzano; R. Sisto; L. Ciminiera (1991)
    Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS
    in th IEEE Phoenix Int. Conf. on Computers and Communications (PCCC 1991), Scottsdale, 17-30 Marzo 1991
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • A. Valenzano; R. Sisto; L. Ciminiera (literal)
Pagina inizio
  • 346 (literal)
Pagina fine
  • 352 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=113832 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 7 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • R. Sisto, L. Ciminiera: Dip. di Automatica e Informatica, Politecnico di Torino, Torino, Italy A. Valenzano: Centro di Studi per l'Elaborazione Nuimerale dei Segnali, CENS-CNR, Torino, Italy (literal)
Titolo
  • Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 0-8186-2133-8 (literal)
Abstract
  • A novel tool for generating implementation prototypes of communication protocols and concurrent systems specified using the ISO LOTOS language is presented. LOTOS specifications are analyzed and translated into C functions that are executed by cooperating processes in the UNIX environment. The set of LOTOS process definitions is first translated into a suitable number of extended finite state machines (EFSMs). The proposed method makes it possible to circumvent the problem of deriving unbounded EFSMs and to obtain a sort of control on the process number/size tradeoff at the same time. The problem of implementing the LOTOS multi-way rendezvous mechanism for process synchronization is solved by an algorithm based on message passing. An example of prototype derivation is also introduced showing the form of C code generated by translating a simple specification (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Insieme di parole chiave di
data.CNR.it