Variability modelling in the ABS language

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2011

Autores

Clarke, D (Autor) Outra; Muschevici, R (Autor) Outra; Proenca, J (Autor) Outra; Schaefer, I (Autor) Outra; Schlatte, R (Autor) Outra

Ata de Conferência Internacional

Título: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Páginas: 204-224

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

Graz, 29 November 2010 through 1 December 2010

Indexação

Scopus - 40 Citações

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica