Abstract:A system product line (PL) often has a large number of reusable and configurable requirements, which in practice are organized hierarchically based on the architecture of the PL. However, the current literature lacks approaches that can help practitioners to systematically and automatically develop structured and configuration-ready PL requirements repositories. In the context of product line engineering and model-based engineering, automatic requirements structuring can benefit from models. Such a structured PL requirements repository can greatly facilitate the development of product-specific requirements repository, the product configuration at the requirements level, and the smooth transition to downstream product configuration phases (e.g., at the architecture design phase). In this paper, we propose a methodology with tool support, named as Zen-ReqConfig, to tackle the above challenge. Zen-ReqConfig is built on existing model-based technologies, natural language processing, and similarity measure techniques. It automatically devises a hierarchical structure for a PL requirements repository, automatically identifies variabilities in textual requirements, and facilitates the configuration of products at the requirements level, based on two types of variability modeling techniques [i.e., cardinality-based feature modeling (CBFM) and a UML-based variability modeling methodology (named as SimPL)]. We evaluated Zen-ReqConfig with five case studies. Results show that Zen-ReqConfig can achieve a better performance based on the character-based similarity measure Jaro than the term-based similarity measure Jaccard. With Jaro, Zen-ReqConfig can allocate textual requirements with high precision and recall, both over 95% on average and identify variabilities in textual requirements with high precision (over 97% on average) and recall (over 94% on average). Zen-ReqConfig achieved very good time performance: with less than a second for generating a hierarchical structure and less than 2 s on average for allocating a requirement. When comparing SimPL and CBFM, no practically significant difference was observed, and they both performed well when integrated with Zen-ReqConfig.

RKB/PL: the persistence extension of C++

K-RAPID: A Formal Executable Semantics of the RAPID Robot Programming Language

Requirement Consistency and Integrity Verification Method based on Natural Language Processing

CRL/Pascal

Using Plib Ontology For Knowledge Sharing And Reuse In Cpc

Enabling Automated Requirements Reuse and Configuration

Parts Resource Reusable Modeling and Matching for Rapid Response Design

The Comprehensive Language Knowledge Base and Its Prospect

Kernel Language KLND

A Framework For Product Lifecycle Management System

Planning Process Families with a Knowledge-Based System

Design and Implementation of Dynamic Memory Management in a Reversible Object-Oriented Programming Language

iPLAR: Towards Interactive Programming with Parallel Linear Algebra in R.

KB-Plugin: A Plug-and-play Framework for Large Language Models to Induce Programs over Low-resourced Knowledge Bases

The LCG POOL Project, General Overview and Project Structure

Second-generation PLINK: rising to the challenge of larger and richer datasets

An Implicit Persistence Framework of Object/Relational Mapping

PLATO: Planning with LLMs and Affordances for Tool Manipulation

RPT: Effective and Efficient Retrieval of Program Translations from Big Code

A Flexible Part Library System

SCKE: Combining Logic- with Object-Oriented Paradigm.