Model driven formal development of digital libraries

Esther Guerra, Juan De Lara, Alessio Malizia

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
Pages (from-to)169-183
Number of pages15
JournalLecture Notes in Business Information Processing
Volume8
Issue number4
Publication statusPublished - 2008

Keywords

  • Digital Libraries
  • Formal Methods
  • Graph Transformation
  • Meta-modelling
  • Model Driven Development

Fingerprint

Dive into the research topics of 'Model driven formal development of digital libraries'. Together they form a unique fingerprint.

Cite this