Bookcover of A Formal Framework for Run-Time Verification of Web Applications
Booktitle:

A Formal Framework for Run-Time Verification of Web Applications

An Approach Supported by Scope Extended Linear Temporal Logic

VDM Verlag Dr. Müller (2009-09-08 )

Books loader

Omni badge eligible for voucher
ISBN-13:

978-3-639-18943-8

ISBN-10:
3639189434
EAN:
9783639189438
Book language:
English
Blurb/Shorttext:
With the pervasive and accelerating growth of web applications, correctness is a primary concern. Meanwhile, software communities are increasingly adopting formal methods, mainly to achieve reliability and better automation, to analyze various types of applications. In this work, a communicating automata modeling technique is proposed using the dynamic analysis approach to infer models from user-based execution traces of Web applications. These models are used to verify properties of Web applications by means of model checking technique. Also, the problem of property specification in LTL over a subset of states of a system under test is addressed. Operators that facilitate specifying properties over propositional scopes are introduced, where each scope constitutes a subset of states that satisfy a propositional logic formula. Finally, to facilitate the use of formal methods in conventional web engineering techniques, a library of web specification pattern is proposed. It includes 119 patterns specified in LTL. These are based on the analysis of Web quality rules, written in English prose.
Publishing house:
VDM Verlag Dr. Müller
Website:
http://www.vdm-verlag.de
By (author) :
May Haydar
Number of pages:
188
Published on:
2009-09-08
Stock:
Available
Category:
Informatics, IT
Price:
68.00 €
Keywords:
Dynamic Analysis, model checking, Verification, Linear Temporal Logic, Spin Model Checker, Web Application, Browsing Session, Kripke Structure, Property Patterns, Communicating Automata., Spin Model Checker

Books loader

Newsletter

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::alipay Adyen::unionpay Adyen::paypal Paypal CryptoWallet Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING