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.
Published in Chapter:
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
Abstract
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.