hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Product Line Process Theory
University of Tehran, Tehran, Iran.
Högskolan i Halmstad, Akademin för informationsteknologi, Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).ORCID-id: 0000-0002-4869-6794
2016 (engelsk)Inngår i: The Journal of logical and algebraic methods in programming, ISSN 2352-2208, E-ISSN 2352-2216, Vol. 85, nr 1, part 2, s. 200-226Artikkel i tidsskrift (Fagfellevurdert) 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.

sted, utgiver, år, opplag, sider
Amsterdam: Elsevier, 2016. Vol. 85, nr 1, part 2, s. 200-226
Emneord [en]
Software product line, Process theory, Product line bisimulation, Strict strong bisimulation, mu-Calculus, Axiomatization
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-30174DOI: 10.1016/j.jlamp.2015.09.008ISI: 000366786800006Scopus ID: 2-s2.0-84961859496OAI: oai:DiVA.org:hh-30174DiVA, id: diva2:894430
Prosjekter
Effective Model-Based Testing of Concurrent SystemsAUTO-CAAS
Forskningsfinansiär
ELLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsSwedish Research Council, 621-2014-5057Knowledge Foundation, 20140312Tilgjengelig fra: 2016-01-15 Laget: 2016-01-15 Sist oppdatert: 2018-01-10bibliografisk kontrollert

Open Access i DiVA

fulltext(576 kB)141 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 576 kBChecksum SHA-512
4a0fc0a8983432b95d2bae01aa5bcd8f32404c475e63964fb5050d0d2d2bf149ba19c12eea0da99db4b6daa8707ff3e701d89d1cfecbdbdece8823142a343595
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza
Av organisasjonen
I samme tidsskrift
The Journal of logical and algebraic methods in programming

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 141 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 299 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf