A Novel Approach using Alloy in Domain-specific Language Engineering

Rodrigo M. L. M. Moreira, Ana C. R. Paiva

2015

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.

Paper Citation

in Harvard Style

M. L. M. Moreira R. and C. R. Paiva A. (2015). A Novel Approach using Alloy in Domain-specific Language Engineering . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 157-164. DOI: 10.5220/0005228101570164

in Bibtex Style

@conference{modelsward15,
author={Rodrigo M. L. M. Moreira and Ana C. R. Paiva},
title={A Novel Approach using Alloy in Domain-specific Language Engineering},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={157-164},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005228101570164},
isbn={978-989-758-083-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - A Novel Approach using Alloy in Domain-specific Language Engineering
SN - 978-989-758-083-3
AU - M. L. M. Moreira R.
AU - C. R. Paiva A.
PY - 2015
SP - 157
EP - 164
DO - 10.5220/0005228101570164