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

faithful semanticsfeature modelspartial product CTLpartial product Kripke structurespartial product linessoftware product lines

Mathematics Subject Classification ID

Temporal logic (03B44) 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)

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)

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