Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorVarshosaz, Mahsa-
dc.contributor.authorMousavi, Mohammad Reza-
dc.identifier.citationLecture Notes in Computer Science LNCS, 2019, 11376 , pp. 490-503en
dc.description.abstractProduct 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.en
dc.publisherSpringer Verlag (Germany)en
dc.relation.ispartofseriesLecture Notes in Computer Science book series (LNCS);11376-
dc.rightsCopyright © 2019, Springer Verlag (Germany). Deposited with reference to the publisher’s open access archiving policy. (
dc.subjectProduct line calculus of communicating systems (PL-CCS)en
dc.subjectModal transition system (MTSs)en
dc.subject-selecting modal transition system (1MTS)en
dc.subjectComparative expressivenessen
dc.titleComparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systemsen
dc.typeConference Paperen
dc.description.presentedInternational Conference on Current Trends in Theory and Practice of Informatics SOFSEM 2019: SOFSEM 2019: Theory and Practice of Computer Scienceen
pubs.organisational-group/Organisation/COLLEGE OF SCIENCE AND ENGINEERINGen
pubs.organisational-group/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Informaticsen
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
mousavi-sofsem-2019.pdfPost-review (final submitted author manuscript)655.79 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.