Electronic commerce applications (e-commerce) need connecting technologies to support the external, agreed-upon or flexible business processes. This requires a specification of th...
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
Abstract. In this paper, we integrate WebML, a high-level model and technology for building server-side Web applications, with UML-Guide, a UML-based system that generates client-s...
Stefano Ceri, Peter Dolog, Maristella Matera, Wolf...
Current trends in web development still are attached to the web page paradigm. Nevertheless, new uses of already available technology and recent development in terms of concepts, ...
Hypermedia design methods have been proposed for the development of hypermedia and web applications. Nowadays, we face up to another challenge, the Semantic Web, in order to repre...