Variability modelling in the ABS language

• Type: Article in International Conference Proceedings Book
• Date: 2011

Authors

Clarke, D (Author) Other; Muschevici, R (Author) Other; Proenca, J (Author) Other; Schaefer, I (Author) Other; Schlatte, R (Author) Other

Conference proceedings International

Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Pages: 204-224

9th International Symposium on Formal Methods for Components and Objects, FMCO 2010

Graz, 29 November 2010 through 1 December 2010

Indexing

Scopus - 40 Citations

Other information

Authenticus ID: P-00A-ADG

DOI: 10.1007/978-3-642-25271-6_11

Abstract (EN): 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. © 2011 Springer-Verlag Berlin Heidelberg.

Language: English

Type (Professor's evaluation): Scientific