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

Detalhes bibliográficos
Autor(a) principal: Lukovic, Ivan
Data de Publicação: 2011
Outros Autores: Pereira, Maria João, Oliveira, Nuno, Cruz, Daniela, Henriques, Pedro Rangel
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10198/6100
Resumo: 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ório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 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ório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-21T10:15:23Zoai:bibliotecadigital.ipb.pt:10198/6100Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T22:58:11.266369Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
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ório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799135200773406720