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.
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.