Abstract
This paper shows our model-driven approach for the formal construction and validation of Digital Libraries (DLs). We have defined a Domain Specific Visual Language (DSVL) called VisMODLE, which allows the description of a DL using five different viewpoints: services, behaviour, collections, structure and society. From a meta-model based description of the different viewpoints, we have generated a modelling environment for VisMODLE. We have provided the environment with a code generator that produces XUL code for the DL's user interface and composes the application using predefined components that implement the different services. Moreover, we have also added validation and simulation capabilities to the environment. Using the behavioural models (statemachine based), we can visually animate the system. In addition, the combined behaviour of actors and services can be transformed into a Petri net for further analysis.
Original language | English |
---|---|
Pages (from-to) | 169-183 |
Number of pages | 15 |
Journal | Lecture Notes in Business Information Processing |
Volume | 8 |
Issue number | 4 |
Publication status | Published - 2008 |
Keywords
- Digital Libraries
- Formal Methods
- Graph Transformation
- Meta-modelling
- Model Driven Development