A foundation for behavioural conformance in software product line architectures

Software product lines or families represent an emerging paradigm that is enabling companies to engineer applications with similar functionality and user requirements more effectively. Behaviour modelling at the architecture level has the potential for supporting behaviour analysis of entire product...

Descripción completa

Guardado en:
Detalles Bibliográficos
Publicado: 2006
Materias:
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15959345_v2006_n_p39_Fischbein
http://hdl.handle.net/20.500.12110/paper_15959345_v2006_n_p39_Fischbein
Aporte de:
id paper:paper_15959345_v2006_n_p39_Fischbein
record_format dspace
spelling paper:paper_15959345_v2006_n_p39_Fischbein2023-06-08T16:24:55Z A foundation for behavioural conformance in software product line architectures Computational methods Computer software maintenance Semantics Software architecture Software testing User interfaces Behaviour modelling Software product line architectures Software packages Software product lines or families represent an emerging paradigm that is enabling companies to engineer applications with similar functionality and user requirements more effectively. Behaviour modelling at the architecture level has the potential for supporting behaviour analysis of entire product lines, as well as defining optional and variable behaviour for different products of a family. However, to do so rigorously, a well defined notion of behavioural conformance of a product to its product line must exist. In this paper we provide a discussion on the shortcomings of traditional behaviour modelling formalisms such as Labelled Transition Systems for characterising conformance and propose Modal Transition Systems as an alternative. We discuss existing semantics for such models, exposing their limitations and finally propose a novel semantics for Modal Transition Systems, branching semantics, that can provide the formal underpinning for a notion of behaviour conformance for software product line architectures. Copyright 2006 ACM. 2006 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15959345_v2006_n_p39_Fischbein http://hdl.handle.net/20.500.12110/paper_15959345_v2006_n_p39_Fischbein
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Computational methods
Computer software maintenance
Semantics
Software architecture
Software testing
User interfaces
Behaviour modelling
Software product line architectures
Software packages
spellingShingle Computational methods
Computer software maintenance
Semantics
Software architecture
Software testing
User interfaces
Behaviour modelling
Software product line architectures
Software packages
A foundation for behavioural conformance in software product line architectures
topic_facet Computational methods
Computer software maintenance
Semantics
Software architecture
Software testing
User interfaces
Behaviour modelling
Software product line architectures
Software packages
description Software product lines or families represent an emerging paradigm that is enabling companies to engineer applications with similar functionality and user requirements more effectively. Behaviour modelling at the architecture level has the potential for supporting behaviour analysis of entire product lines, as well as defining optional and variable behaviour for different products of a family. However, to do so rigorously, a well defined notion of behavioural conformance of a product to its product line must exist. In this paper we provide a discussion on the shortcomings of traditional behaviour modelling formalisms such as Labelled Transition Systems for characterising conformance and propose Modal Transition Systems as an alternative. We discuss existing semantics for such models, exposing their limitations and finally propose a novel semantics for Modal Transition Systems, branching semantics, that can provide the formal underpinning for a notion of behaviour conformance for software product line architectures. Copyright 2006 ACM.
title A foundation for behavioural conformance in software product line architectures
title_short A foundation for behavioural conformance in software product line architectures
title_full A foundation for behavioural conformance in software product line architectures
title_fullStr A foundation for behavioural conformance in software product line architectures
title_full_unstemmed A foundation for behavioural conformance in software product line architectures
title_sort foundation for behavioural conformance in software product line architectures
publishDate 2006
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15959345_v2006_n_p39_Fischbein
http://hdl.handle.net/20.500.12110/paper_15959345_v2006_n_p39_Fischbein
_version_ 1768543627258101760