Faithful Modeling of Product Lines with Kripke Structures and Modal Logic

DOI10.7561/SACS.2016.1.69MaRDI QIDQ4621201zbMATH OpenOpenAlexFDO

Authors Zinovy Diskin, Aliakbar Safilian, Tim Maibaum, Shoham Ben-David

Publication date 8 February 2019

Published in Scientific Annals of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.7561/sacs.2016.1.69

zbMATH Keywords

software product linesfeature modelsfaithful semanticspartial product CTLpartial product Kripke structurespartial product lines

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Recommendations

• Modeling product lines with Kripke structures and modal logic
• On the Products of Linear Modal Logics
• Kripke models for linear logic
• scientific article; zbMATH DE number 2090099
• Models for relevant modal logics
• scientific article; zbMATH DE number 4114591
• Modal logics for knowledge representation systems
• scientific article; zbMATH DE number 176123
• Structuring logic programs: a modal approach

Cited in

(6)

• On logical and extensional characterizations of attributed feature models
• A theoretical framework for cardinality-based feature models: the semantics and computational aspects
• scientific article; zbMATH DE number 2090099 (Why is no real title available?)
• Approach of feature dependency modeling for software product line
• Modeling product lines with Kripke structures and modal logic
• On the benefits of knowledge compilation for feature-model analyses

This page was built for publication: Faithful Modeling of Product Lines with Kripke Structures and Modal Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621201)