TY - GEN
T1 - Formally composing components in product line context
AU - Zhang, Tao
AU - Ma, Chunyan
AU - Jian, Wu
AU - Lei, Deng
PY - 2008
Y1 - 2008
N2 - 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.
AB - 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.
KW - π-calculus
KW - Components composition
KW - Software product line
KW - Variability
UR - http://www.scopus.com/inward/record.url?scp=64849086039&partnerID=8YFLogxK
U2 - 10.1109/ISISE.2008.88
DO - 10.1109/ISISE.2008.88
M3 - 会议稿件
AN - SCOPUS:64849086039
SN - 9780769534947
T3 - 2008 International Symposium on Information Science and Engineering, ISISE 2008
SP - 271
EP - 275
BT - 2008 International Symposium on Information Science and Engineering, ISISE 2008
T2 - 2008 International Symposium on Information Science and Engineering, ISISE 2008
Y2 - 20 December 2008 through 22 December 2008
ER -