Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Product Line Process Theory
University of Tehran, Tehran, Iran.
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS), Centre for Research on Embedded Systems (CERES).ORCID iD: 0000-0002-4869-6794
2016 (English)In: The Journal of logical and algebraic methods in programming, ISSN 2352-2208, E-ISSN 2352-2216, Vol. 85, no 1, part 2, 200-226 p.Article in journal (Refereed) Published
Abstract [en]

Software product lines (SPLs) facilitate reuse and customization in software development by genuinely addressing the concept of variability. Product Line Calculus of Communicating Systems (PL-CCS) is a process calculus for behavioral modeling of SPLs, in which variability can be explicitly modeled by a binary variant operator. In this paper, we study different notions of behavioral equivalence for PL-CCS, based on Park and Milner's strong bisimilarity. These notions enable reasoning about the behavior of SPLs at different levels of abstraction. We study the compositionality property of these notions and the mutual relationship among them. We further show how the strengths of these notions can be consolidated in an equational reasoning method. Finally, we designate the notions of behavioral equivalence that are characterized by the property specification language for PL-CCS, called multi-valued modal μ-calculus. © 2015 The Authors. Published by Elsevier Inc.

Place, publisher, year, edition, pages
Amsterdam: Elsevier, 2016. Vol. 85, no 1, part 2, 200-226 p.
Keyword [en]
Software product line, Process theory, Product line bisimulation, Strict strong bisimulation, mu-Calculus, Axiomatization
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:hh:diva-30174DOI: 10.1016/j.jlamp.2015.09.008ISI: 000366786800006OAI: oai:DiVA.org:hh-30174DiVA: diva2:894430
Projects
Effective Model-Based Testing of Concurrent SystemsAUTO-CAAS
Funder
eLLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsSwedish Research Council, 621-2014-5057Knowledge Foundation, 20140312
Available from: 2016-01-15 Created: 2016-01-15 Last updated: 2017-11-30Bibliographically approved

Open Access in DiVA

fulltext(576 kB)74 downloads
File information
File name FULLTEXT01.pdfFile size 576 kBChecksum SHA-512
4a0fc0a8983432b95d2bae01aa5bcd8f32404c475e63964fb5050d0d2d2bf149ba19c12eea0da99db4b6daa8707ff3e701d89d1cfecbdbdece8823142a343595
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records BETA

Mousavi, Mohammad Reza

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
By organisation
Centre for Research on Embedded Systems (CERES)
In the same journal
The Journal of logical and algebraic methods in programming
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 74 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 159 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf