Coherent modal transition systems refinement

• Published in: Journal of logical and algebraic methods in programming Vol. 138; p. 100954
• Main Authors: Basile, Davide, ter Beek, Maurice H., Fantechi, Alessandro, Gnesi, Stefania
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.04.2024

Modal Transition Systems (MTS) are a well-known formalism that extend Labelled Transition Systems (LTS) with the possibility of specifying necessary and permitted behaviour. Coherent MTS (CMTS) have been introduced to model Software Product Lines (SPL) based on a correspondence between the necessary...