Lukovic, IvanPereira, Maria JoãoOliveira, NunoCruz, DanielaHenriques, Pedro Rangel2011-09-012011-09-012011Lukovic, Ivan; Pereira, Maria João; Oliveira, Nuno; Cruz, Daniela; Henriques, Pedro (2011). A DSL for PIM specifications: design and attribute grammar based implementation. Computer Science and Information Systems - Special Issue on Advances in Formal Languages, Modeling and Applications. Volume 8, Issue 2http://hdl.handle.net/10198/6100IIS*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 VisualLISAengInformation system modelingModel-driven approachesDomain specific languagesDomain specific modelingAttribute grammarsjournal article10.2298/CSIS101229018L