On the Ontological Expressiveness of the High-Level Constraint Language for Product Line Specification

Villota, Angela; Mazo, Raúl; Salinesi, Camille

doi:10.1007/978-3-030-01042-3_4

Cited by 1 publication

(2 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This evaluation will measure the language's expressiveness from two different points of view. First, we will conduct a new ontological analysis to verify that this new proposal solves the issues reported in our previous work [27]. We are aware that the fact inclusion/exclusion relations can be represented by more than one language construct produces construct redundancy, which is one of the defects in conceptual modeling languages.…”

Section: What Is Next For Hlvl?mentioning

confidence: 95%

“…(2) The language's high-level of abstraction impacts its clarity because several elements in the ontology are represented by the same language construct. A broader description of this analysis and its results are available in [27]. More particularly, the conceptualization included languages that (1) have been transformed to logic or constraint programming to automate analysis tasks; and (2) their semantics is formally defined, and were included in other conceptualization studies.…”

Section: Designing Hlvl Following An Ontological Approachmentioning

confidence: 99%

See 1 more Smart Citation

The High-Level Variability Language

Villota

Mazo

Salinesi

2019

Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B

Self Cite

View full text Add to dashboard Cite

Given its relevance, there is an extensive body of research for modeling variability in diverse domains. Regretfully, the community still faces issues and challenges to port or share variability models among tools and methodological approaches. There are researchers, for instance, implementing the same algorithms and analyses again because they use a specific modeling language and cannot use some existing tool. This paper introduces the High-Level Variability Language (HLVL), an expressive and extensible textual language that can be used as a modeling and an intermediate language for variability. HLVL was designed following an ontological approach, i.e., by defining their elements considering the meaning of the concepts existing on different variability languages. Our proposal not only provides a unified language based on a comprehensive analysis of the existing ones but also sets foundations to build tools that support different notations and their combination. CCS CONCEPTS• Software and its engineering → Domain specific languages; Software product lines.

show abstract

Section: What Is Next For Hlvl?mentioning

confidence: 95%

Section: Designing Hlvl Following An Ontological Approachmentioning

confidence: 99%