mousavi-sofsem-2019.pdf (655.79 kB)
Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems
conference contribution
posted on 2019-06-11, 11:29 authored by Mahsa Varshosaz, Mohammad Reza MousaviProduct 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.
History
Citation
Lecture Notes in Computer Science LNCS, 2019, 11376 , pp. 490-503Author affiliation
/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of InformaticsSource
International Conference on Current Trends in Theory and Practice of Informatics SOFSEM 2019: SOFSEM 2019: Theory and Practice of Computer ScienceVersion
- AM (Accepted Manuscript)