Sciweavers

Share
SEMWEB
2001
Springer

A semantic model for specifying data-intensive Web applications using WebML

13 years 4 months ago
A semantic model for specifying data-intensive Web applications using WebML
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data organization and of the pages and links of the actual hypertext(s) which constitute a Web application. In this paper we describe a semantic model for WebML hypertexts by means of Statecharts. Statecharts provide a formal description of the clicking behavior and page data fill of WebML applications. The proposed semantic model has guided the implementation of the WebML runtime and the construction of advanced specification checking functions embedded in the WebML design tools. In particular, developers are supported in the identification of design and runtime problems caused by non-determinism, racing conditions and deadlocks.
Sara Comai, Piero Fraternali
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where SEMWEB
Authors Sara Comai, Piero Fraternali
Comments (0)
books