Towards Quality Web Information Systems Through Precise Model-Driven Development

Towards Quality Web Information Systems Through Precise Model-Driven Development

Fernando Molina (University of Murcia, Spain), Francisco J. Lucas (University of Murcia, Spain), Ambrosio Toval Alvarez (University of Murcia, Spain), Juan M. Vara (Rey Juan Carlos University - Madrid, Spain), Paloma Cáceres (Rey Juan Carlos University—Madrid, Spain) and Esperanza Marcos (Rey Juan Carlos University—Madrid, Spain)
Copyright: © 2008 |Pages: 19
DOI: 10.4018/978-1-59904-847-5.ch020
OnDemand PDF Download:


Recent years have seen the arrival of the Internet as the platform that supports most areas within organizations, a fact which has led to the appearance of specific methodologies and tools for the construction of Web information systems (WIS). However, an absence of functionalities for the verification and validation (V&V) has been detected in the methodologies and tools of the models which have been built. This chapter presents one of these methodologies for WIS development (MIDAS) and shows how it has been completed with the definition of a strategy for the formal specification of its models with V&V objectives. This will contribute to increasing the quality of the models used in WIS development. The plug-in architecture which integrates this formal approach within CASE tools for WIS development is also shown.

Key Terms in this Chapter

Model-Driven Development: Its defining characteristic is that software development’s primary focus and products are models rather than computer programs. The main advantage of this is that we express models using concepts that are much less bound to the underlying implementation technology and are much closer to the problem domain relative to most popular programming languages. This makes the models easier to specify, understand, and maintain; in some cases, it might even be possible for domain experts, rather than computing technology specialists, to produce systems. It also makes models less sensitive to the chosen computing technology and to evolutionary changes to that technology (the concept of platform-independent models is often closely connected to MDD).

Formal Specification: Description of a model in a comprehensive and consistent way; a model can be given, for example, for an application domain, for a requirement or a set of requirements, for a software architecture, or for a program organization. It is expressed in a formal language. A formal language specifies at meta-level a syntax, a semantics, and a proof system.

Validation: Validation analyzes whether the observable behaviour of a system is in agreement with the requirements. With regard to validation techniques, one of the most used is the scenarios and use-case simulation. This technique analyzes the system behaviour in order to ensure that it is the same as the functionality expected of the system. Simulation languages (as ASL) or tools (as Statemate) can be used.

Maude: Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude is an extensible and powerful language that allows many advanced metaprogramming and metalanguage applications. Some of the most interesting applications of Maude are metalanguage applications, in which Maude is used to create executable environments for different logics, theorem provers, languages, and models of computation.

Model / Metamodel: A model is a set of statements about some system under study. Here, statement means some expression about the SUS that can be considered true or false (although no truth value has necessarily to be assigned at any particular point in time). We can use a model to describe an SUS. In this case, we consider the model correct if all its statements are true for the SUS. A metamodel is a specification model for a class of SUS, where each SUS in the class is itself a valid model expressed in a certain modelling language. That is, a metamodel makes statements about what can be expressed in the valid models of a certain modelling language.

User-Services-Oriented: A way to address the construction of the navigation model of Web Information System; the method is based on identifying conceptual user services, that is, specific services required by the user. Like this, the navigation model is focused on identifying the services required by the user and one specific route for each one of those user services that guides the navigation of the user through the WIS.

Verification: Verification tries to show that a system is being built correctly. Usually, it involves satisfying specific properties of the diagram metamodels or properties related to the system domain. This verification can be made using formal or informal methods. Checklists and algorithms, which analyze a model looking for errors or abnormal situations, are informal verification techniques. Theorem proving and model checking are formal verification techniques.

Web Engineering: This is a relatively new branch of software engineering, which addresses the specific issues related to design and development of large-scale Web applications. In particular, it focuses on the methodologies, techniques, and tools that are the foundation of complex Web application development and which support their design, development, evolution, and evaluation.

Complete Chapter List

