Copenhagen Programming Language Seminar


Verifying Feature-Based Model Templates Against Well-Formedness OCL Constriants

Krzysztof Czarnecki,
ECE, University of Waterloo

Monday (!), January 16th, 14:00-15:00
IT University of Copenhagen, Rued Langgaards Vej 7, auditorium 4


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 usually is exhibited for some configurations only, and testing all configurations is usually not feasible in practice. We present an automated verification procedure for ensuring that no ill-structured template instance will be generated from a valid configuration. We present the formal underpinnings of our proposed approach, analyze its complexity, and demonstrate its practical feasibility through a prototype implementation.

Scientific host: Andrzej Wasowski. Administrative host: Camilla Jensen. All are welcome.
The Copenhagen Programming Language Seminar (COPLAS) is a collaboration between DIKU, ITU and KVL.
COPLAS is sponsored by FIRST Graduate School.
To receive information about COPLAS talks by email, send a message to prog-lang-request@mail.it-c.dk with the word 'subscribe' as subject or in the body.

For more information about COPLAS, see http://www.coplas.org