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.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte di FBK.
Titolo: | Formal Methods for Service Composition |
Autori: | |
Data di pubblicazione: | 2007 |
Rivista: | |
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. |
Handle: | http://hdl.handle.net/11582/75004 |
Appare nelle tipologie: | 1.1 Articolo in rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.