The Web, the largest unstructured database of the world, has greatly improved access to documents. However, documents on the Web are largely disorganized. Due to the distributed n...
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 or...
The Semantic Web services has become a challenging research topic in the last half of decade. Various frameworks offer means to semantically describe all the related aspects of Sem...
The current Web service technology brought a new potential to the Web of services. However, the success of Web services still depends on resolving three fundamental challenges, na...
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...