Formally composing components in product line context

Tao Zhang, Chunyan Ma, Wu Jian, Deng Lei

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Components composition is core techniques of software product line, which can promote reuse of components. Variability exists in components and components composition in SPL context, which bring new challenges to tradition components composition techniques. vADL can formally describes SPL architectures, and also supports layered components compositions. The paper provides systemic methods for components compositions with vADL. Techniques of variability points binding, constrains assembly, guard condition restrict are presented in detail, which can assemble variability of components. Behavior assembly technique also be described, which utilize parallel combined mechanism of π-calculus. Variability in structure assembly, ports assembly and behavior assembly also is discussed. In order to sure correctness and consistency, some analysis methods for components composition also are provided.

Original languageEnglish
Title of host publication2008 International Symposium on Information Science and Engineering, ISISE 2008
Pages271-275
Number of pages5
DOIs
StatePublished - 2008
Event2008 International Symposium on Information Science and Engineering, ISISE 2008 - Shanghai, China
Duration: 20 Dec 200822 Dec 2008

Publication series

Name2008 International Symposium on Information Science and Engineering, ISISE 2008
Volume1

Conference

Conference2008 International Symposium on Information Science and Engineering, ISISE 2008
Country/TerritoryChina
CityShanghai
Period20/12/0822/12/08

Keywords

  • π-calculus
  • Components composition
  • Software product line
  • Variability

Fingerprint

Dive into the research topics of 'Formally composing components in product line context'. Together they form a unique fingerprint.

Cite this