Evaluating formal properties of feature diagram languages

Résultats de recherche: Contribution à un journal/une revueArticle

75 Downloads (Pure)

Résumé

Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as part of the feature-oriented domain analysis (FODA) method back in 1990. Since then, various extensions of FODA FDs were devised to compensate for purported ambiguity and lack of precision and expressiveness. Recently, the authors surveyed these notations and provided them with a generic formal syntax and semantics, called free feature diagrams (FFDs). The authors also started investigating the comparative semantics of FFD with respect to other recent formalisations of FD languages. Those results were targeted at improving the quality of FD languages and making the comparison between them more objective. The previous results are recalled in a self-contained, better illustrated and better motivated fashion. Most importantly, a general method is presented for comparative semantics of FDs grounded in Harel and Rumpe's guidelines for defining formal visual languages and in Krogstie et al.'s semiotic quality framework. This method being actually applicable to other visual languages, FDs are also used as a language (re)engineering exemplar throughout the paper. © 2008 The Institution of Engineering and Technology.
langue originaleAnglais
Pages (de - à)281-302
Nombre de pages22
journalIET Software Journal
Volume2
Numéro de publication3
Les DOIs
étatPublié - 1 janv. 2008

Empreinte digitale

Visual languages
Semantics
Semiotics
Modeling languages

Citer ceci

@article{d31162f4f1384a7ab02bd5f4cdf8285d,
title = "Evaluating formal properties of feature diagram languages",
abstract = "Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as part of the feature-oriented domain analysis (FODA) method back in 1990. Since then, various extensions of FODA FDs were devised to compensate for purported ambiguity and lack of precision and expressiveness. Recently, the authors surveyed these notations and provided them with a generic formal syntax and semantics, called free feature diagrams (FFDs). The authors also started investigating the comparative semantics of FFD with respect to other recent formalisations of FD languages. Those results were targeted at improving the quality of FD languages and making the comparison between them more objective. The previous results are recalled in a self-contained, better illustrated and better motivated fashion. Most importantly, a general method is presented for comparative semantics of FDs grounded in Harel and Rumpe's guidelines for defining formal visual languages and in Krogstie et al.'s semiotic quality framework. This method being actually applicable to other visual languages, FDs are also used as a language (re)engineering exemplar throughout the paper. {\circledC} 2008 The Institution of Engineering and Technology.",
author = "P. Heymans and P.-Y. Schobbens and J.-C. Trigaux and Y. Bontemps and Raimundas Matulevicius and A. Classen",
note = "Copyright 2008 Elsevier B.V., All rights reserved.",
year = "2008",
month = "1",
day = "1",
doi = "10.1049/iet-sen:20070055",
language = "English",
volume = "2",
pages = "281--302",
journal = "IET Software Journal",
issn = "1751-8806",
publisher = "Institution of Engineering and Technology",
number = "3",

}

Evaluating formal properties of feature diagram languages. / Heymans, P.; Schobbens, P.-Y.; Trigaux, J.-C.; Bontemps, Y.; Matulevicius, Raimundas; Classen, A.

Dans: IET Software Journal , Vol 2, Numéro 3, 01.01.2008, p. 281-302.

Résultats de recherche: Contribution à un journal/une revueArticle

TY - JOUR

T1 - Evaluating formal properties of feature diagram languages

AU - Heymans, P.

AU - Schobbens, P.-Y.

AU - Trigaux, J.-C.

AU - Bontemps, Y.

AU - Matulevicius, Raimundas

AU - Classen, A.

N1 - Copyright 2008 Elsevier B.V., All rights reserved.

PY - 2008/1/1

Y1 - 2008/1/1

N2 - Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as part of the feature-oriented domain analysis (FODA) method back in 1990. Since then, various extensions of FODA FDs were devised to compensate for purported ambiguity and lack of precision and expressiveness. Recently, the authors surveyed these notations and provided them with a generic formal syntax and semantics, called free feature diagrams (FFDs). The authors also started investigating the comparative semantics of FFD with respect to other recent formalisations of FD languages. Those results were targeted at improving the quality of FD languages and making the comparison between them more objective. The previous results are recalled in a self-contained, better illustrated and better motivated fashion. Most importantly, a general method is presented for comparative semantics of FDs grounded in Harel and Rumpe's guidelines for defining formal visual languages and in Krogstie et al.'s semiotic quality framework. This method being actually applicable to other visual languages, FDs are also used as a language (re)engineering exemplar throughout the paper. © 2008 The Institution of Engineering and Technology.

AB - Feature diagrams (FDs) are a family of popular modelling languages, mainly used for managing variability in software product lines. FDs were first introduced by Kang et al. as part of the feature-oriented domain analysis (FODA) method back in 1990. Since then, various extensions of FODA FDs were devised to compensate for purported ambiguity and lack of precision and expressiveness. Recently, the authors surveyed these notations and provided them with a generic formal syntax and semantics, called free feature diagrams (FFDs). The authors also started investigating the comparative semantics of FFD with respect to other recent formalisations of FD languages. Those results were targeted at improving the quality of FD languages and making the comparison between them more objective. The previous results are recalled in a self-contained, better illustrated and better motivated fashion. Most importantly, a general method is presented for comparative semantics of FDs grounded in Harel and Rumpe's guidelines for defining formal visual languages and in Krogstie et al.'s semiotic quality framework. This method being actually applicable to other visual languages, FDs are also used as a language (re)engineering exemplar throughout the paper. © 2008 The Institution of Engineering and Technology.

UR - http://www.scopus.com/inward/record.url?scp=45849133761&partnerID=8YFLogxK

U2 - 10.1049/iet-sen:20070055

DO - 10.1049/iet-sen:20070055

M3 - Article

VL - 2

SP - 281

EP - 302

JO - IET Software Journal

JF - IET Software Journal

SN - 1751-8806

IS - 3

ER -