This paper presents a UML Profile for Web applications. It is a UML extension based on the general extension mechanisms provided by the UML that defines specific stereotypes to model the navigational and presentational aspects of Web applications. This profile is part of a methodology for the analysis and design of Web applications. This methodology… (More)
The acceptance of UML as a de facto standard for the design of object-oriented systems, together with the explosive growth of the World Wide Web has raised the need for UML extensions to model hy-permedia applications running on the Internet. In this paper we propose such an extension for modeling the navigation and the user interfaces of hypermedia… (More)
A calculus which extends the untyped-calculus by constraints is presented. The constraints can be used for two purposes: in a passive way for restricting the range of variables and in an active way for computing solutions of goals. Rules for the constrained-calculus are presented and a complete proof of the weak Church Rosser property is given.
The Object Constraint Language (OCL) has been introduced by IBM for business modelling and adopted by UML as a mean to specify invariants of classes and types in a class model, to specify type invariant of stereotypes, to describe pre-and postconditions on operations and methods, to describe guards, and also as a navigation language. OCL is a language of… (More)
This paper presents a UML-based design of hypermedia systems. It comprises the conceptual, navigational and presentational modeling of hypermedia applications. These design steps are similar to those proposed in other methods for hypermedia and Web design. As most of these methods it is based on the separation of contents, structure and layout. The novelty… (More)