Formal methods for service composition (Articolo in rivista)

Type
Label
  • Formal methods for service composition (Articolo in rivista) (literal)
Anno
  • 2007-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ter Beek M.H., Bucchiarone A., Gnesi S. (2007)
    Formal methods for service composition
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ter Beek M.H., Bucchiarone A., Gnesi S. (literal)
Pagina inizio
  • 1 (literal)
Pagina fine
  • 10 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 1 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Annals of Mathematics, Computing & Teleinformatics, vol. 1(5), p. 1-10. Technological Education Institute of Larissa (TEIL), Greece, 2007. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ISTI-CNR (literal)
Titolo
  • Formal methods for service composition (literal)
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 a number of such approaches and compare them with respect to a carefully selected set of characteristics (like exception handling and quality of services). We conclude that formal methods, often including tool support, are ideal to assist designers and developers because their use leads to increased confidence in the obtained compositions. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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