Formal Methods for Service Composition
(2008)Abstract
Current approaches to service composition In this paper, we first describe and compare these 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 approaches to service composition w.r.t. a selected set of main characteristics to assess their quality, much in the style of 49. We then survey the increasing use of formal methods (mainly state-action models like Petri of services). We conclude that formal methods, often nets or process models like the pi-calculus) to formally including tool support, are ideal to assist designers and developers because their use leads to increased confidence in the obtained compositions. specify, compose and verify service compositions, and also compare these w.r.t. the selected set of characteristics. Finally, we discuss the expected advantage of using