Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/44350
Full metadata record
DC FieldValueLanguage
dc.contributor.authorVarshosaz, Mahsa-
dc.contributor.authorMousavi, Mohammad Reza-
dc.date.accessioned2019-06-11T11:29:41Z-
dc.date.available2019-06-11T11:29:41Z-
dc.date.issued2019-01-11-
dc.identifier.citationLecture Notes in Computer Science LNCS, 2019, 11376 , pp. 490-503en
dc.identifier.isbn9783030108007-
dc.identifier.issn0302-9743-
dc.identifier.urihttps://link.springer.com/chapter/10.1007%2F978-3-030-10801-4_38en
dc.identifier.urihttp://hdl.handle.net/2381/44350-
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.language.isoenen
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. (http://www.rioxx.net/licenses/all-rights-reserved)en
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.identifier.doi10.1007/978-3-030-10801-4_38-
dc.identifier.eissn1611-3349-
dc.description.statusPeer-revieweden
dc.description.versionPost-printen
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/Organisationen
pubs.organisational-group/Organisation/COLLEGE OF SCIENCE AND ENGINEERINGen
pubs.organisational-group/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Informaticsen
dc.dateaccepted2018-10-18-
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.