A DSL for PIM specifications: design and attribute grammar based implementation
Autor(a) principal: | |
---|---|
Data de Publicação: | 2011 |
Outros Autores: | , , , |
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 |