A Novel Approach using Alloy in Domain-specific Language Engineering
A Novel Approach using Alloy in Domain-specific Language Engineering
dc.contributor.author | Moreira,RMLM | en |
dc.contributor.author | Ana Cristina Paiva | en |
dc.date.accessioned | 2017-12-26T14:44:36Z | |
dc.date.available | 2017-12-26T14:44:36Z | |
dc.date.issued | 2015 | en |
dc.description.abstract | 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. | en |
dc.identifier.uri | http://repositorio.inesctec.pt/handle/123456789/4948 | |
dc.identifier.uri | http://dx.doi.org/10.5220/0005228101570164 | en |
dc.language | eng | en |
dc.relation | 6073 | en |
dc.rights | info:eu-repo/semantics/embargoedAccess | en |
dc.title | A Novel Approach using Alloy in Domain-specific Language Engineering | en |
dc.type | conferenceObject | en |
dc.type | Publication | en |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- P-00G-G0W.pdf
- Size:
- 1015.64 KB
- Format:
- Adobe Portable Document Format
- Description: