Model Checking & Verification Of Web Services Protocol using Uppaal & Tla (Record no. 56276)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01509nam a22001097a 4500 |
| 100 ## - MAIN ENTRY--AUTHOR NAME | |
| Personal name | Channa, Asadullah |
| -- | 10MSIT11 |
| -- | Supervisor - Dr. Muhammad Saleem Vighio |
| 245 ## - TITLE STATEMENT | |
| Title | Model Checking & Verification Of Web Services Protocol using Uppaal & Tla |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Nawabshah: |
| Name of publisher | QUEST, |
| Year of publication | 2014. |
| 500 ## - GENERAL NOTE | |
| General note | ABSTRACT<br/><br/>The behavior of systems (protocols, car engines, embedded systems, and so on) is<br/>usually provided in specifications which give details on how systems work and what<br/>properties they should satisfy. These specifications are written informally using<br/>natural languages, state transition tables, and data flow diagrams. However, these<br/>informal specifications are usually prone to errors, imprecise, ambiguous and<br/>sometimes lack important details. Therefore, it is very important that such<br/>specifications must be verified before using them in real-life scenarios. In this thesis,<br/>we present formal verification of web service business activity protocol described<br/>informally. The said protocol is specified by the Microsoft and the IBM Companies<br/>to be used in modern business applications. The formal verification is provided using<br/>the model checkers UPPAAL and TLC. We verify the key properties of the protocol<br/>in order to ensure the correct behavior. Furthermore, based on our analysis we<br/>present a comparative study of the verification techniques: UPPAAL and TLA+ by<br/>considering quantitative and qualitative parameters.(Ms Theses)<br/> |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://tinyurl.com/2hx8k9j6 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Thesis and Dissertation |
| Withdrawn status | Lost status | Home library | Current library | Date acquired | Accession Number | Koha item type |
|---|---|---|---|---|---|---|
| Research Section | Research Section | 01/12/2016 | MP/07-60 | Thesis and Dissertation |