QQ客服 官方微博 反馈留言

	A BDD-based approach to verifying clone-enabled feature models' constraints and customization
	Zhang, Wei ; Yan, Hua ; Zhao, Haiyan ; Jin, Zhi
	2008
英文摘要	In this paper, we present a kind of semantics for constraints in clone-enabled feature models, which resolves the problem of what kinds of constraint should be added to a feature model after some features are cloned. The semantics is composed of two patterns: the generating pattern and the adapting pattern, to address the two problems of what kind of constraints should be imposed on a clonable feature and its clones, and how an existing constraint should be transformed in the context that features involved in the constraint are cloned, respectively. After that, we propose a BDD-based approach to verifying clone-enabled feature models, an approach that makes efficient use of the BDD (binary decision diagram) data structures, by considering the specific characteristics of feature models' verification. Experiments show that this BDD-based approach is more efficient and can verify more complex feature models than our previous method. ? 2008 Springer-Verlag Berlin Heidelberg.; EI; 0
语种	英语
DOI标识	10.1007/978-3-540-68073-4_18
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/294489]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Zhang, Wei,Yan, Hua,Zhao, Haiyan,et al. A BDD-based approach to verifying clone-enabled feature models' constraints and customization. 2008-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。