Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Bucchiarone A., Gnesi S. Formal methods for service composition. In: Annals of Mathematics, Computing & Teleinformatics, vol. 1 (5) pp. 1 - 10. Technological Education Institute of Larissa (TEIL), 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 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.
URL: http://journals.teilar.gr/amct/
Subject Formal methods
Web services
Service composition
D.2.4 Software/Program Verification. Formal methods
H.3.5 Online Information Services. Web-based services

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