Paper Info
Title
A design methodology for verified web-service mediators.
Abstract
A new web service can be built by combining existing web services and coordinating their actions by a ‘mediator’. This work presents a formal design methodology based on model checking that generates all the mediator designs that meet requirements specified by a user. The methodology allows the user to explore the designs in search of the mediator that offers the best theoretical performance. Markov models of various measures of performance are considered. Each measure may result in a different ranking of the mediator designs (from best to worst for example). From these rankings the user can select the design that at least theoretically best fits the purpose. The novelty of this work is the use of model checking and Markov analysis in a single formal framework to generate, explore, and select from a set of provably-correct mediators—while still in the design stage of development.
Year
DOI
Venue
2013
10.1007/s00607-012-0237-5
Computing
Keywords
DocType
Volume
68N30, 68U07, 65C05
Journal
95
Issue
ISSN
Citations 
7
1436-5057
0
PageRank 
References 
Authors
0.34
29
2
Name
Order
Citations
PageRank
Jing Cao1202.99
Albert Nymeyer21069.98