Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler ones for complex B2B applications. While current studies on these topics are mostly focused - from the technical viewpoint - on standards and protocols, this article investigates the adoption of formal methods, especially for composition. The authors logically classify and analyze three different (but interconnected) kinds of important issues towards this goal, namely foundations, verification and extensions. The aim of this work is to individuate the proper questions on the adoption of formal methods for dependable composition of Web Services, not necessarily to find the optimal answers. Nevertheless, the authors still try to propose some tentative answers based on our proposal for a composition calculus, which they hope can animate a proper discussion

Mazzara, M., Ciavotta, M. (2014). Issues about the Adoption of Formal Methods for Dependable Composition of Web Services. INTERNATIONAL JOURNAL OF SYSTEMS AND SERVICE ORIENTED ENGINEERING, 4(4), 35-50 [10.4018/ijssoe.2014100103].

Issues about the Adoption of Formal Methods for Dependable Composition of Web Services

Ciavotta, M
2014

Abstract

Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler ones for complex B2B applications. While current studies on these topics are mostly focused - from the technical viewpoint - on standards and protocols, this article investigates the adoption of formal methods, especially for composition. The authors logically classify and analyze three different (but interconnected) kinds of important issues towards this goal, namely foundations, verification and extensions. The aim of this work is to individuate the proper questions on the adoption of formal methods for dependable composition of Web Services, not necessarily to find the optimal answers. Nevertheless, the authors still try to propose some tentative answers based on our proposal for a composition calculus, which they hope can animate a proper discussion
Articolo in rivista - Articolo scientifico
Formal Methods, Web Services, Dependability
English
2014
4
4
35
50
reserved
Mazzara, M., Ciavotta, M. (2014). Issues about the Adoption of Formal Methods for Dependable Composition of Web Services. INTERNATIONAL JOURNAL OF SYSTEMS AND SERVICE ORIENTED ENGINEERING, 4(4), 35-50 [10.4018/ijssoe.2014100103].
File in questo prodotto:
File Dimensione Formato  
3_IJSSOE_2015.pdf

Solo gestori archivio

Dimensione 412.35 kB
Formato Adobe PDF
412.35 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/186599
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact