%0 Conference Paper
%B 9th International Symposium on Formal Methods for Components and Objects - FMCO
%D 2010
%T Variability Modelling in the ABS Language
%A Dave Clarke
%A Radu Muschevici
%A José Proença
%A Ina Schaefer
%A Rudolf Schlatte
%C Graz, Austria
%P 204–224
%R 10.1007/978-3-642-25271-6_11
%X <p>The HATS project aims at developing a model-centric methodology for the design, implementation and verification of highly configurable systems, such as software product lines, centred around the Abstract Behavioural Specification (ABS) modelling Language. This article describes the variability modelling features of the ABS Modelling  framework. It consists of four languages, namely, TVL for describing feature models at a high level of abstraction, the Delta Modelling Language DML for describing variability of the ‘code’ base in terms of delta modules, the Product Line Configuration Language CL for linking feature models and delta modules together and the Product Selection Language PSL for describing a specific product to extract from a product line. Both formal semantics and examples of each language are presented.</p>
%8 December
%> https://haslab.uminho.pt/sites/default/files/joseproenca/files/main_1.pdf