Designing and maintaining Web applications is one of the major challenges for the software industry of the year 2000. In this paper we present Web Modeling Language (WebML), a notation for specifying complex Web sites at the conceptual level. WebML enables the high-level description of a Web site under distinct orthogonal dimensions: its data content (structural model), the pages that compose it (composition model), the topology of links between pages (navigation model), the layout and graphic requirements for page rendering (presentation model), and the customization features for one-to-one content delivery (personalization model). All the concepts of WebML are associated with a graphic notation and a textual XML syntax. WebML specifications are independent of both the client-side language used for delivering the application to users, and of the server-side platform used to bind data to pages, but they can be effectively used to produce a site implementation in a specific technologica...

Presentation Diagram" section). 7. Other implementations: Adapt the observer pattern 11 to hypermedia environments. Navigational access diagram For a more general perspective of the approach, we'll use a discussion list management system as an example. As a basic explanation (for reasons of brevity), we assume the list manager system contains several discussion lists dealing with different Web technology topics, and the system forms each list by a set of hierarchically ordered messages relating to each other through a parent--child unary relationship. The discussion list user can read all the messages included inside any lists and reply to any of them. We previously noted that one or more NADs capture the navigation model. Designers should construct as many NADs as different views of the system are required, and they should provide at least one different NAD for each user type (agent type) allowed to navigate through the system. A NAD is based on four types of constructs: navigational classes, navigational targets, navigational links, and collections. Also, when defining the navigation structure, designers must consider some orthogonal aspects, such as the desired navigation behavior, the object population selection, the order in which objects should be navigated, or the cardinality of the access. We capture these features by different kinds of navigation patterns and filters associated with links and collections. We further develop these concepts below. Navigational classes. Enriched domain classes whose attributes and method visibility have been restricted according to the user access permissions and navigation requirements. A sample enrichment is the differentiation among three types of attributes: V-attributes (visible attributes), R-attributes (referenced attr...

Abstract This article presents OO-HMethod, an extension of the OO-Method conceptual modelling approach to address the particulars associated with the design of web interfaces. It is based on the OO-Method class diagram, which captures the statics of the system. The design of the interface appearance and the navigation paths are driven by the user navigation requirements. To achieve its goal, OO-HMethod adds several navigation and interface constructs to the OO-Method conceptual model, which define the semantics suitable for capturing the specific functionality of web application interfaces. A new kind of diagram, the ’Navigation Access Diagram ’ (NAD) is introduced. All the concepts represented in the NAD are stored in a repository, and from there a functional interface is generated in an automated way. One of the main contributions of this paper is not the proposal of yet another method for web modelling but the extension of an existing conceptual modelling approach. 1

The web is more and more used as a platform for fullfledged, increasingly complex information systems, where a huge amount of change-intensive data is managed by underlying database systems. From a software engineering point of view, the development of such so called DataWeb applications requires proper modeling methods in order to ensure architectural soundness and maintainability. The goal of this paper is twofold. First, a framework of requirements, covering the design space of DataWeb modeling methods in terms of three orthogonal dimensions is suggested. Second, on the basis of this framework, eight representative modeling methods for DataWeb applications are surveyed and general shortcomings are identified pointing the way to nextgeneration modeling methods.

The web is more and more used as a platform for full-fledged, increasingly complex applications, where a huge amount of change-intensive data is managed by underlying database systems. From a software engineering point of view, the development of web applications requires proper modeling methods in order to ensure architectural soundness and maintainability. Existing modeling methods for web applications, however, fall short on considering a major requirement posed on today's web applications, namely customization. Web applications should be customizable with respect to various context factors comprising different user preferences, device capabilities and locations in mobile scenarios, to mention just a few. The goal of this paper is twofold. First, a framework of requirements, covering the design space of customizable web applications is suggested. Second, on the basis of this framework, existing approaches for developing customizable web applications are surveyed and general shortcomings are identified pointing the way to next-generation modeling methods.

Object-oriented modeling has become the de-facto standard in the early phases of a software development process during the last decade. The current state-of-the-art is dominated by the existence of the Unified Modeling Language (UML), the development of which has been initiated and pushed by industry.

The new possibilities offered by WEB applications are pervasively and radically changing several areas. WEB applications, compared to WEB sites, offer substantially greater opportunities: a WEB application provides the WEB user with a means to modify the site status. WEB applications represent a competitive advantage: they are critical and strategically relevant resources, not only to communicate the company image, but also to manage production and distribution. WEB

In this paper we introduce a novel approach for modeling performance oriented distributed and parallel applications based on the Unified Modeling Language (UML). We utilize the UML extension mechanisms to customize UML for the domain of performance oriented distributed and parallel computing. A set of UML building blocks is described that model some of the most important constructs of message passing and shared memory parallel paradigms which can be used to develop models for large and complex parallel and distributed applications. We illustrate our approach by modeling a parallel many-body physics application that combines message passing and shared memory paral- lelism.

There is a trend of increasing size of web sites and increasing complexity of web pages by dynamic content in recent years. Currently available web navigation modeling tools are unable to cope with the need of modeling these contemporary web sites, especially those with dynamic content. This need is analyzed in this paper and a web navigation model based on statechart is proposed to meet the requirements. The model will serve as a tool for the modeling and analyzing navigation of complex and dynamic web sites. 1 Introduction The exponential growth of the World Wide Web and electronic commerce in recent years give rise to a need of modeling and analyzing the browsing semantics of web sites, which have increased in size and complexity. As in any other software development, a detailed model ease development and maintenance of the web site. In addition, the model can help in the analysis of navigation in the modeled web site. Undesirable situations can be identified and eliminated, and i...

In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We elaborate a method for automatic generation of such a model from a recorded browsing session. The obtained model could then be used to verify properties with a model checker, as well as for regression testing and documentation. Unlike previous attempts, our approach is oriented towards complex multi-window/frame applications. We present an implementation of the approach that uses the model checker Spin and provide an example.