Formally composing components in product line context

Tao Zhang, Chunyan Ma, Wu Jian, Deng Lei

科研成果: 书/报告/会议事项章节会议稿件同行评审

摘要

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.

源语言英语
主期刊名2008 International Symposium on Information Science and Engineering, ISISE 2008
271-275
页数5
DOI
出版状态已出版 - 2008
活动2008 International Symposium on Information Science and Engineering, ISISE 2008 - Shanghai, 中国
期限: 20 12月 200822 12月 2008

出版系列

姓名2008 International Symposium on Information Science and Engineering, ISISE 2008
1

会议

会议2008 International Symposium on Information Science and Engineering, ISISE 2008
国家/地区中国
Shanghai
时期20/12/0822/12/08

指纹

探究 'Formally composing components in product line context' 的科研主题。它们共同构成独一无二的指纹。

引用此