ExpRunA : a domain-specific approach for technology-oriented experiments
Autor: | Eneias Silva, Vander Alves, Sven Apel, Alessandro Ferreira Leite |
---|---|
Rok vydání: | 2019 |
Předmět: |
Domain-specific language
Thesaurus (information retrieval) Computer science Programming language business.industry Domain-specific modeling 020207 software engineering 02 engineering and technology computer.file_format computer.software_genre Automation Task (project management) Consistency (database systems) Modeling and Simulation 0202 electrical engineering electronic engineering information engineering Executable business computer Software Abstraction (linguistics) |
Zdroj: | Software and Systems Modeling. 19:493-526 |
ISSN: | 1619-1374 1619-1366 |
DOI: | 10.1007/s10270-019-00749-6 |
Popis: | Conducting technology-oriented experiments (i.e., experiments in which treatments are applied to objects by a computer-based tool) without proper tool support is often a time-consuming and highly error-prone task. Although many techniques have been proposed to help conducting controlled experiments, none of them simultaneously addresses (1) the executable specification of experiments at a high level of abstraction; (2) automated treatment execution and automated data analysis from the experiment specification; and (3) formal guaranties of the correctness of results according to an experiment specification for technology-oriented experiments. To address these issues, we provide a Domain-Specific Modeling approach to create a Web-based tool (ExpRunA ) comprising a Domain-Specific Language named ToExpDSL , execution and analysis script generators, a supporting framework, and a running infrastructure. An experimenter uses ToExpDSL to specify an experiment using experimentation concepts. From this specification, applications corresponding to the underlying treatments are executed, execution results are collected and analyzed, and, finally, the analysis results are presented to the experimenter. We establish the consistency of such results with respect to the experiment specification by formalizing and proving key correctness properties of ExpRunA . We empirically evaluated ExpRunA with respect to automation by replicating three already published experiments; we evaluated the level of abstraction by a qualitative assessment. Our empirical evaluation shows that ToExpDSL is expressive enough to specify three technology-oriented experiments and that ExpRunA can be used to enable sound automation of execution and analysis from the specification of technology-oriented experiments at a high level of abstraction. |
Databáze: | OpenAIRE |
Externí odkaz: |