A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)

Type

• Prodotto della ricerca (Classe)
• Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali (Classe)

Label

• A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (literal)

Anno

• 2006-01-01T00:00:00+01:00 (literal)

Alternative label

• Ter Beek M.; Bucchiarone A.; Gnesi S. (2006)
  A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods
  
  (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

• Technical report (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto

• ABSTRACT: Composition of services has received much interest to support business-to-business and enterprise applications integration. The business world has developed a number of XML-based standards to formalize the specification of web services, their composition, and their execution. On the other hand, the semantic web community focuses on reasoning about web resources by explicitly declaring their preconditions and effects with terms defined precisely in ontologies. Current service composition approaches range from practical languages aspiring to become industrial standards (e.g. BPEL and OWL-S) to more theoretical models and languages (e.g. automata, Petri nets, and process algebras). In this paper we present a survey of existing proposals for service composition and compare them among each other with respect to some key requirements. We hope this helps service composition designers and developers to focus their efforts and to deliver lasting solutions, while at the same time addressing the technology's critical needs. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto

• Altro (literal)

Titolo

• A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods (literal)

Prodotto di

• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Insieme di parole chiave

• Keywords of "A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Insieme di parole chiave di

• Keywords of "A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods" (Insieme di parole chiave)