A Novel Approach using Alloy in Domain-specific Language Engineering

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2015

Autores

Moreira, RMLM (Autor) Outra; Paiva, ACR (Autor) FEUP

Ata de Conferência Internacional

Título: MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT

Páginas: 157-164

3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD)

Angers, FRANCE, FEB 09-11, 2015

Indexação

ISI Proceedings

ISI Web of Knowledge - 2 Citações

ISI Web of Science

Scopus - 3 Citações

INSPEC

Classificação Científica

CORDIS: Ciências Tecnológicas > Engenharia > Engenharia de computadores

Projetos Associados

PTDC/EIA-EIA/119479/2010 - Teste de interfaces gráficas com o utilizador baseado em padrões

Outras Informações

ID Authenticus: P-00G-G0W

DOI: 10.5220/0005228101570164

Abstract (EN): Modeling and building software systems for a given specific domain is a complex task. Domain-Specific Languages (DSLs) have been increasingly gaining attention because they are developed to cope with particularities of specific domains. However, DSL development consists in a set of tasks to be performed and some can be error-prone. Identifying the correct set of elements within a DSL and their constraints can be very demanding. Alloy is a popular lightweight intuitive formal language with a simple notation that is easy to read and write. When models of a DSL are specified using Alloy, it becomes possible to generate instances that should represent valid models. So, this paper presents a generic innovative methodology using Alloy in DSL engineering, in order to find and tune language constraints in a systematic way. It also presents an empirical study illustrating the applicability of the proposed methodology.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 8