Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | EUROMICO 2011 |
| Untertitel | Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications |
| Seiten | 116-123 |
| Seitenumfang | 8 |
| Publikationsstatus | Veröffentlicht - 3 Nov. 2011 |
| Extern publiziert | Ja |
| Veranstaltung | 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011 - Oulu, Finnland Dauer: 30 Aug. 2011 → 2 Sept. 2011 |
Abstract
Creating a valid software configuration often involves multiple configuration file types, such as feature models, domain-specific languages, or C header files with preprocessor defines. Enforcing constraints across file types boundaries already at configuration is necessary to prevent inconsistencies, which otherwise are costly to discover and resolve later on. We present a pragmatic framework to specify and apply inconsistency-resolving fixes on configuration files of arbitrary types. The framework converts each configuration file to a model, checks it for consistency, applies fixes, and serializes it back again. We argue that conventionally programmed fixes and round-trip mechanisms (i.e., converters and serializers) are indispensable for practical applicability and can provide sufficient reliability when following usual development practices. We have developed round-trip mechanisms for seven different configuration file types and two fixing mechanisms. One fixing mechanism extends previous work by combining automatic detection of correct fix locations with a marker mechanism that reduces the number of locations. A tool-supported process for applying the fixes provides user guidance and integrates additional semantic validity checks on serialized configuration files of complex types (e.g., feature models). Evaluations reveal a speed up in inconsistency fixing and that the performance of the currently integrated round-tripping and fixing mechanisms is competitive.
ASJC Scopus Sachgebiete
- Informatik (insg.)
- Angewandte Informatik
- Informatik (insg.)
- Software
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
EUROMICO 2011 : Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications. 2011. S. 116-123 6068333.
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
}
TY - GEN
T1 - Fixing Configuration Inconsistencies Across File Type Boundaries
AU - Elsner, Christoph
AU - Lohmann, Daniel
AU - Schröder-Preikschat, Wolfgang
PY - 2011/11/3
Y1 - 2011/11/3
N2 - Creating a valid software configuration often involves multiple configuration file types, such as feature models, domain-specific languages, or C header files with preprocessor defines. Enforcing constraints across file types boundaries already at configuration is necessary to prevent inconsistencies, which otherwise are costly to discover and resolve later on. We present a pragmatic framework to specify and apply inconsistency-resolving fixes on configuration files of arbitrary types. The framework converts each configuration file to a model, checks it for consistency, applies fixes, and serializes it back again. We argue that conventionally programmed fixes and round-trip mechanisms (i.e., converters and serializers) are indispensable for practical applicability and can provide sufficient reliability when following usual development practices. We have developed round-trip mechanisms for seven different configuration file types and two fixing mechanisms. One fixing mechanism extends previous work by combining automatic detection of correct fix locations with a marker mechanism that reduces the number of locations. A tool-supported process for applying the fixes provides user guidance and integrates additional semantic validity checks on serialized configuration files of complex types (e.g., feature models). Evaluations reveal a speed up in inconsistency fixing and that the performance of the currently integrated round-tripping and fixing mechanisms is competitive.
AB - Creating a valid software configuration often involves multiple configuration file types, such as feature models, domain-specific languages, or C header files with preprocessor defines. Enforcing constraints across file types boundaries already at configuration is necessary to prevent inconsistencies, which otherwise are costly to discover and resolve later on. We present a pragmatic framework to specify and apply inconsistency-resolving fixes on configuration files of arbitrary types. The framework converts each configuration file to a model, checks it for consistency, applies fixes, and serializes it back again. We argue that conventionally programmed fixes and round-trip mechanisms (i.e., converters and serializers) are indispensable for practical applicability and can provide sufficient reliability when following usual development practices. We have developed round-trip mechanisms for seven different configuration file types and two fixing mechanisms. One fixing mechanism extends previous work by combining automatic detection of correct fix locations with a marker mechanism that reduces the number of locations. A tool-supported process for applying the fixes provides user guidance and integrates additional semantic validity checks on serialized configuration files of complex types (e.g., feature models). Evaluations reveal a speed up in inconsistency fixing and that the performance of the currently integrated round-tripping and fixing mechanisms is competitive.
KW - Model Inconsistency Fixing
KW - Software Configuration
KW - Software Product Line
UR - http://www.scopus.com/inward/record.url?scp=82955237830&partnerID=8YFLogxK
U2 - 10.1109/SEAA.2011.26
DO - 10.1109/SEAA.2011.26
M3 - Conference contribution
AN - SCOPUS:82955237830
SN - 9780769544885
SP - 116
EP - 123
BT - EUROMICO 2011
T2 - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011
Y2 - 30 August 2011 through 2 September 2011
ER -