Our extensive industrial collaboration enables us to do research with immediate application to software development practices in realistic settings.
Our paper "Clafer: Unifying Class and Feature Modeling" published online in Software and Systems Modeling (SOSYM)
by Michal Antkiewicz on December 12, 2014
UPDATE: Available on the publishers website.
The paper presents formal semantics of Clafer. It precisely explains how a single modeling construct (clafer) can play roles of features, feature groups, classes, attributes, references, associations, and association classes. The paper also explains inheritance, specialization, extension, and redefinition. The semantics is presented in a structure preserving way, that is, the shape of the model is preserved in its semantics, rather than being flattened into a multitude of FOL formulas.
