Formal methods for service composition (Contributo in atti di convegno)

Type
Label
  • Formal methods for service composition (Contributo in atti di convegno) (literal)
Anno
  • 2007-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ter Beek M.; Bucchiarone A.; Gnesi S. (2007)
    Formal methods for service composition
    in 3rd South-East European Workshop on Formal Methods. SEEFM'07, Thessaloniki, Greece
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ter Beek M.; Bucchiarone A.; Gnesi S. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: 3rd South-East European Workshop on Formal Methods. SEEFM'07 (Thessaloniki, Greece, 30 Novembre - 1 Dicembre 2007). Proceedings, pp. 65 - 78. D. Dranidis and I. Sakellariou (ed.). South-East European Research Centre, Thessaloniki, Greece, 2007. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: Current approaches to service composition range from industrial standards (like BPEL and OWL-S) to formal methods (like Petri nets and process algebras). In this paper, we survey several such approaches and compare them on the basis of a selected set of characteristics (like compensations, trust and performance). Our conclusion is that formal methods, including tool support, are ideal to assist designers and developers in their work since their use leads to increased confidence in the obtained service compositions. (literal)
Titolo
  • Formal methods for service composition (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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