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 discussionFile | 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.