In this paper, we present an automated verification procedure for ensuring that no ill-structured template instance will be generated from a correct ...

Oct 26, 2006 · Abstract. Feature-based model templates have been recently proposed as a approach for modeling software product lines. Unfortunately, tem-.

It is shown that the Object-Constraint Language (OCL) can adequately capture such constraints and a set of facilities based on constraint satisfaction that ...

We present the formal underpinnings of our proposed approach, analyze its complexity, and demonstrate its practical feasibility through a prototype ...

We propose a static analysis approach, based on two rules, to extract configuration constraints from code. We apply it on four highly configurable systems to ...

Krzysztof Czarnecki, Krzysztof Pietroszek : Verifying feature-based model templates against well-formedness OCL constraints. GPCE 2006: 211-220.

K. Czarnecki and K. Pietroszek, “Verifying Feature-Based Model Templates against Well-Formedness OCL Con-straints,” Proceedings of the 5th International ...

Verifying feature-based model templates against well-formedness OCL constraints. GPCE, 2006. GPCE 2006 · DBLP · Scholar · DOI. Full names. Links ISxN. @ ...

Thus, a verification procedure that can ensure the well- formedness of all template instances for all correct configurations against a set of OCL constraints ...

Oct 6, 2009 · In [8], Czarnecki and Pietroszek presented an ap- proach for verifying feature-based model templates against well-formedness OCL constraints.