Abstract
Domain specific languages (DSLs) ease the adoption of formal specification in industry. They allow developers to describe their specification models in concepts of their domain.
However, DSLs evolve over time, causing specification models to have to co-evolve to reflect the evolution in the DSL. The maintenance overhead introduced by these, often manual, changes to specification models threatens to overshadow the advantages of DSL usage in industry. To this extent, many approaches have been proposed in the literature to facilitate DSL maintenance by automating model co-changes.
In this paper, we evaluate the ability of a tool, Edapt, to support the change and co-change in twenty-two industrial DSLs and corresponding specification models over a maintenance period of four years. We observe that the tool is only able to automatically co-change specification models for 72% of the DSL changes. To address the remaining 28% of the changes, we extend Edapt. The resulting extension allows automatically co-changing specification models for 98% of the DSL changes.
However, DSLs evolve over time, causing specification models to have to co-evolve to reflect the evolution in the DSL. The maintenance overhead introduced by these, often manual, changes to specification models threatens to overshadow the advantages of DSL usage in industry. To this extent, many approaches have been proposed in the literature to facilitate DSL maintenance by automating model co-changes.
In this paper, we evaluate the ability of a tool, Edapt, to support the change and co-change in twenty-two industrial DSLs and corresponding specification models over a maintenance period of four years. We observe that the tool is only able to automatically co-change specification models for 72% of the DSL changes. To address the remaining 28% of the changes, we extend Edapt. The resulting extension allows automatically co-changing specification models for 98% of the DSL changes.
| Translated title of the contribution | Onderhoud van formele specificatie modellen in de industry met gebruik van Edapt |
|---|---|
| Original language | English |
| Title of host publication | 2016 Forum on specification and Design Languages (FDL), 14-16 September, 2016, Bremen, Germany |
| Number of pages | 6 |
| DOIs | |
| Publication status | Published - 2016 |
| Event | 2016 Forum on specification and Design Languages (FDL 2016) - Universitaet Bremen, Bremen, Germany Duration: 14 Sept 2016 → 16 Sept 2016 https://ecsi.org/fdl |
Conference
| Conference | 2016 Forum on specification and Design Languages (FDL 2016) |
|---|---|
| Abbreviated title | FDL 2016 |
| Country/Territory | Germany |
| City | Bremen |
| Period | 14/09/16 → 16/09/16 |
| Internet address |