MODEL DRIVEN DEVELOPMENT OF DIGITAL LIBRARIES - Validation, Analysis and Code Generation

Esther Guerra, Juan de Lara, Alessio Malizia

2007

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.

References

  1. Anderson, K. M., Andersen, A., Wadhwani, N., and Bartolo, L. M. (2003). Metis: Lightweight, flexible, and web-based workflow services for digital libraries. In JCDL, pages 98-109.
  2. Castelli, D., Meghini, C., and Pagano, P. (2002). Foundations of a multidimensional query language for digital libraries. In ECDL, pages 251-265.
  3. de Lara, J., Guerra, E., and Vangheluwe, H. (2003). Metamodelling, graph transformation and model checking for the analysis of hybrid systems. In AGTIVE'03, volume 3062 of LNCS, pages 292-298. Springer.
  4. Dushay, N. (2001). Using structural metadata to localize experience of digital content. CoRR, cs/0112017.
  5. Ehrig, H., Ehrig, K., Prange, U., and Taentzer, G. (2006). Fundamentals of Algebraic Graph Transformation. Springer-Verlag.
  6. Gonc¸alves, M. A., Fox, E. A., Watson, L. T., and Kipp, N. A. (2004). Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries. ACM Trans. Inf. Syst., 22(2):270-312.
  7. Guerra, E. and de Lara, J. (2006a). Attributed typed triple graph transformation with inheritance in the double pushout approach. Technical Report UC3M-TR-CS06-01, Universidad Carlos III (Madrid).
  8. Guerra, E. and de Lara, J. (2006b). Model view management with triple graph transformation systems. In ICGT'06, volume 4178 of LNCS, pages 351-366.
  9. Kochtanek, T. R. and Hein, K. K. (1999). Delphi study of digital libraries. Inf. Proc. Manag., 35(3):245-254.
  10. Licklider, J. C. R. (1965). Libraries of the Future. MIT Press, Cambridge, Mass.
  11. Malizia, A., Guerra, E., and de Lara, J. (2006). Modeldriven development of digital libraries: Generating the user interface. In Proc. MDDAUI'06.
  12. Maly, K., Zubair, M., Anan, H., Tan, D., and Zhang, Y. (2000). Scalable digital libraries based on ncstrl/dienst. In ECDL, pages 168-179.
  13. Murata, T. (1989). Petri nets: Properties, analysis and applications. Proc. of the IEEE, 77(4):541-580.
  14. Reddy, R. and Wladawsky-Berger, I. (2001). Digital libraries: Universal access to human knowledge-a report to the president. In PITAC, Panel on DLs.
  15. Völter, M. and Stahl, T. (2006). Model-Driven Software Development. Willey.
  16. Wang, B. (1999). A hybrid system approach for supporting digital libraries. JDL, 2(2-3):91-110.
Download


Paper Citation


in Harvard Style

Guerra E., de Lara J. and Malizia A. (2007). MODEL DRIVEN DEVELOPMENT OF DIGITAL LIBRARIES - Validation, Analysis and Code Generation . In Proceedings of the Third International Conference on Web Information Systems and Technologies - Volume 2: WEBIST, ISBN 978-972-8865-78-8, pages 35-42. DOI: 10.5220/0001265900350042


in Bibtex Style

@conference{webist07,
author={Esther Guerra and Juan de Lara and Alessio Malizia},
title={MODEL DRIVEN DEVELOPMENT OF DIGITAL LIBRARIES - Validation, Analysis and Code Generation},
booktitle={Proceedings of the Third International Conference on Web Information Systems and Technologies - Volume 2: WEBIST,},
year={2007},
pages={35-42},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001265900350042},
isbn={978-972-8865-78-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Web Information Systems and Technologies - Volume 2: WEBIST,
TI - MODEL DRIVEN DEVELOPMENT OF DIGITAL LIBRARIES - Validation, Analysis and Code Generation
SN - 978-972-8865-78-8
AU - Guerra E.
AU - de Lara J.
AU - Malizia A.
PY - 2007
SP - 35
EP - 42
DO - 10.5220/0001265900350042