A Preliminary Comparison of Formal Properties on Orthogonal Variability Model and Feature Models.
Fabricia Carneiro Roos Frantz · 2009
Nowadays, Feature Models (FMs) are one of the most employed modelling language by managing variability in Software Product Lines (SPLs). Another proposed language also in order to managing variability in SPLs is the Orthogonal Variability Model (OVM). Currently, the differences between both languages, FMs and OVM, are not so clear. By considering that a formal language should have a well defined syntax and semantics, some authors had defined syntax and semantics of FMs explicitly. However, in in the definition of OVM, its semantic domain and semantic function are not well discussed. Without this clear definition, we could have a misinterpretation when using OVM diagrams. Our aim in this paper is to clarify and better explore the abstract syntax, the semantic domain and the semantic function of OVM, and to emphasize the differences between FMs and OVM concerning such aspects.