Rapid Prototyping of Protocols from LOTOS Specifications (Articolo in rivista)

Type
Label
  • Rapid Prototyping of Protocols from LOTOS Specifications (Articolo in rivista) (literal)
Anno
  • 1993-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1002/spe.4380230104 (literal)
Alternative label
  • A. Valenzano; R. SIsto; L. Ciminiera (1993)
    Rapid Prototyping of Protocols from LOTOS Specifications
    in Software, practice & experience (Print); John Wiley & Sons Ltd., Chichester (Regno Unito)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • A. Valenzano; R. SIsto; L. Ciminiera (literal)
Pagina inizio
  • 31 (literal)
Pagina fine
  • 54 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://onlinelibrary.wiley.com/doi/10.1002/spe.4380230104/abstract;jsessionid=0F56924DF4B787BC4FFC68E509991B0A.d03t03?systemMessage=Wiley+Online+Library+will+be+disrupted+on+15+September+from+10%3A00-12%3A00+BST+%2805%3A00-07%3A00+EDT%29+for+essential+maintenance (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 23 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 14 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo
  • 1 (literal)
Note
  • ISI Web of Science (WOS) (literal)
  • Google Scholar (literal)
  • Scopu (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 Numerale dei Segnali, CNR, Torino, Italy (literal)
Titolo
  • Rapid Prototyping of Protocols from LOTOS Specifications (literal)
Abstract
  • A new tool for generating implementation prototypes of communication protocols and concurrent systems specified using the ISO LOTOS language is presented in this paper. A brief introduction to LOTOS and a discussion of the main problems related to the efficient execution of specifications written in LOTOS are presented first. The design and implementation of the tool are then considered: LOTOS specifications are analysed and translated into C functions which are executed by co-operating 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 method proposed allows the problem of deriving unbounded EFSMs to be circumvented and a sort of control on the process number/size trade-off to be obtained at the same time. The problem of implementing the LOTOS multi-way rendezvous mechanism for process synchronization is solved by using an algorithm based on message-passing techniques. An example of prototype derivation is also described, showing the form of C code generated by translating a simple specification. Finally, some performance figures are presented. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it