A Formal Framework for Run-Time Verification of Web Applications, Fachbücher von May Haydar

Das Buch "A Formal Framework for Run-Time Verification of Web Applications" bietet eine umfassende Analyse der Korrektheit von Webanwendungen, die in der heutigen digitalen Landschaft von zentraler Bedeutung ist. Angesichts des rasanten Wachstums von Webanwendungen ist die Gewährleistung ihrer Zuverlässigkeit und Automatisierung von grösster Wichtigkeit. Der Autor, May Haydar, präsentiert eine innovative Modellierungstechnik, die auf kommunizierenden Automaten basiert und die dynamische Analyse nutzt, um Modelle aus benutzerbasierten Ausführungsspuren abzuleiten. Diese Modelle ermöglichen die Überprüfung von Eigenschaften von Webanwendungen mithilfe von Model-Checking-Techniken. Darüber hinaus wird das Problem der Spezifikation von Eigenschaften in Linear Temporal Logic (LTL) über Teilmengen von Zuständen des zu testenden Systems behandelt. Das Buch bietet auch eine Bibliothek von Web-Spezifikationsmustern, die 119 Muster in LTL umfasst und auf der Analyse von Webqualitätsregeln basiert, die in englischer Prosa verfasst sind. Diese Ressourcen sind darauf ausgelegt, die Anwendung formaler Methoden in herkömmlichen Web-Engineering-Techniken zu erleichtern.