Consiglio Nazionale delle Ricerche

Tipo di prodottoArticolo in rivista
TitoloA LOTOS Extension for the Performance Analysis of Distributed Systems
Anno di pubblicazione1994
Formato
  • Elettronico
  • Cartaceo
Autore/iM. Ajmone Marsan; A. Bianco; L. Ciminiera; R. Sisto; A.Valenzano
Affiliazioni autoriM. Ajmone Marsan, A. Bianco, L. Ciminiera, R. Sisto: 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
AbstractPerformance analysis and formal correctness verification of computer communication protocols and distributed systems have traditionally been considered as two separate fields. However, their integration can be achieved by using formal description techniques as paradigms for the development of performance models. This paper presents a novel extension of LOTOS, one of the two formal specification languages that were standardized by ISO. The extension is specifically conceived to integrate performance analysis and formal verification. The extended language syntax and semantics are formally defined, along with a mapping from extended specifications to performance models, The mapping preserves the specified observable behavior. Two simple examples, a stop-and-wait protocol and a time-sharing system, are used to concretely demonstrate the new approach and to validate it
Lingua abstractinglese
Altro abstract-
Lingua altro abstract-
Pagine da151
Pagine a165
Pagine totali15
RivistaIEEE/ACM transactions on networking (Print)
Attiva dal 1993
Editore: Institute of Electrical and Electronics Engineers, and the Association for Computing Machinery, - New York, NY
Paese di pubblicazione: Stati Uniti d'America
Lingua: inglese
ISSN: 1063-6692
Titolo chiave: IEEE/ACM transactions on networking (Print)
Titolo proprio: IEEE/ACM transactions on networking (Print)
Titolo abbreviato: IEEE/ACM trans. netw. (Print)
Titoli alternativi:
  • TON (Print)
  • Institute of Electrical and Electronics Engineers, Association for Computing Machinery transactions on networking (Print)
  • Transactions on networking (Print)
  • Networking (Print)
Numero volume della rivista2
Fascicolo della rivista1
DOI10.1109/90.298433
Verificato da refereeSì: Internazionale
Stato della pubblicazione-
Indicizzazione (in banche dati controllate)
  • ISI Web of Science (WOS) (Codice:QR379)
  • Scopus (Codice:2-s2.0-0028409762)
Parole chiaveFormal methods, LOTOS, performance analysis
Link (URL, URI)http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=298433
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
  • A LOTOS Extension for the Performance Analysis of Distributed Systems

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
  • Association Of Computing Machinery (ACM), New York (Stati Uniti d'America)