scholarly journals A Model-Driven Approach for Designing Distributed Web Information Systems

2005 ◽  
pp. 453-464
Author(s):  
Richard Vdovjak ◽  
Geert-Jan Houben
Keyword(s):  
Information Systems ◽  
Model Driven ◽  
Web Information ◽  
Web Information Systems ◽  
Model Driven Approach

Towards Quality Web Information Systems Through Precise Model-Driven Development

2011 ◽  
pp. 344-362
Author(s):  
Fernando Molina ◽  
Francisco J. Lucas ◽  
Ambrosio Toval Alvarez ◽  
Juan M. Vara ◽  
Paloma Cáceres ◽  
...  
Keyword(s):  
Information Systems ◽  
Formal Specification ◽  
Verification And Validation ◽  
The Internet ◽  
Formal Approach ◽  
Model Driven ◽  
Web Information ◽  
Web Information Systems ◽  
Definition Of

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.

Sign in / Sign up

Export Citation Format

Share Document