New scientific disciplines don't emerge overnight. Years pass from the first manifestation of a
technical term to the establishment of a curriculum, even in the fast-paced field of …

UML-based Web Engineering (UWE; www. pst. ifi. lmu. de/projekte/uwe) came up at the end
of the 1990s (Baumeister et al., 1999; Wirsing et al., 1999) with the idea to find a standard …

Context-aware, multi-channel Web applications are more and more gaining consensus
among both content providers and consumers, but very few proposals exist for their …

While Web applications evolve towards ubiquitous, enterprise-wide or multienterprise
information systems, they face new requirements, such as the capability of managing …

The Web is nowadays omnipresent: we use it at home for private reasons, and we use it at
work for professional reasons; we use it for fun (eg, gaming) and for serious interactions (eg …

We study data-driven Web applications provided by Web sites interacting with users or
applications. The Web site can access an underlying database, as well as state information …

Automated reasoning about systems with infinite domains requires an extension of regular
automata to infinite alphabets. Existing formalisms of such automata cope with the …

Significant effort is currently invested in application integration, enabling business processes
of different companies to interact and form complex multiparty processes. Web service …

The Web Modeling Language (WebML) is a third-generation Web design methodology,
conceived in 1998 in the wake of the early hypermedia models and the pioneering works on …

We present an overview of results on verification of temporal properties of infinite-state
transition systems arising from processes that carry and manipulate unbounded data. The …