Verifying feature-based model templates against well-formedness OCL constraints

TitleVerifying feature-based model templates against well-formedness OCL constraints
Publication TypeConference Paper
Year of Publication2006
AuthorsCzarnecki, K., and K. Pietroszek
Conference Name5th international conference on Generative programming and component engineering - GPCE '06
PublisherACM Press
Conference LocationPortland, Oregon, USA
ISBN Number1595932372

Feature-based model templates have been recently proposed as a
approach for modeling software product lines. Unfortunately, templates
are notoriously prone to errors that may go unnoticed for long time.
This is because such an error is usually exhibited for some
configurations only, and testing all configurations is typically not
feasible in practice. In this paper, we present an automated
verification procedure for ensuring that no ill-structured template
instance will be generated from a correct configuration. We present
the formal underpinnings of our proposed approach, analyze its
complexity, and demonstrate its practical feasibility through a
prototype implementation.

Refereed DesignationRefereed
gpce06.pdf273.13 KB