检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]西北工业大学计算机学院,陕西西安710072
出 处:《西北工业大学学报》2006年第1期59-62,共4页Journal of Northwestern Polytechnical University
摘 要:设计了一种产品线体系结构描述语言VARIAB ILITY-ENAB LED A RCH ITECTURE D ESCRIPTIONLANGUAGE(VADL)。该语言采用变化组件和组件变化性接口,分别描述体系结构级和组件级变化性;支持组件层次组装,特别是提供变化点动态绑定、守护条件约束等组件变化性组装技术;具有基于扩展Π演算的行为语义模型,可描述行为语义变化性以及运行态变化性;通过体系结构实例,实现对产品线体系结构的定制和复用。Existing architecture description languages for specifying product line architecture, such as Koala and xADL2.0, still suffer, in our opinion, from too much limitation. We now present vADL as a better description language to do away with much of the limitation. Koala and xADL2.0 can only model part of the variability of product line architecture, vADL can, in our opinion, model almost completely variability of product line architecture. Its capability to extend support for variability is shown in the following three respects: (1) vADL extends framework of traditional ADL for systematic and multi-level description of variability of product line architecture; the variable component is used to model variability on architecture level, and variability interface of component is used to model variability on component level; (2) vADL supports layered component composition in a way that is more efficient than the support afforded by Koala and xADL2.0; (3) vADL has a formal, well-founded semantics based on the extended π-calculus, so it can be used for specifying static and dynamic architecture.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.144.237.87