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.