Using alloy to support feature-based DSL construction for mining software repositories

Authors:
Changyun Huang;Yasutaka Kamei;Kazuhiro Yamashita;Naoyasu Ubayashi
Affiliations:
Kyushu University, Fukuoka, Japan;Kyushu University, Fukuoka, Japan;Kyushu University, Fukuoka, Japan;Kyushu University, Fukuoka, Japan
Venue:
Proceedings of the 17th International Software Product Line Conference co-located workshops
Year:
2013

Citing 6
Cited 0

Formal Semantics and Verification for Feature Modeling

ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
A survey and taxonomy of approaches for mining software repositories in the context of software evolution

Journal of Software Maintenance and Evolution: Research and Practice
Automated analysis of feature models 20 years later: A literature review

Information Systems
Using Pig as a data preparation language for large-scale mining software repositories studies: An experience report

Journal of Systems and Software
Reusing debugging knowledge via trace-based bug search

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Boa: a language and infrastructure for analyzing ultra-large-scale software repositories

Proceedings of the 2013 International Conference on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Mining Software Repositories (MSR) field reveals knowledge for software development by analyzing data stored in repositories such as source control and bug trace systems. In order to reveal the knowledge, MSR researchers need to perform complicated procedures iteratively. To help the complex work of MSR practitioners, we study the construction of domain specific languages (DSLs) for MSR. We have conducted feature-oriented domain analysis (FODA) on MSR and developed a DSL based on the feature model. In this paper, we expand our previous work and propose to construct not a single DSL but a DSL family. A DSL family consists of a series of DSLs with commonality in their domain but suitable to specific applications of MSR. To readily construct these DSLs, we use Alloy to encode the feature model. Our encoding includes not only the DSL features and their relations but also some composition rules that can be used to generate the syntax of DSLs. Based on this, we can automatically derive the language elements to construct DSLs suitable to specific purposes of MSR.