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

Manuel Mazzara and Michele Ciavotta
Additional contact information
Manuel Mazzara: Politecnico di Milano, Milan, Italy
Michele Ciavotta: Politecnico di Milano, Milan, Italy

International Journal of Systems and Service-Oriented Engineering (IJSSOE), 2014, vol. 4, issue 4, 35-50

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.

Date: 2014
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 18/ijssoe.2014100103 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jssoe0:v:4:y:2014:i:4:p:35-50

Access Statistics for this article

International Journal of Systems and Service-Oriented Engineering (IJSSOE) is currently edited by Wuhui Chen

More articles in International Journal of Systems and Service-Oriented Engineering (IJSSOE) from IGI Global
Bibliographic data for series maintained by Journal Editor ().