The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology
Résumé
This paper describes the development of a new ELAN environment using ASF+SDF meta-environment component technology. The ELAN environment is an interactive environment for the construction of algebraic specifications. The architecture of this new ELAN environment is inspired by the architecture of the ASF+SDF meta-environment, which is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for them. The use of ASF+SDF meta environment component technology makes the ELAN environment more open, adaptable, and reusable.