2381/44350 Mahsa Varshosaz Mahsa Varshosaz Mohammad Reza Mousavi Mohammad Reza Mousavi Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems University of Leicester 2019 Product line calculus of communicating systems (PL-CCS) Modal transition system (MTSs) -selecting modal transition system (1MTS) Comparative expressiveness 2019-06-11 11:29:41 Conference contribution https://figshare.le.ac.uk/articles/conference_contribution/Comparative_expressiveness_of_product_line_calculus_of_communicating_systems_and_1-selecting_modal_transition_systems/10240601 Product line calculus of communicating systems (PL-CCSs) is a process calculus proposed to model the behavior of software product lines. Modal transition systems (MTSs) are also used to model variability in behavioral models. MTSs are known to be strictly less expressive than PL-CCS. In this paper, we show that the extension of MTSs with hyper transitions by Fecher and Schmidt, called 1-selecting modal transition systems (1MTSs), closes this expressiveness gap. To this end, we propose a novel notion of refinement for 1MTSs that makes them more suitable for specifying variability for software product lines and prove its various essential properties.