Formal modelling and verification in service-oriented computing (Articolo in rivista)

Type
Label
  • Formal modelling and verification in service-oriented computing (Articolo in rivista) (literal)
Anno
  • 2007-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ter Beek M. H.; Gnesi S.; Martinelli F.; Mazzanti F.; Petrocchi M. (2007)
    Formal modelling and verification in service-oriented computing
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ter Beek M. H.; Gnesi S.; Martinelli F.; Mazzanti F.; Petrocchi M. (literal)
Pagina inizio
  • 27 (literal)
Pagina fine
  • 28 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 70 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: ERCIM News, vol. 70 pp. 27 - 28. Service-Oriented Computing. ERCIM, 2007. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ISTI-CNR e IIT-CNR (literal)
Titolo
  • Formal modelling and verification in service-oriented computing (literal)
Abstract
  • Formal methods and tools are a popular means of analysing the correctness properties of computer network protocols, such as safety, liveness and security. First the protocol under scrutiny is described in a formal language, which often results in a more precise definition of its function. Subsequently, the properties to be analysed are specified in a suitable logic. Finally, to decide whether or not the protocol fulfils certain properties, automatic tools are used to analyse it. The outcome either proves the protocol to be correct with respect to the relevant properties or shows there to be a problem. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Insieme di parole chiave di
data.CNR.it