CaVa: Virtual Learning Spaces Formal Specification (Short Paper)

Authors Ricardo Giuliani Martini , Pedro Rangel Henriques

Thumbnail PDF


  • Filesize: 0.96 MB
  • 10 pages

Document Identifiers

Author Details

Ricardo Giuliani Martini
  • Centro Algoritmi / Departamento de Informática, Universidade do Minho, Campus de Gualtar, Braga, Portugal
Pedro Rangel Henriques
  • Centro Algoritmi / Departamento. de Informática, Universidade do Minho, Campus de Gualtar, Braga, Portugal

Cite AsGet BibTex

Ricardo Giuliani Martini and Pedro Rangel Henriques. CaVa: Virtual Learning Spaces Formal Specification (Short Paper). In 7th Symposium on Languages, Applications and Technologies (SLATE 2018). Open Access Series in Informatics (OASIcs), Volume 62, pp. 10:1-10:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


In the context of Cultural Heritage, memory institutions build exhibition rooms to expose their assets and disseminate knowledge through these learning spaces. CaVa project aims at facilitating the process of learning spaces construction on the web to implement virtual museums. This paper presents CaVa^DSL, an external Domain-Specific Language (DSL) designed to specify virtual Learning Spaces enabling their automatic generation. To introduce CaVa^DSL language, the paper runs a case study, Museu Virtual Interativo da Fotografia (MVIF), presenting the specification for the museum's exhibiting rooms and their final layout. The process that analyzes and transforms the formal specification into the virtual Learning Spaces is briefly described to present the core engine of CaVa platform.

Subject Classification

ACM Subject Classification
  • Software and its engineering → Domain specific languages
  • domain-specific languages
  • formal specification
  • context free grammars
  • virtual museums
  • virtual learning spaces


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Janna Quitney Anderson. Challenges and Opportunities: The Future of the Internet. Cambria Press, 2010. Google Scholar
  2. Ricardo G. Martini, Cristiana Araújo, Pedro Rangel Henriques, and Maria João Varanda Pereira. CaVa: an example of the automatic generation of virtual learning spaces. In Trends and Advances in Information Systems and Technologies, volume 1, pages 633-643. Springer, 2018. Google Scholar
  3. Ricardo Giuliani Martini. Formal Description and Automatic Generation of Learning Spaces based on Ontologies. PhD thesis, University of Minho, 2018. (to be discussed). Google Scholar
  4. Ricardo Giuliani Martini and Pedro Rangel Henriques. Automatic generation of virtual learning spaces driven by CaVa^DSL: An experience report. AMC SIGPLAN Notices, 52(12):233-245, 2017. URL:
  5. Ricardo Giuliani Martini, Giovani Rubert Librelotto, and Pedro Rangel Henriques. Formal description and automatic generation of learning spaces based on ontologies. Procedia Computer Science, 96:235-244, 2016. URL:
  6. Melbourne declaration on educational goals for young australians, 2008. Ministerial Council for Education, Early Childhood Development and Youth Affairs. URL:
  7. Terence Parr. The Definitive ANTLR 4 Reference. Pragmatic Bookshelf, 2nd edition, 2013. Google Scholar
  8. Ricardo Brisólla Ravanello. Narrativa para bens culturais: tecnologias e aplicabilidades da fotografia digital expandida em museus virtuais. PhD thesis, Universidade do Minho, 2018. Google Scholar