Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloRapid Prototyping of Protocols from LOTOS Specifications
Anno di pubblicazione1993
Formato
  • Elettronico
  • Cartaceo
Autore/iA. Valenzano; R. SIsto; L. Ciminiera
Affiliazioni autoriR. 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
Autori CNR e affiliazioni
  • ADRIANO VALENZANO
Lingua/e
  • inglese
AbstractA 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.
Lingua abstractinglese
Altro abstract-
Lingua altro abstract-
Pagine da31
Pagine a54
Pagine totali14
RivistaSoftware, practice & experience (Print)
Attiva dal 1971
Editore: Wiley Interscience, - Chichester
Paese di pubblicazione: Regno Unito
Lingua: inglese
ISSN: 0038-0644
Titolo chiave: Software, practice & experience (Print)
Titolo proprio: Software, practice & experience. (Print)
Titolo abbreviato: Softw. pract. exp. (Print)
Titoli alternativi:
  • SP & E (Print)
  • Software, practice and experience (Print)
  • Software (Print)
  • SP&E (Print)
  • Softw. pract. exper. (Print)
Numero volume della rivista23
Fascicolo della rivista1
DOI10.1002/spe.4380230104
Verificato da refereeSì: Internazionale
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:KH081)
  • Scopus (Codice:2-s2.0-0027227045)
Parole chiaveSpecification languages, rapid prototyping, communication protocols
Link (URL, URI)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
Titolo parallelo-
Data di accettazione-
Note/Altre informazioni-
Strutture CNR
  • IEIIT — Istituto di elettronica e di ingegneria dell'informazione e delle telecomunicazioni
Moduli CNR-
Progetti Europei-
Allegati

    Dati associati a vecchie tipologie
    I dati associati a vecchie tipologie non sono modificabili, derivano dal cambiamento della tipologia di prodotto e hanno solo valore storico.
    Editore
    • John Wiley & Sons Ltd., Chichester (Regno Unito)