mousavi-sofsem-2019.pdf (655.79 kB)
Download file

Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems

Download (655.79 kB)
conference contribution
posted on 11.06.2019, 11:29 by Mahsa Varshosaz, Mohammad Reza Mousavi
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.

History

Citation

Lecture Notes in Computer Science LNCS, 2019, 11376 , pp. 490-503

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Informatics

Source

International Conference on Current Trends in Theory and Practice of Informatics SOFSEM 2019: SOFSEM 2019: Theory and Practice of Computer Science

Version

AM (Accepted Manuscript)

Published in

Lecture Notes in Computer Science LNCS

Publisher

Springer Verlag (Germany)

issn

0302-9743

eissn

1611-3349

isbn

9783030108007

Acceptance date

18/10/2018

Copyright date

2019

Available date

11/06/2019

Publisher version

https://link.springer.com/chapter/10.1007/978-3-030-10801-4_38

Book series

Lecture Notes in Computer Science book series (LNCS);11376

Language

en