Tipo di prodotto | Articolo in rivista |
---|---|
Titolo | Rapid Prototyping of Protocols from LOTOS Specifications |
Anno di pubblicazione | 1993 |
Formato |
|
Autore/i | A. Valenzano; R. SIsto; L. Ciminiera |
Affiliazioni autori | 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 |
Autori CNR e affiliazioni |
|
Lingua/e |
|
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. |
Lingua abstract | inglese |
Altro abstract | - |
Lingua altro abstract | - |
Pagine da | 31 |
Pagine a | 54 |
Pagine totali | 14 |
Rivista | Software, 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:
|
Numero volume della rivista | 23 |
Fascicolo della rivista | 1 |
DOI | 10.1002/spe.4380230104 |
Verificato da referee | Sì: Internazionale |
Stato della pubblicazione | - |
Indicizzazione (in banche dati controllate) |
|
Parole chiave | Specification 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 |
|
Moduli CNR | - |
Progetti Europei | - |
Allegati |
Editore |
|
---|
