A LOTOS Extension for the Performance Analysis of Distributed Systems (Articolo in rivista)

Type
Label
  • A LOTOS Extension for the Performance Analysis of Distributed Systems (Articolo in rivista) (literal)
Anno
  • 1994-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1109/90.298433 (literal)
Alternative label
  • M. Ajmone Marsan; A. Bianco; L. Ciminiera; R. Sisto; A.Valenzano (1994)
    A LOTOS Extension for the Performance Analysis of Distributed Systems
    in IEEE/ACM transactions on networking (Print); Association Of Computing Machinery (ACM), New York (Stati Uniti d'America)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • M. Ajmone Marsan; A. Bianco; L. Ciminiera; R. Sisto; A.Valenzano (literal)
Pagina inizio
  • 151 (literal)
Pagina fine
  • 165 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=298433 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 2 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 15 (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
  • M. 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 (literal)
Titolo
  • A LOTOS Extension for the Performance Analysis of Distributed Systems (literal)
Abstract
  • Performance 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 (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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