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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anderson, K.M., Andersen, A., Wadhwani, N., Bartolo, L.M.: Metis: Lightweight, flexible, and web-based workflow services for digital libraries. In: JCDL, pp. 98–109 (2003)
Castelli, D., Meghini, C., Pagano, P.: Foundations of a multidimensional query language for digital libraries. In: Agosti, M., Thanos, C. (eds.) ECDL 2002. LNCS, vol. 2458, Springer, Heidelberg (2002)
de Lara, J., Guerra, E., Vangheluwe, H.: Metamodelling, graph transformation and model checking for the analysis of hybrid systems. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 292–298. Springer, Heidelberg (2004)
Dushay, N.: Using structural metadata to localize experience of digital content. CoRR, cs/0112017 (2001)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)
Gonçalves, M.A., Fox, E.A., Watson, L.T., Kipp, N.A.: Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries. ACM Trans. Inf. Syst. 22(2), 270–312 (2004)
Guerra, E., de Lara, J.: Attributed typed triple graph transformation with inheritance in the double pushout approach. In: Technical Report UC3M-TR-CS-06-01, Universidad Carlos III de Madrid (2006)
Guerra, E., de Lara, J.: Model view management with triple graph transformation systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 351–366. Springer, Heidelberg (2006)
Kochtanek, T.R., Hein, K.K.: Delphi study of digital libraries. Inf. Proc. Manag. 35(3), 245–254 (1999)
Licklider, J.C.R.: Libraries of the Future. MIT Press, Cambridge (1965)
Malizia, A., Guerra, E., de Lara, J.: Model-driven development of digital libraries: Generating the user interface. In: Proc. MDDAUI 2006 (2006)
Maly, K., Zubair, M., Anan, H., Tan, D., Zhang, Y.: Scalable Digital Libraries Based on NCSTRL/Dienst. In: Borbinha, J.L., Baker, T. (eds.) ECDL 2000. LNCS, vol. 1923, Springer, Heidelberg (2000)
Murata, T.: Petri nets: Properties, analysis and applications. Proc. of the IEEE 77(4), 541–580 (1989)
Reddy, R., Wladawsky-Berger, I.: Digital libraries: Universal access to human knowledgea report to the president. In: PITAC, Panel on DLs (2001)
Völter, M., Stahl, T.: Model-Driven Software Development. Willey (2006)
Wang, B.: A hybrid system approach for supporting digital libraries. JDL 2(2-3), 91–110 (1999)
XDoclet home page, http://xdoclet.sourceforge.net/xdoclet/index.html
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guerra, E., de Lara, J., Malizia, A. (2008). Model Driven Formal Development of Digital Libraries. In: Filipe, J., Cordeiro, J. (eds) Web Information Systems and Technologies. WEBIST 2007. Lecture Notes in Business Information Processing, vol 8. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68262-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-68262-2_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68257-8
Online ISBN: 978-3-540-68262-2
eBook Packages: Computer ScienceComputer Science (R0)