Modelling and Verification of Web Services Business Activity Protocol
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F11%3A00067341" target="_blank" >RIV/00216224:14330/11:00067341 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-642-19835-9_32" target="_blank" >http://dx.doi.org/10.1007/978-3-642-19835-9_32</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-642-19835-9_32" target="_blank" >10.1007/978-3-642-19835-9_32</a>
Alternative languages
Result language
angličtina
Original language name
Modelling and Verification of Web Services Business Activity Protocol
Original language description
WS-Business Activity specification defines two coordination protocols in order to ensure a consistent agreement on the outcome of long-running distributed applications. We use the model checker Uppaal to analyse the Business Agreement with Coordination Completion protocol type. Our analyses show that the protocol, as described in the standard specification, violates correct operation by reaching invalid states for all underlying communication media except for the perfect FIFO. Based on this result, we propose changes to the protocol. A further investigation of the modified protocol suggests that messages should be received in the same order as they are sent so that a correct protocol behaviour is preserved. Another important property of communication protocols is that all parties always reach their final states.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ({TACAS}'11)
ISBN
9783642198342
ISSN
0302-9743
e-ISSN
—
Number of pages
15
Pages from-to
357-371
Publisher name
Springer-Verlag
Place of publication
Neuveden
Event location
Saarbrücken, Germany
Event date
Jan 1, 2011
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—