| 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 |
|
|---|
