Variability modelling in the ABS language

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 model...

Full description

Bibliographic Details
Main Authors: Clarke, Dave, Muschevici, Radu, Proença, José, Schaefer, Ina, Schlatte, Rudolf
Format: Conference Object
Language:English
Published: Springer 2010
Subjects:
DML
Online Access:http://hdl.handle.net/1822/34995
id ftunivminho:oai:repositorium.sdum.uminho.pt:1822/34995
record_format openpolar
spelling ftunivminho:oai:repositorium.sdum.uminho.pt:1822/34995 2023-05-15T16:01:46+02:00 Variability modelling in the ABS language Clarke, Dave Muschevici, Radu Proença, José Schaefer, Ina Schlatte, Rudolf 2010 application/pdf http://hdl.handle.net/1822/34995 eng eng Springer http://hdl.handle.net/1822/34995 info:eu-repo/semantics/openAccess info:eu-repo/semantics/conferencePaper 2010 ftunivminho 2022-03-20T08:18:28Z 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 ... Conference Object DML Universidade of Minho: RepositóriUM
institution Open Polar
collection Universidade of Minho: RepositóriUM
op_collection_id ftunivminho
language English
description 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 ...
format Conference Object
author Clarke, Dave
Muschevici, Radu
Proença, José
Schaefer, Ina
Schlatte, Rudolf
spellingShingle Clarke, Dave
Muschevici, Radu
Proença, José
Schaefer, Ina
Schlatte, Rudolf
Variability modelling in the ABS language
author_facet Clarke, Dave
Muschevici, Radu
Proença, José
Schaefer, Ina
Schlatte, Rudolf
author_sort Clarke, Dave
title Variability modelling in the ABS language
title_short Variability modelling in the ABS language
title_full Variability modelling in the ABS language
title_fullStr Variability modelling in the ABS language
title_full_unstemmed Variability modelling in the ABS language
title_sort variability modelling in the abs language
publisher Springer
publishDate 2010
url http://hdl.handle.net/1822/34995
genre DML
genre_facet DML
op_relation http://hdl.handle.net/1822/34995
op_rights info:eu-repo/semantics/openAccess
_version_ 1766397501421649920

Similar Items