[Back]

L. Kovacs, T. Kutsia:
"Special issue on Automated Specification and Verification of Web Systems";
Journal of Applied Logic, 10 (2012), 1; 1 - 2.

This special issue has been organized after the workshop WWV 2010: Automated Specification and Verification of Web
Systems, which took place in Vienna, Austria, on July 30-31, 2010.
Design and construction of Web-based applications is becoming more and more challenging problem, as the role of these
applications grows, their complexity increases, and related risk level raises. Many company Web sites have been turned
into interactive, completely-automated, Web-based applications (such as those for stock trading, electronic commerce, online
banking, travel agencies, etc.). Development of reliable applications requires appropriate specification and verification
techniques and tools. Systematic, formal approaches to the analysis and verification can deal with the problems of this
particular domain by automated and trustworthy tools that also incorporate semantic aspects. The accepted papers address
some of these issues, such as formal modeling of service-oriented architecture systems and analysis of a regular expression
matching technique frequently used in Web applications.

This special issue has been organized after the workshop WWV 2010: Automated Specification and Verification of Web
Systems, which took place in Vienna, Austria, on July 30-31, 2010.
Design and construction of Web-based applications is becoming more and more challenging problem, as the role of these
applications grows, their complexity increases, and related risk level raises. Many company Web sites have been turned
into interactive, completely-automated, Web-based applications (such as those for stock trading, electronic commerce, online
banking, travel agencies, etc.). Development of reliable applications requires appropriate specification and verification
techniques and tools. Systematic, formal approaches to the analysis and verification can deal with the problems of this
particular domain by automated and trustworthy tools that also incorporate semantic aspects. The accepted papers address
some of these issues, such as formal modeling of service-oriented architecture systems and analysis of a regular expression
matching technique frequently used in Web applications.

web systems, verification, logic,

http://dx.doi.org/10.1016/j.jal.2011.11.001