DOI:10.2298/CSIS101229018L

A DSL for PIM Specifications: Design and Attribute Grammar based Implementation

Ivan Luković1, Maria João Varanda Pereira2, Nuno Oliveira3, Daniela da Cruz3 and Pedro Rangel Henriques3

  1. University of Novi Sad, Faculty of Technical Sciences
    Trg Dositeja Obradovića 6, 21000 Novi Sad, Serbia
    ivan@uns.ac.rs
  2. Polytechnic Institute of Bragança, Escola Superior de Tecnologia e Gestão
    Campus de Santa Apolónia - Apartado 1134 5301-857 Bragança, Portugal
    mjoao@ipb.pt
  3. Universisty of Minho, Department of Computer Science
    Campus de Gualtar - 4710-057 Braga, Portugal
    {nunooliveira, danieladacruz, prh}@di.uminho.pt

Abstract

IIS*Case is a model driven software tool that provides information system modeling and prototype generation. It comprises visual and repository based tools for creating various platform independent model (PIM) specifications that are latter transformed into the other, platform specific specifications, and finally to executable programs. Apart from having PIMs stored as repository definitions, we need to have their equivalent representation in the form of a domain specific language. One of the main reasons for this is to allow for checking the formal correctness of PIMs being created. In the paper, we present such a meta-language, named IIS*CDesLang. IIS*CDesLang is specified by an attribute grammar (AG), created under a visual programming environment for AG specifications, named VisualLISA.

Key words

information system modeling, model-driven approaches, domain specific languages, domain specific modelling, attribute grammars

Digital Object Identifier (DOI)

https://doi.org/10.2298/CSIS101229018L

Publication information

Volume 8, Issue 2 (May 2011)
Advances in Formal Languages, Modeling and Applications
Year of Publication: 2011
ISSN: 2406-1018 (Online)
Publisher: ComSIS Consortium

Full text

DownloadAvailable in PDF
Portable Document Format

How to cite

Luković, I., Pereira, M. J. V., Oliveira, N., Cruz, D. d., Henriques, P. R.: A DSL for PIM Specifications: Design and Attribute Grammar based Implementation. Computer Science and Information Systems, Vol. 8, No. 2, 379-403. (2011), https://doi.org/10.2298/CSIS101229018L