Search this Book:
Editorial Advisory Board
Table of Contents
Coral Calero, M. Angeles Moraga, Mario Piattini
Chapter 1
Emilia Mendes
Surveying and classifying previous work on a particular field brings several benefits, which are: 1) to help organise a given body of knowledge; 2)... Sample PDF
Sizing Web Applications for Web Effort Estimation
Chapter 2
Emilia Mendes, Silvia Abrahão
Effort models and effort estimates help project managers allocate resources, control costs and schedule, and improve current practices, leading to... Sample PDF
Web Development Effort Estimation: An Empirical Analysis
Chapter 3
Pankaj Kamthan
The significance of approaching Web information systems (WIS) from an engineering viewpoint is emphasized. A methodology for deploying patterns as... Sample PDF
Patterns for Improving the Pragmatic Quality of Web Information Systems
Chapter 4
Rosemary Stockdale, Chad Lin
Many small and medium sized businesses (SMEs) have set up their own Web sites, as part of their business strategies, to improve their... Sample PDF
Evaluation of the Effectiveness of Small and Medium Sized Businesses Web Sites in a Business to Business Context
Chapter 5
May Haydar, Ghazwa Malak, Houari Sahraoui, Alexandre Petrenko, Sergiy Boroday
This chapter addresses the problem of Web application quality assessment from two perspectives. First, it shows the use of model checking of... Sample PDF
Anomaly Detection and Quality Evaluation of Web Applications
Chapter 6
Thomas Mandl
Automatic quality assessment of Web pages needs to complement human information work in the current situation of an information overload. Several... Sample PDF
Automatic Quality Assessment for Internet Pages
Chapter 7
Mª Ángeles Moraga, Julio Córdoba, Coral Calero, Cristina Cachero
The success of Web portals has increased over time, in such a way that a portal user can choose among a wide variety of portals. Therefore, the... Sample PDF
A General View of Quality Models for Web Portals and a Particularization to E-Banking Domain
Chapter 8
Angélica Caro, Coral Calero, Mario Piattini
Web portals are Internet-based applications that provide a big amount of data. The data consumer who uses the data given by these applications needs... Sample PDF
A Data Quality Model for Web Portals
Chapter 9
Marta Fernández de Arriba, Eugenia Díaz, Jesús Rodríguez Pérez
This chapter presents the structure of an index which serves as support so allowing the development team to create the specification of the context... Sample PDF
Specification of the Context of Use for the Development of Web-Based Applications
Chapter 10
Web Accessibility  (pages 163-180)
Carlos García Moreno
This chapter faces the Web accessibility issue from the perspective of Web Information Systems Quality, which is the main topic of the handbook. The... Sample PDF
Web Accessibility
Chapter 11
Adriana Martín, Alejandra Cechich, Gustavo Rossi
Web accessibility is one facet of Web quality in use, and one of the main actors upon which the success of a Web site depends. In spite of these... Sample PDF
Comparing Approaches to Web Accessibility Assessment
Chapter 12
Soonhwa Seok
Digital inclusion and Web accessibility are integral parts of modern culture and, as such, have implications for social accountability. The World... Sample PDF
Maximizing Web Accessibility Through User-Centered Interface Design
Chapter 13
Francisco Montero, María Dolores Lozano, Pascual González
World Wide Web software development is a challenge. The need to provide appealing and attractive user interfaces is combined with the fact that the... Sample PDF
Usability-Oriented Quality Model Based on Ergonomic Criteria
Chapter 14
Maristella Matera, Francesca Rizzo, Rebeca Cortázar, Asier Perallos
Given the emergent need for usability, during last year’s traditional development processes have been extended for enabling the fulfillment of... Sample PDF
The Usability Dimension in the Development of Web Applications
Chapter 15
Fernando Bellas, Iñaki Paz, Alberto Pan, Óscar Díaz
Portlets are interactive Web mini-applications that can be plugged into a portal. This chapter focuses on “portletizing” existing Web applications... Sample PDF
New Approaches to Portletization of Web Applications
Chapter 16
Victoria Torres, Joan Fons, Vicente Pelechano
Users consider usability aspects as a key factor when using Web applications. For this reason, in this work we take a special care in this very... Sample PDF
Handling Usability Aspects for the Construction of Business Process Driven Web Applications
Chapter 17
Nicolas Guelfi, Cédric Pruski, Chantal Reynaud
The evolution of Web information is of utmost importance in the design of good Web Information Systems applications. New emerging paradigms, like... Sample PDF
Towards the Adaptive Web Using Metadata Evolution
Chapter 18
Carmen Martínez-Cruz, Ignacio José Blanco, M. Amparo Vila
The Semantic Web has resulted in a wide range of information (e.g., HML, XML, DOC, PDF documents, ontologies, interfaces, forms, etc.) being made... Sample PDF
Looking for Information in Fuzzy Relational Databases Accessible Via Web
Chapter 19
Ricardo Barros, Geraldo Xexéo, Wallace A. Pinheiro, Jano de Souza
Currently, in the Web environment, users have to deal with an enormous amount of information. In a Web search, they often receive useless... Sample PDF
A Web Metadata Based-Model for Information Quality Prediction
Chapter 20
Fernando Molina, Francisco J. Lucas, Ambrosio Toval Alvarez, Juan M. Vara, Paloma Cáceres, Esperanza Marcos
Recent years have seen the arrival of the Internet as the platform that supports most areas within organizations, a fact which has led to the... Sample PDF
Towards Quality Web Information Systems Through Precise Model-Driven Development
Chapter 21
M.J. Escalona, G. Aragón
The increasing complexity and the many different aspects that should be treated at the same time require flexible but powerful methodologies to... Sample PDF
The Use of Metamodels in Web Requirements to Assure the Consistence
Chapter 22
Cristina Cachero Castro, Coral Calero, Yolanda Marhuenda García
This chapter introduces the necessity to consider quality management activities as part of the Web engineering (WE) process to improve the final... Sample PDF
A Quality-Aware Engineering Process for Web Applications
Chapter 23
Sergej Sizov, Stefan Siersdorfer
This chapter addresses the problem of automatically organizing heterogeneous collections of Web documents for the generation of thematically-focused... Sample PDF
Restrictive Methods and Meta Methods for Thematically Focused Web Exploration
Chapter 24
Mª Ángeles Moraga, Ignacio García-Rodríguez de Guzmán, Coral Calero, Mario Piattini
The use of Web portals continues to rise, showing their importance in the current information society. Specifically, this chapter focuses on... Sample PDF
WSRP-O: An Ontology to Model WSRP Compliant Portlets
Chapter 25
Tony C. Shan, Winnie W. Hua
This article defines a comprehensive set of guiding principles, called philosophy of architecture design (PAD), as a means of coping with the... Sample PDF
Philosophy of Architecture Design in Web Information Systems
Chapter 26
Mohamed Salah Hamdi
Conventional Web search engines return long lists of ranked documents that users are forced to sift through to find relevant documents. The... Sample PDF
Improving the Quality of Web Search
Chapter 27
Jengchung V. Chen, Wen-Hsiang Lu, Kuan-Yu He, Yao-Sheng Chang
With the fast growth of the Web, users often suffer from the problem of information overload, since many existing search engines respond to queries... Sample PDF
The Perspectives of Improving Web Search Engine Quality
Chapter 28
Xiannong Meng
This chapter surveys various technologies involved in a Web search engine with an emphasis on performance analysis issues. The aspects of a... Sample PDF
Web Search Engine Architectures and their Performance Analysis
Chapter 29
Fotis Lazarinis
As the Web population continues to grow, more non-English users will be amassed online. The purpose of this chapter is to describe the methods and... Sample PDF
Towards a Model for Evaluating Web Retrieval Systems in Non-English Queries
Chapter 30
John D. D’Ambra, Nina Mistillis
This chapter considers the change in information seeking behaviour of tourists as a result of the increased use of the World Wide Web as an... Sample PDF
Web Information Resources Vis-à-Vis Traditional Information Services
About the Contributors