A DSL for PIM specifications: design and attribute grammar based implementation

Bibliographic Details
Main Author: Lukovic, Ivan
Publication Date: 2011
Other Authors: Pereira, Maria João, Oliveira, Nuno, Cruz, Daniela, Henriques, Pedro Rangel
Format: Article
Language: eng
Source: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Download full: http://hdl.handle.net/10198/6100
Summary: 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
id RCAP_45b2d08b64259f0c57e4a02d6ecc0eb5
oai_identifier_str oai:bibliotecadigital.ipb.pt:10198/6100
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling A DSL for PIM specifications: design and attribute grammar based implementationInformation system modelingModel-driven approachesDomain specific languagesDomain specific modelingAttribute grammarsIIS*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 VisualLISAIvan Luković, Mirjana Ivanović and Maria João Varanda PereiraBiblioteca Digital do IPBLukovic, IvanPereira, Maria JoãoOliveira, NunoCruz, DanielaHenriques, Pedro Rangel2011-09-01T09:34:54Z20112011-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10198/6100engLukovic, 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 210.2298/CSIS101229018Linfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2025-02-25T11:58:24Zoai:bibliotecadigital.ipb.pt:10198/6100Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-28T11:21:19.477338Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv A DSL for PIM specifications: design and attribute grammar based implementation
title A DSL for PIM specifications: design and attribute grammar based implementation
spellingShingle A DSL for PIM specifications: design and attribute grammar based implementation
Lukovic, Ivan
Information system modeling
Model-driven approaches
Domain specific languages
Domain specific modeling
Attribute grammars
title_short A DSL for PIM specifications: design and attribute grammar based implementation
title_full A DSL for PIM specifications: design and attribute grammar based implementation
title_fullStr A DSL for PIM specifications: design and attribute grammar based implementation
title_full_unstemmed A DSL for PIM specifications: design and attribute grammar based implementation
title_sort A DSL for PIM specifications: design and attribute grammar based implementation
author Lukovic, Ivan
author_facet Lukovic, Ivan
Pereira, Maria João
Oliveira, Nuno
Cruz, Daniela
Henriques, Pedro Rangel
author_role author
author2 Pereira, Maria João
Oliveira, Nuno
Cruz, Daniela
Henriques, Pedro Rangel
author2_role author
author
author
author
dc.contributor.none.fl_str_mv Biblioteca Digital do IPB
dc.contributor.author.fl_str_mv Lukovic, Ivan
Pereira, Maria João
Oliveira, Nuno
Cruz, Daniela
Henriques, Pedro Rangel
dc.subject.por.fl_str_mv Information system modeling
Model-driven approaches
Domain specific languages
Domain specific modeling
Attribute grammars
topic Information system modeling
Model-driven approaches
Domain specific languages
Domain specific modeling
Attribute grammars
description 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
publishDate 2011
dc.date.none.fl_str_mv 2011-09-01T09:34:54Z
2011
2011-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10198/6100
url http://hdl.handle.net/10198/6100
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Lukovic, 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 2
10.2298/CSIS101229018L
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Ivan Luković, Mirjana Ivanović and Maria João Varanda Pereira
publisher.none.fl_str_mv Ivan Luković, Mirjana Ivanović and Maria João Varanda Pereira
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833591837423566848

Similar Items