Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Bucchiarone A., Gnesi S. Formal methods for service composition. In: 3rd South-East European Workshop on Formal Methods. SEEFM'07 (Thessaloniki, Greece, 30 Novembre - 1 Dicembre 2007). Proceedings, pp. 65 - 78. D. Dranidis, I. Sakellariou (eds.). South-East European Research Centre, Thessaloniki, Greece, 2007.
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.
URL: http://fmt.isti.cnr.it/WEBPAPER/final-seefm.pdf
Subject Formal methods
Web Services
Service composition
D.2.1 Requirements/Specifications. Languages
D.2.2 Design Tools and Techniques. Petri nets
D.2.4 Software/Program Verification. Formal methods
D.2.4 Software/Program Verification. Model checking
F.1.2 Modes of Computation. Parallelism and concurrency
I.1.3 Languages and Systems. Special-purpose algebraic systems

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional