Modal transition system encoding of featured transition systems

DOI10.1016/j.jlamp.2019.03.003zbMath1423.68113OpenAlexW2924803411WikidataQ128198749 ScholiaQ128198749MaRDI QIDQ2423766

Yanyan Li

Publication date: 20 June 2019

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2381/43831

zbMATH Keywords

modelingexpressive powermodal transition systemsproduct linesfeatured transition systems

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Coherent modal transition systems refinement

Uses Software

• Sat4j
• Motras
• VMC
• MIO Workbench
• MSTA

Cites Work

• Unnamed Item
• Unnamed Item
• Multi-valued model checking games
• Comparing disjunctive modal transition systems with an one-selecting variant
• Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems
• On Refinements of Boolean and Parametric Modal Transition Systems
• Parametric Modal Transition Systems
• MoTraS: A Tool for Modal Transition Systems and Their Extensions
• Modal I/O Automata for Interface and Product Line Theories
• Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints