Web service composition approaches: from industrial standards to formal methods (Contributo in atti di convegno)

Type
Label
  • Web service composition approaches: from industrial standards to formal methods (Contributo in atti di convegno) (literal)
Anno
  • 2007-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ter Beek M. H.; Bucchiarone A.; Gnesi S. (2007)
    Web service composition approaches: from industrial standards to formal methods
    in 2nd International Conference on Internet and Web Applications and Services. ICIW'07, Mauritius
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ter Beek M. H.; Bucchiarone A.; Gnesi S. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: 2nd International Conference on Internet and Web Applications and Services. ICIW'07 (Mauritius, 13-19 Maggio 2007). Proceedings, pp. 1 - 6. IEEE Computer Society, Los Alamitos, CA, 2007. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approaches range from practical languages aspiring to become standards (like BPEL, WS-CDL, OWL-S and WSMO) to theoretical models (like automata, Petri nets and process algebras). In this paper we compare these approaches w.r.t. a selected set of characteristics (like trust, security and performance) and we advocate the use of formal models, and their tool support, to increase one's confidence in web service compositions. This paper can assist web service composition designers and developers to deliver lasting solutions, in concordance with the technology's critical needs. (literal)
Titolo
  • Web service composition approaches: from industrial standards to formal methods (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


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