License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.SLATE.2018.10
URN: urn:nbn:de:0030-drops-92687
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/9268/
Go to the corresponding OASIcs Volume Portal

Martini, Ricardo Giuliani ; Henriques, Pedro Rangel

CaVa: Virtual Learning Spaces Formal Specification (Short Paper)

pdf-format:
OASIcs-SLATE-2018-10.pdf (1.0 MB)

Abstract

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.

BibTeX - Entry

@InProceedings{martini_et_al:OASIcs:2018:9268,
  author =	{Ricardo Giuliani Martini and Pedro Rangel Henriques},
  title =	{{CaVa: Virtual Learning Spaces Formal Specification (Short Paper)}},
  booktitle =	{7th Symposium on Languages, Applications and Technologies  (SLATE 2018)},
  pages =	{10:1--10:10},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-072-9},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{62},
  editor =	{Pedro Rangel Henriques and Jos{\'e} Paulo Leal and Ant{\'o}nio Menezes Leit{\~a}o and Xavier G{\'o}mez Guinovart},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/9268},
  URN =		{urn:nbn:de:0030-drops-92687},
  doi =		{10.4230/OASIcs.SLATE.2018.10},
  annote =	{Keywords: domain-specific languages, formal specification, context free grammars, virtual museums, virtual learning spaces}
}

Keywords: domain-specific languages, formal specification, context free grammars, virtual museums, virtual learning spaces
Collection: 7th Symposium on Languages, Applications and Technologies (SLATE 2018)
Issue Date: 2018
Date of publication: 13.07.2018

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI