Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/44350
Title: Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems
Authors: Varshosaz, Mahsa
Mousavi, Mohammad Reza
First Published: 11-Jan-2019
Presented at: International Conference on Current Trends in Theory and Practice of Informatics SOFSEM 2019: SOFSEM 2019: Theory and Practice of Computer Science
Publisher: Springer Verlag (Germany)
Citation: Lecture Notes in Computer Science LNCS, 2019, 11376 , pp. 490-503
Abstract: 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.
Series/Report no.: Lecture Notes in Computer Science book series (LNCS);11376
DOI Link: 10.1007/978-3-030-10801-4_38
ISSN: 0302-9743
ISBN: 9783030108007
eISSN: 1611-3349
Links: https://link.springer.com/chapter/10.1007%2F978-3-030-10801-4_38
http://hdl.handle.net/2381/44350
Version: Post-print
Status: Peer-reviewed
Type: Conference Paper
Rights: Copyright © 2019, Springer Verlag (Germany). Deposited with reference to the publisher’s open access archiving policy. (http://www.rioxx.net/licenses/all-rights-reserved)
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.