Authors:
Esther Guerra
1
;
Juan de Lara
2
and
Alessio Malizia
3
Affiliations:
1
Universidad Carlos III, Spain
;
2
Universidad Autónoma, Spain
;
3
University La Sapienza, Italy
Keyword(s):
Digital Library, Model Driven Development, Formal Methods, Meta-modelling, Graph Transformation.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Data Engineering
;
Digital Libraries
;
Knowledge Management and Information Sharing
;
Knowledge-Based Systems
;
Metadata and Metamodeling
;
Ontologies and the Semantic Web
;
Symbolic Systems
;
Web Information Systems and Technologies
;
Web Interfaces and Applications
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 (state-machine 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.