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.
Formal methods for service composition
Ter Beek M;Gnesi S
2007
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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_91631-doc_131323.pdf
accesso aperto
Descrizione: Formal methods for service composition
Tipologia:
Versione Editoriale (PDF)
Dimensione
148.14 kB
Formato
Adobe PDF
|
148.14 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
