Research on the dynamic reconfiguration of Web application using two-phase compatibility verification

DOI10.1080/00207160.2013.782398MaRDI QIDQ2874308zbMATH OpenOpenAlexFDO

Authors Honghao Gao

Publication date 29 January 2014

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207160.2013.782398

zbMATH Keywords

dynamic reconfigurationformal methodtwo-phase compatibility verificationWeb application

Mathematics Subject Classification ID

Internet topics (68M11) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45)

Recommendations

• Specification and verification of a dynamic reconfiguration protocol for agent-based applications
• Automated Technology for Verification and Analysis
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• A formal dynamic verification of choreographed web services conversations
• Monitoring and recovery for web service applications

Cites work

• A dynamic web services selection algorithm with QoS global optimal in web services composition
• A generic framework for n-protocol compatibility checking
• Introduction to Software Testing
• On Communicating Finite-State Machines

Cited in

(1)

• Static consistency checking of web applications with WebDSL

This page was built for publication: Research on the dynamic reconfiguration of Web application using two-phase compatibility verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2874308)