特征模型驱动的软件开发方法及相关技术研究
|
摘要
计算机软硬件技术的不断发展开拓了人类文明新的前进步伐,极大地提高了整个社会的劳动生产力和自动化水平,软件产品及其生产技术和水平在实际应用中也得到了极大的发展。然而,随着应用范围的不断扩大及应用程度的不断深入,应用领域高度的复杂性也为软件生产的进一步发展带来了极强的阻滞作用。首先,领域内产品的多样性使得软件企业因为软件具体需求的不同而重新编写整个系统;其次,新的软件理论和技术的产生一方面加快了产品开发的质量和速度,另一方面却使得企业耦合于旧技术的前期投资失去其价值;最后,领域业务逻辑的演进也会导致在线软件产品价值的流失。为了解决这些软件生产中遇到的问题,出现了一系列新的理论和方法。领域驱动技术试图通过分析领域需求的通用性和可变性为全领域相似需求产品提供一致性的需求表示和组织方式,并通过对特征模型的配置选择具体产品的特定需求解决领域产品批量化生产的问题。模型驱动技术则瞄准系统表示,通过抽象系统层次,把面向代码的系统创建过程转变为面向模型的过程,将系统描述为不同层次、不同视角的模型,使得系统构建人员以更贴近于人的思维方式描绘系统并通过定义不同转换规则自动地将人的思维模式转换为不同的机器代码。由于系统模型更自然、更直观且与具体实现技术解耦,所以模型驱动技术的提出可以从根本上解决新的编程技术和平台以及领域业务逻辑的变更对既有投资造成的损失,以更经济的方式——模型的变更实现系统的演进。
本文结合领域驱动技术和模型驱动技术,对特征模型驱动的软件方法的设计和实现作了深入的研究,包括支持方法工具集的体系结构、方法应用的过程以及方法不同里程碑产生的软件制品。同时,为了支持方法的应用,本文还设计了特征模型的元模型,特征模型冲突检测算法,特征模型向模型构件及参考体系结构模型转换方法等。具体说来,本文的主要研究工作包括以下几个方面:
1、对特征模型驱动软件开发方法(FDSDM)的研究。保护软件产品投资的最好方式是软件制品的复用。通过吸收领域驱动技术的思想,FDSDM使用特征模型描述领域产品的共性和可变性,为领域产品提供一致的需求描述方式,并通过配置过程选择具体产品需求,形成单独产品需求模型,从而实现模型在不同需求间的复用;通过采用模型驱动的思想,将相对稳定的模型看做是第一类的软件制品,开发过程从代码编写转变为模型创建,屏蔽了实现技术和平台的不断变化导致的投资贬值,从而实现了模型在实现技术上的复用。详细地说,本文从整体上介绍了FDSDM的特点,给出了FDSDM工具集及其组织结构,描述了FDSDM定义的软件过程以及各软件过程里程碑产生的软件制品。
2、特征模型元模型的建立。为了准确无歧义地描述特征模型,方便不同层次、视角的系统模型的相互转换,本文基于OMG的MOF标准扩展出特征模型元模型。元模型形式化地给出了特征模型元素的抽象语法和具体语法,半形式化地给出了这些元素的语义。同时,形式化地定义了特征模型间导入和合并机制,给出了特征模型冲突检测算法,为特征模型的自动化操作奠定了基础。
3、特征模型与模型构件转换方法的研究。为了方便特征模型向模型构件的转换,引入了角色的概念,并通过角色的中介作用将CIM特征模型转换为PIM模型构件。转换过程依次进行特征操作化、角色分析模型建立和模型转换过程。特征操作化过程是根据对特征需求规约的分析将特征分解为面向计算的角色的过程,该过程通过人的参与以特征为单位将CIM转变为计算机可以识别的模型形式;角色分析模型同样以特征为单位进行角色交互的分析,建立角色间的关联,为模型构件的创建提供基础;转换过程使用特征-角色-构件映射算法,最终生成可复用的系统构件,完成CIM到PIM的变换。
4、特征模型向参考体系结构转换方法的研究。本文通过分析特征模型可变性与参考体系结构描述语言的关系,给出了参考体系结构描述可变性的层次和影响因子。并根据这些层次和因子给出了特征模型可变性向参考体系结构可变性转换的转换规则,给出了创建产品族体系结构模型的方法,从而实现了“大同构,小异构”产品族参考体系结构半自动化生成过程。
本文的创新之处主要体现在以下几个方面:
1、结合领域驱动技术和模型驱动技术提出了一种特征模型驱动的软件开发方法。为了实现软件开发过程的可控性,本文设计了一种特征模型驱动的软件开发方法FDSDM。FDSDM方法以特征模型作为系统开发的起点和系统族需求提取和表达方式,使用模型转换作为系统开发前进的驱动力,将不同阶段和视角的系统模型作为系统开发的里程碑,最终(半)自动化地产生最终产品。FDSDM方法充分利用领域驱动技术和模型驱动技术的理论和技术优势,使系统开发更大程度的符合人的思维模式而非计算机的表示,减少因思维转换而产生的歧义和错误;最大限度地减少人在开发过程的干预程度,实现软件开发工程化,从而提高了整个行业的生产效率以及产品质量。
2、定义了一种基于MOF的形式化特征模型元模型,并实现了特征模型自动化冲突检测算法。为了准确无歧义地描述特征模型,方便不同系统模型间的相互变换,我们基于标准MOF规范形式化地定义了特征模型元模型。形式化元模型从更高的抽象层次描述了特征模型概念,保证了模型的清晰与精确,消除了模型理解中可能存在的歧义,使得相关人员可以一致性地理解系统需求。同时,基于MOF的元模型描述方便了特征模型向其它遵守MDA规范的系统模型的横向与纵向转换,也使得特征模型可以利用其它基于MOF的模型转换引擎向其它系统模型进行模型转换,大大扩展了特征模型的应用范围。另外,特征模型自动化冲突检测算法的实现及特征模型导入合并机制的定义为特征模型及FDSDM方法实际应用于大规模、高复杂度的系统提供了坚实的基础,使得企业当前在线产品(族)能够得到有效地表示和融合,因而可以平稳地过渡企业当前开发过程,最大限度地保护企业既有资产的价值。
3、提出了一种从特征模型(计算无关模型)向模型构件(平台无关模型)的转换方法。目前模型转换领域的研究方向主要集中在PIM-PSM及PSM-代码间转换理论及规则定制上,对于如何实现系统需求(CIM)向系统模型(PIM)的转换却提之甚少。本文针对这种现状,结合FDSDM软件开发方法,提出了一种从产品族特征模型向模型构件的转换方法。该方法引入角色概念,并通过角色为中介者,利用特征-角色-构件模型算法将特征模型映射为模型构件,实现转换过程。在转换过程中,方法尽可能将人的活动限制在一个简单狭小的范围,最大限度地弥补人对复杂事物无法精确把握的缺陷,保证软件过程早期软件模型的正确性。本文提出的特征模型向模型构件的转换过程为CIM模型与PIM模型转换提供了一种可能的解决思路。
4、提出了一种从特征模型向产品族参考体系结构映射的模型变换规则。传统的软件体系结构描语言主要针对单一产品,很少有支持整个产品族的参考体系结构表示方法。为了解决产品族体系结构“大同构、小异构”的描述方法,本文分析了产品族特征模型可变性的来源和种类,将不同种类的特征模型可变性映射为体系结构概念中端口可变性和构件可变性两级,通过不同可变性的组合描述体系结构可变性。同时,针对不同的特征模型可变性给出了其产品族参考体系结构描述转换的规则,从而实现了特征模型向产品族参考体系结构描述的转换。
通过对开发方法和相关技术的研究,本文期望可以从思想和实践上为领域软件的开发寻找到一条经济、快捷的道路,有效解决领域复杂性与实现技术复杂性的高度耦合,提供软件产业的生产效率,实现软件生产的自动化,有效的保持和延长软件既有投资的价值。
The increasing development of hardware and software exploits a new direction of human civilization, with the extremely higher productivity and production automation level. At the same time, software and its development skill also gain a great achievement in the process of domain application as a reward. However, with the wider application extension and deeper investigation in various domains, the complexity of application domain becomes a main block in the progress of software production. First, the variety of domain business logics makes the system to entirely rewrite just for some different requirements; Secondly, on one hand, new invited software theories and technologies accelerate the development process with higher quality in an easier way, but on the other hand, they also make the prior investment which couples with outdated technologies lose its value; Lastly, the evolution of domain business logic also results in the natural loss of online software production value. To solve these problems, a lot of theories and methods, such as domain-driven technology and model-driven technology representatively, are presented. Domain Driven technology analyzes domain requirements, try to organize and represent the common and variable requirements in a consistent way and select the specific requirements through feature model configuration, hoping to solve the generation of product family. Model Driven Technology aims at system representations; it describes system as models with different abstraction levels and perspectives, so the related persons can use these models to describe the system in more human-central way other than computer-central way. Once these system models constructed, they can be transformed to more detailed and platform-oriented models or executable code through various transformation rules. Model Driven Theory can technologically solve the problem of invested asset loss caused by the new invented programming technique, as the result of decouple of business logic and realization-oriented details.
On the basis of the main idea of domain-driven technology and model-driven technology, this thesis presents a new methodology called Feature Model Driven Software Development Methodology (FDSDM) in details, with the description of the architecture of FDSDM tool set, the process of FDSDM and various software artifacts generated in the milestone of FDSDM process. In order to support the application of FDSDM, this thesis also defines MOF-based metamodel of feature model, designs the algorithm of feature model conflict detection and gives the method to transform the feature model (CIM) to model component and reference architecture (PIMs). In details, the main research contents in the thesis are listed as follows:
1. Research on Feature Model Driven Software Development Methodology. Software artifact reuse is the best way to maintain the invested asset value. By adopting the core ideas of Domain Driven Technology, FDSDM represents the common and variable requirements in a consistent way called feature model and the concrete system requirement is selected through the configuration of feature model, which realize the reuse of model among different products. By absorbing the benefits of Model Driven Technology, FDSDM treats the steady model as first-class artifact and changes the traditional programming-central software process to model-central, which shield the asset depreciation caused by new platforms or techniques, which maximize the reuse of model and investment. In details, the thesis introduces the architecture of FDSDM tool set, describes the process and artifacts of FDSDM, which gives a general description of FDSDM.
2. Research on the Meta-model of Feature Model. In order to describe the feature model in a consistent way and facilitate transformation between different models, this thesis define the meta-model of feature model based on OMG’s MOF standard. The meta-model describes the abstract and concrete syntax in a formal way and the semantics in a semi-formal way. At the meanwhile, this thesis introduces the import and merging mechanism of the feature model and realizes the algorithm of feature model conflict detection, which founds the basis of feature model automated operation.
3. Research on transformation method from feature model to model component. To facilitate the transformation from feature model to model component, the thesis introduces the concept of role, and then uses it as an intermediary to complete the transformation process from CIM to PIM. Transformation process performs the feature operationalization, role analysis model construction and feature-role-component algorithm in turn. Feature operationalization is the process to decompose the requirement-specific features into computation-oriented roles. Role analysis model make feature as a unit to analyze the interaction between roles and build the relationships among the roles. The feature-role-component algorithm finally transforms the feature to model component and constructs the reusable model component, realizing the transformation from CIM to PIM.
4. Research on reference architecture transformation method. The thesis analyzes the relationship between the feature model variability and reference architecture description language, gives levels and affects factors of reference architecture variability description, according which the rule of feature model to reference architecture transformation is presented, and also describes a method to construct product family reference architecture in general, which semi-automates the architecture construction.
The creative points in the thesis include:
1. Present a feature model driven software development methodology combining domain driven technology and model driven technology. The FDSDM begins with domain analysis, using feature model to represent and organize the common and variable requirements of domain product family consistently; Driven by model transformation, system milestone models in different process stage and perspective are converted to more detailed model or executable code, which realize system (semi-)automated generation. FDSDM takes the advantages of domain driven and model driven technologies, making the development process more human-central other than computer-central , which reduces the error coming from thought transformation , minimizes the human affection in development and realizes the engineering of software industry.
2. Define the meta-model of feature model in a formal way and realize the algorithm of automated feature model conflict detection. In order to support FDSDM effectively and efficiently, this thesis design the meta model of feature model based on OMG’s MOF standard, define its abstract and concrete syntax in a formal way, the meta model based on MOF facilitate the horizontal and vertical transformation from feature model to other models conformed to MDA specification, and also make it possible to transform feature model to models on the basis of other standard using MOF-based transformation engine. In addition, the introduction of conflict detection algorithm and feature model import and merge mechanism make it easier for FDSDM to apply to real large-scaled project and protect the asset value.
3. Present a method to transform the feature model to model component. the present model transformation research are mainly focus on the rules from PIM to PSM or PSM to executable code, there is little on how to transform the system requirements(CIM) to system model(PIM). The thesis presents a new method, which introduces role as an intermediary. The method performs feature operationalization, role model analysis and transformation algorithm in turn to accomplish the goal of semi-automated component generation. The presentation of method gives a potential way for CIM-to-PIM transformation, hoping to attract more attention to this research area.
4. Present the rules of feature model to reference architecture transformation. Traditional ADL (Architecture Description Language) describes only one single product, which lack of the ability to describe the whole product family. To solve the consistent description of reference architecture, the thesis analyzes the source and type of feature model variability, maps the variability to port variability and component variability in architecture description, and describes the reference architecture by combining these variabilities. The thesis also gives the rules to transform different kinds of feature model variable points to reference architecture variable points, which realize the corresponding model transformation.
By the research on FDSDM and related technologies, this thesis hopes to find a economic way in software development ideologically and practically to solve the couple of complexity between domain logic and technology, increase the productivity and automation level of software industry and maintain the invested asset value.
本文结合领域驱动技术和模型驱动技术,对特征模型驱动的软件方法的设计和实现作了深入的研究,包括支持方法工具集的体系结构、方法应用的过程以及方法不同里程碑产生的软件制品。同时,为了支持方法的应用,本文还设计了特征模型的元模型,特征模型冲突检测算法,特征模型向模型构件及参考体系结构模型转换方法等。具体说来,本文的主要研究工作包括以下几个方面:
1、对特征模型驱动软件开发方法(FDSDM)的研究。保护软件产品投资的最好方式是软件制品的复用。通过吸收领域驱动技术的思想,FDSDM使用特征模型描述领域产品的共性和可变性,为领域产品提供一致的需求描述方式,并通过配置过程选择具体产品需求,形成单独产品需求模型,从而实现模型在不同需求间的复用;通过采用模型驱动的思想,将相对稳定的模型看做是第一类的软件制品,开发过程从代码编写转变为模型创建,屏蔽了实现技术和平台的不断变化导致的投资贬值,从而实现了模型在实现技术上的复用。详细地说,本文从整体上介绍了FDSDM的特点,给出了FDSDM工具集及其组织结构,描述了FDSDM定义的软件过程以及各软件过程里程碑产生的软件制品。
2、特征模型元模型的建立。为了准确无歧义地描述特征模型,方便不同层次、视角的系统模型的相互转换,本文基于OMG的MOF标准扩展出特征模型元模型。元模型形式化地给出了特征模型元素的抽象语法和具体语法,半形式化地给出了这些元素的语义。同时,形式化地定义了特征模型间导入和合并机制,给出了特征模型冲突检测算法,为特征模型的自动化操作奠定了基础。
3、特征模型与模型构件转换方法的研究。为了方便特征模型向模型构件的转换,引入了角色的概念,并通过角色的中介作用将CIM特征模型转换为PIM模型构件。转换过程依次进行特征操作化、角色分析模型建立和模型转换过程。特征操作化过程是根据对特征需求规约的分析将特征分解为面向计算的角色的过程,该过程通过人的参与以特征为单位将CIM转变为计算机可以识别的模型形式;角色分析模型同样以特征为单位进行角色交互的分析,建立角色间的关联,为模型构件的创建提供基础;转换过程使用特征-角色-构件映射算法,最终生成可复用的系统构件,完成CIM到PIM的变换。
4、特征模型向参考体系结构转换方法的研究。本文通过分析特征模型可变性与参考体系结构描述语言的关系,给出了参考体系结构描述可变性的层次和影响因子。并根据这些层次和因子给出了特征模型可变性向参考体系结构可变性转换的转换规则,给出了创建产品族体系结构模型的方法,从而实现了“大同构,小异构”产品族参考体系结构半自动化生成过程。
本文的创新之处主要体现在以下几个方面:
1、结合领域驱动技术和模型驱动技术提出了一种特征模型驱动的软件开发方法。为了实现软件开发过程的可控性,本文设计了一种特征模型驱动的软件开发方法FDSDM。FDSDM方法以特征模型作为系统开发的起点和系统族需求提取和表达方式,使用模型转换作为系统开发前进的驱动力,将不同阶段和视角的系统模型作为系统开发的里程碑,最终(半)自动化地产生最终产品。FDSDM方法充分利用领域驱动技术和模型驱动技术的理论和技术优势,使系统开发更大程度的符合人的思维模式而非计算机的表示,减少因思维转换而产生的歧义和错误;最大限度地减少人在开发过程的干预程度,实现软件开发工程化,从而提高了整个行业的生产效率以及产品质量。
2、定义了一种基于MOF的形式化特征模型元模型,并实现了特征模型自动化冲突检测算法。为了准确无歧义地描述特征模型,方便不同系统模型间的相互变换,我们基于标准MOF规范形式化地定义了特征模型元模型。形式化元模型从更高的抽象层次描述了特征模型概念,保证了模型的清晰与精确,消除了模型理解中可能存在的歧义,使得相关人员可以一致性地理解系统需求。同时,基于MOF的元模型描述方便了特征模型向其它遵守MDA规范的系统模型的横向与纵向转换,也使得特征模型可以利用其它基于MOF的模型转换引擎向其它系统模型进行模型转换,大大扩展了特征模型的应用范围。另外,特征模型自动化冲突检测算法的实现及特征模型导入合并机制的定义为特征模型及FDSDM方法实际应用于大规模、高复杂度的系统提供了坚实的基础,使得企业当前在线产品(族)能够得到有效地表示和融合,因而可以平稳地过渡企业当前开发过程,最大限度地保护企业既有资产的价值。
3、提出了一种从特征模型(计算无关模型)向模型构件(平台无关模型)的转换方法。目前模型转换领域的研究方向主要集中在PIM-PSM及PSM-代码间转换理论及规则定制上,对于如何实现系统需求(CIM)向系统模型(PIM)的转换却提之甚少。本文针对这种现状,结合FDSDM软件开发方法,提出了一种从产品族特征模型向模型构件的转换方法。该方法引入角色概念,并通过角色为中介者,利用特征-角色-构件模型算法将特征模型映射为模型构件,实现转换过程。在转换过程中,方法尽可能将人的活动限制在一个简单狭小的范围,最大限度地弥补人对复杂事物无法精确把握的缺陷,保证软件过程早期软件模型的正确性。本文提出的特征模型向模型构件的转换过程为CIM模型与PIM模型转换提供了一种可能的解决思路。
4、提出了一种从特征模型向产品族参考体系结构映射的模型变换规则。传统的软件体系结构描语言主要针对单一产品,很少有支持整个产品族的参考体系结构表示方法。为了解决产品族体系结构“大同构、小异构”的描述方法,本文分析了产品族特征模型可变性的来源和种类,将不同种类的特征模型可变性映射为体系结构概念中端口可变性和构件可变性两级,通过不同可变性的组合描述体系结构可变性。同时,针对不同的特征模型可变性给出了其产品族参考体系结构描述转换的规则,从而实现了特征模型向产品族参考体系结构描述的转换。
通过对开发方法和相关技术的研究,本文期望可以从思想和实践上为领域软件的开发寻找到一条经济、快捷的道路,有效解决领域复杂性与实现技术复杂性的高度耦合,提供软件产业的生产效率,实现软件生产的自动化,有效的保持和延长软件既有投资的价值。
The increasing development of hardware and software exploits a new direction of human civilization, with the extremely higher productivity and production automation level. At the same time, software and its development skill also gain a great achievement in the process of domain application as a reward. However, with the wider application extension and deeper investigation in various domains, the complexity of application domain becomes a main block in the progress of software production. First, the variety of domain business logics makes the system to entirely rewrite just for some different requirements; Secondly, on one hand, new invited software theories and technologies accelerate the development process with higher quality in an easier way, but on the other hand, they also make the prior investment which couples with outdated technologies lose its value; Lastly, the evolution of domain business logic also results in the natural loss of online software production value. To solve these problems, a lot of theories and methods, such as domain-driven technology and model-driven technology representatively, are presented. Domain Driven technology analyzes domain requirements, try to organize and represent the common and variable requirements in a consistent way and select the specific requirements through feature model configuration, hoping to solve the generation of product family. Model Driven Technology aims at system representations; it describes system as models with different abstraction levels and perspectives, so the related persons can use these models to describe the system in more human-central way other than computer-central way. Once these system models constructed, they can be transformed to more detailed and platform-oriented models or executable code through various transformation rules. Model Driven Theory can technologically solve the problem of invested asset loss caused by the new invented programming technique, as the result of decouple of business logic and realization-oriented details.
On the basis of the main idea of domain-driven technology and model-driven technology, this thesis presents a new methodology called Feature Model Driven Software Development Methodology (FDSDM) in details, with the description of the architecture of FDSDM tool set, the process of FDSDM and various software artifacts generated in the milestone of FDSDM process. In order to support the application of FDSDM, this thesis also defines MOF-based metamodel of feature model, designs the algorithm of feature model conflict detection and gives the method to transform the feature model (CIM) to model component and reference architecture (PIMs). In details, the main research contents in the thesis are listed as follows:
1. Research on Feature Model Driven Software Development Methodology. Software artifact reuse is the best way to maintain the invested asset value. By adopting the core ideas of Domain Driven Technology, FDSDM represents the common and variable requirements in a consistent way called feature model and the concrete system requirement is selected through the configuration of feature model, which realize the reuse of model among different products. By absorbing the benefits of Model Driven Technology, FDSDM treats the steady model as first-class artifact and changes the traditional programming-central software process to model-central, which shield the asset depreciation caused by new platforms or techniques, which maximize the reuse of model and investment. In details, the thesis introduces the architecture of FDSDM tool set, describes the process and artifacts of FDSDM, which gives a general description of FDSDM.
2. Research on the Meta-model of Feature Model. In order to describe the feature model in a consistent way and facilitate transformation between different models, this thesis define the meta-model of feature model based on OMG’s MOF standard. The meta-model describes the abstract and concrete syntax in a formal way and the semantics in a semi-formal way. At the meanwhile, this thesis introduces the import and merging mechanism of the feature model and realizes the algorithm of feature model conflict detection, which founds the basis of feature model automated operation.
3. Research on transformation method from feature model to model component. To facilitate the transformation from feature model to model component, the thesis introduces the concept of role, and then uses it as an intermediary to complete the transformation process from CIM to PIM. Transformation process performs the feature operationalization, role analysis model construction and feature-role-component algorithm in turn. Feature operationalization is the process to decompose the requirement-specific features into computation-oriented roles. Role analysis model make feature as a unit to analyze the interaction between roles and build the relationships among the roles. The feature-role-component algorithm finally transforms the feature to model component and constructs the reusable model component, realizing the transformation from CIM to PIM.
4. Research on reference architecture transformation method. The thesis analyzes the relationship between the feature model variability and reference architecture description language, gives levels and affects factors of reference architecture variability description, according which the rule of feature model to reference architecture transformation is presented, and also describes a method to construct product family reference architecture in general, which semi-automates the architecture construction.
The creative points in the thesis include:
1. Present a feature model driven software development methodology combining domain driven technology and model driven technology. The FDSDM begins with domain analysis, using feature model to represent and organize the common and variable requirements of domain product family consistently; Driven by model transformation, system milestone models in different process stage and perspective are converted to more detailed model or executable code, which realize system (semi-)automated generation. FDSDM takes the advantages of domain driven and model driven technologies, making the development process more human-central other than computer-central , which reduces the error coming from thought transformation , minimizes the human affection in development and realizes the engineering of software industry.
2. Define the meta-model of feature model in a formal way and realize the algorithm of automated feature model conflict detection. In order to support FDSDM effectively and efficiently, this thesis design the meta model of feature model based on OMG’s MOF standard, define its abstract and concrete syntax in a formal way, the meta model based on MOF facilitate the horizontal and vertical transformation from feature model to other models conformed to MDA specification, and also make it possible to transform feature model to models on the basis of other standard using MOF-based transformation engine. In addition, the introduction of conflict detection algorithm and feature model import and merge mechanism make it easier for FDSDM to apply to real large-scaled project and protect the asset value.
3. Present a method to transform the feature model to model component. the present model transformation research are mainly focus on the rules from PIM to PSM or PSM to executable code, there is little on how to transform the system requirements(CIM) to system model(PIM). The thesis presents a new method, which introduces role as an intermediary. The method performs feature operationalization, role model analysis and transformation algorithm in turn to accomplish the goal of semi-automated component generation. The presentation of method gives a potential way for CIM-to-PIM transformation, hoping to attract more attention to this research area.
4. Present the rules of feature model to reference architecture transformation. Traditional ADL (Architecture Description Language) describes only one single product, which lack of the ability to describe the whole product family. To solve the consistent description of reference architecture, the thesis analyzes the source and type of feature model variability, maps the variability to port variability and component variability in architecture description, and describes the reference architecture by combining these variabilities. The thesis also gives the rules to transform different kinds of feature model variable points to reference architecture variable points, which realize the corresponding model transformation.
By the research on FDSDM and related technologies, this thesis hopes to find a economic way in software development ideologically and practically to solve the couple of complexity between domain logic and technology, increase the productivity and automation level of software industry and maintain the invested asset value.
引文
[1] P. Naur, B. Randell. Software engineering: Report of a conference sponsored by NATO Science Committee[R], 1969.
[2] Booch, G. Object-oriented design with applications [M]. Boston, MA: Addison-Wesley Book Express, 1991.
[3]普雷斯曼(美)著,软件工程实践者之路(第6版)(影印版)[M].北京:清华大学出版社, 2006.
[4] Cutter Consortium. Software Project Success and Failure[R]. http:// www.cutter.com/press/050824.html, 2005.
[5] Stanish Group. CHAOS Report 2009[R]. https://secure.standishgroup.com /reports/reports.php#reports, 1994-2009.
[6] Eric Evans. Domain-Driven Design_Tackling Complexity in the Heart of Software [M].New York: Addison-Wesley, 2004.
[7] Robert Krut, Nathan Zalman.Domain Analysis Workshop Report for the Automated Prompt Response System Domain[R]. CMU/SEI-96-001, May, 1996.
[8] Pohl, Klaus, Günther B?ckle, Frank van der Linden. Software Product Line Engineering: Foundations, Principles, and Techniques [M].Berlin: Springer-Verlag, 2005.
[9] Kang KC, Cohen SG, Hess JA, Novak WE, Peterson AS. Feature-oriented domain analysis (FODA) feasibility study [M]. Technical Report, CMU/SEI-90-TR-21, Pittsburgh: Carnegie Mellon University, 1990: 1-52.
[10] K Czarnecki, M AntKiewicz. Mapping features to models: a template approach based on superimposed variants [A]. In Proceedings of the Fourth International Conference on Generative Programming and Component Engineerin[C].Berlin: Springer-Verlag, 2005.422-437.
[11]保罗·克莱门茨(美)著.软件产品线:实践与模式(影印版)[M].北京:清华大学出版社,2003.
[12] H Gomaa, L Kerschberg, V Sugumaran, C Bosch, I Tavakoli. A Prototype Software Development Environment for Reusable Software Architectures[A]. In Proceedings of IEEE International Conference on Software Reuse[C]. Rio de Janeiro, Brazil, 1994.
[13] H Gomaa, R Fairley, L Kerschberg. Towards an Evolutionary Domain Life Cycle Model [A]. In Proceedings of Workshop on Domain Modeling for Software Engineering, OOPSLA'89[C].New Orleans, 1989.
[14] D.M.Weiss. Family-oriented abstraction, specification, and translation [A]. In Proceedings of The FAST Process, Keynote Talk at Computer Assurance Conference (COMPASS)[C].1996. http://www.bell-labs.com/ user/weiss/pubs/compass96.ps.
[15] K C Kang, S Kim, J Lee, K Kim, E Shin, M Hug. FORM: a feature-oriented reuse method with domain-specific reference architectures [J]. Annals of Software Engineering, 1998, 5: 143-168.
[16] Joachim Bayer, Oliver Flege, etc. PuLSE: a methodology to develop software product lines [A]. In Proceedings of the 1999 symposium on Software reusability [C]. Los Angeles: ACM, 1999.
[17]王千祥,吴琼,李克勤,杨芙清.一种面向对象的领域工程方法[J].软件学报, 2002, 13(10):1977-1984.
[18]彭鑫.基于本体_特征驱动的产品线开发方法[D].上海:复旦大学信息科学与工程学院. 2006.
[19]李玉琴.需求工程与软件产品线若干关键技术研究[D].上海:复旦大学信息科学与工程学院, 2007.
[20]刘奕明.基于体系结构、特征驱动的软件动态演化方法研究[D].上海:复旦大学信息科学与工程学院, 2008.
[21]李弈远.基于特征的软件产品线开发关键技术研究[D].杭州:浙江大学计算机科学与技术学院, 2007.
[22]曹晓夏.面向服务的软件需求建模与求精研究[D].上海:上海大学,2009.
[23]王晓华.软件特征模型与测试应用研究[D].成都:中国科学院光电研究所,2009.
[24] Object Management Group. MDA ? Specifications[S].http://www.omg.org/ mda/specs.htm# MDAGuide ,2010.
[25] Object Management Group. MDA guide, version 1.0.1, OMG/03-06-01[S].2003.
[26] Object Management Group. OMG Unified Modeling Language (OMG UML), Superstructure, version2.3[S]. http://www.omg.org/technology/ documents/ modeling_spec_catalog.htm#UML, 2010.
[27] Object Management Group. OMG Unified Modeling Language (OMG UML), Infrastrcture, version 2.3[S]. http://www.omg.org/technology/ documents/ modeling_spec_catalog.htm#UML, 2010.
[28] IBM. Rational Rose[S]. http://www-306.ibm.com/software/awdtools/ developer/rose/index.html, 2007.
[29] IBM. IBM Rational Software Architect[S]. http://www-306.ibm.com/ software/ awdtools/architect/swarchitect/index.html, 2007.
[30] Oracle. Enterprise Architect[S]. http://www.oracle.com/technetwork/ topics/ entarch/whatsnew/index.html, 2007.
[31]麻志毅,赵俊峰,孟祥文,张文娟.青鸟面向对象软件建模工具的研究与实现[J].软件学报, 2003. 14(1): 97-102.
[32] Object Management Group. Meta Object Facility (MOF) Core Specification, OMG Availiable Specification version 2.0, formal/06-01-01[S]. http:// www.omg.org/mof/,2006.
[33] Object Management Group.OMG's MetaObject Facility[S]. http:// www.omg.org/ mof/, 2010.
[34] Object Management Group. MOF 2.0/XMI Mapping, Version 2.1.1, OMG Available Specification, formal/2007-12-01[S]. http://www.omg.org/ spec/XMI/2.1.1/ PDF/index.htm, 2007.
[35] Object Management Group. Meta Object Facility (MOF) Query/View/ Transformation Specification, Final Adopted Specification, ptc/07- 07-07[S].http://www.omg.org/spec/QVT/1.1/Beta2/PDF, 2007.
[36] Frankel, D.S. Model Driven Architecture: Applying MDA to Enterprise Computing [M]. Hoboken: John Wiley & Sons, Inc, 2003.
[37] Anneke Kleppe, Jos Warmer, Win Bast.解析MDA[M].北京:北京邮电出版社,2003.
[38] MeatEdit Inc.Domain-Specific modeling with metaEdit+ 10 times faserthan UML[R].2005.
[39] Cook S. Domain-Specific modeling and model-driven architecture [J]. Frankel D, Parodi J, eds. Proc of the MDA Journal: Model Driven Architecture Straight from the Masters, chap.3. 2004.
[40] Ledeczi A, Bakay A, Maroti M, Volgsei P, Nordstrom G, Sprinkle J, Karsai G. Composing domain-specific design environments.[J]. IEEE Computer, 2001. 34(11): 44-51.
[41] Hruby P. Domain-driven development with ontologies and aspects [A]. In Proceedings of the Domain-Specific Modelong Workshop ate OOPSLA 2005[C]. 2005.
[42] Pohjonen R. MetaModeling made easy--MetaEdit+ (tool demonstration) [A]. In proceedings of the Generative Programming adn Component Engineering 4th Int'l Conf GPCE 200[C]. 2005: 442-446.
[43] Van Deursen A, Klint P. Little language: Little maintenance? [J]. Jouranl of Software Maintenance: Research and Practice, 1998. 10(2): 75-92.
[44] Tolvanen JP, Kelly S. Defining domain-specific modeling languages to automate product derivation: Collected experiences [A]. in Proceedings of Software Product Lines: the 9th int'l Conf. (SPLC2005)[C]. 2005: 198-209.
[45]刘辉,麻志毅,邵维忠.元建模技术研究[J].软件学报. 2008, 19(6): 1317-1327.
[46] Sorenson PG, Tremblay JP, McAllister AJ. The metaview system for many specification environments [J]. IEEE Computer, 1998, 5(2): 30-38.
[47] Ebert J, Sauttenbach R, Uhe I. Meta-CASE in practice: a case for KOGGE [A]. in proceedings of the 9th Int'l Conf. on Advanced Information System Engineering.[C]. Olive JAPA, Ed: Springer-Verlag, 1997:203-216.
[48] De Lara J, Vangheluwe H. Using AtoM3 as a meta-CASE tool [A]. In Proceedings of the 4th int'l Conf on Enterprise Information Systems (ICEIS2002) [C]. 2002: 642-649.
[49] Bichler L. Tool Support for generating implementations of MOF-basedmodeling language [A]. In proceedings of the domain-specific modeling workshop at OOPSLA 2003[C]. 2003.
[50] Costagliola G, Gravino C. Constructing meta-CASE workbenches by exploiting visual language generators [J]. IEEE Trans. on Software Engineering. 2006, 32(2): 156-175.
[51] Esser R, Janneck JW . A framwork for defining domain-specific visual language [A]. in proceedings of workshop on Domain Specific Visual Languages, Conjunction with ACM Conf. on Object-Oriented Programming, Systems, Languages and Aplications OOPSLA 2001[C]. 2001.
[52] De Lara J, Guerra E, Vangheluwe H. Meta-Modelling, graph transformation and model checking for the analysis of hybrid systems.[A]. In proceedings of the AGTIVE 2003[C]. 2003.
[53] Krzysztof Czarnecki, Simon Helsen. Classification of Model Transformation Approaches [A]. In Proceedings of the 2nd Workshop on Generative Techniques in the Context of MDA[C]. Anaheim, CA, 2003.
[54] Paul Boocock. The Jamda Project[S]. http://jamda.sourceforge.net/, 2003.
[55] Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf L?mmel, Andy Schürr, James F. Terwilliger. Bidirectional Transformations: A Cross-Discipline Perspective [A]. In Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations [C].Zurich, Switzerland: Springer-Verlag Berlin, Heidelberg 2009, 260 - 283.
[56] A. Rensink, R. Nederpel. Graph transformation semantics for a QVT language [A]. In proceedings of GT-VMT Workshop Collocated with ETAPS 2006[C]. Vienna, Austria, 2006.
[57] Frédéric Jouault, Ivan Kurtev. On the interoperability of model-to-model transformation languages [J]. Science of Computer Programming. 2007, 68(3): 114-137.
[58] Yu Sun, Jules White, Jeff Gray. Model Transformation by Demonstration [A]. In Proceedings of the 12th International Conference on Model DrivenEngineering Languages and Systems [C]. Berlin, Heidelberg: Springer-Verlag, 2009.712-726.
[59] Perdita Stevens. A Landscape of Bidirectional Model Transformations [A]. in proceedings of Generative and Transformational Techniques in Software Engineering II: International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers [C]. Berlin, Heidelberg: Springer-Verlag, 2007.408-424.
[60] Andreas Petter, Alexander Behring, Max Mühlh?user. Solving Constraints in Model Transformations [A]. In Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations [C]. Berlin, Heidelberg: Springer-Verlag, 2009. 132-147.
[61] Raphael Romeikat, Stephan Roser, Pascal Müllender, Bernhard Bauer. Translation of QVT Relations into QVT Operational Mappings [A]. In Proceedings of the 1st international conference on Theory and Practice of Model Transformations [C]. Berlin, Heidelberg: Springer-Verlag, 2008. 137-151.
[62] Greenyer Joel, Kindler Ekkart. Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars [A]. In Proceedings of the 10th MODELS Conference[C]. 2007.21-46.
[63] Rolf-Helge Pfeiffer, Andrzej W?sowski. An aspect-based traceability mechanism for domain specific languages [A]. In Proceedings of the 6th ECMFA Traceability Workshop [C]. New York: ACM Press, 2010, 47-52.
[64] T. Mens, P. Van Gorp, D. Varró, G. Karsai. Applying Model Transformation Taxonomy to Graph Transformation Technology [A]. In Proceedings of the International Workshop on Graph and Model Transformation[C]. 2005. 24-39.
[65] K. Ehrig, E. Guerra, J. de Lara, L. Lengyel, T. Levendovszky, U. Prange, G. Taentzer, D. Varró, S. Varró-Gyapay. Model Transformation by Graph Transformation: A Comparative Study [A]. In Proceedings of Model Transformations in Practice Workshop, MODELS Conference [C]. 2005.
[66]兰庆国,刘淑芬,张欣佳.可复用MOF元建模框架的研究[J].计算机应用研究. 2007, 01:94-96.
[67]王晓燕.基于模型驱动架构的软件开发方法与实现技术研究[D].长春:吉林大学计算机科学与技术学院,2008.
[68] Zhang Jun, Liu Shufen, Wu Fei, Peng Jun, Zheng Wanbo. Design of an Aspect-supported Generic Modeling Tool [A]. In Proceedings of the 2008 12th International Conference on Computer Supported Cooperative Work in Design, CSCWD[C]. 2008, 207-211.
[69] Zhang Jun, Liu Shufen. A Model Transformation Classification Method Used in QVT [A]. In Proceedings of 2008 IEEE International Symposium on IT in Medicine and Education, ITME[C]. 2008,464-468.
[70] Davis AM. The design of a family of application-oriented requirements languages [J]. IEEE Computer. 1982, 15(5): 21-28.
[71]刑岩,谷放,梅宏.特征模型驱动的Web Services组装方案及其工具支持[J].软件学报. 2007, 18(7): 1582-1591.
[72] F. Bachmann, M. Geodicke, J. Leite, R. Nord, K. Pohl,B. Ramesh, A. Vilbig. A meta-model for representing variability in product family development [A]. In proceedings of Software Product-family Engineering[C]. Berlin Heidelberg: Springer, 2004, 66-80.
[73] S. Trujullo. Feature oriented model driven product lines [D]. Basque: The University of the Basque Country, 2007.
[74] S. Trujullo, D.Batory, O.Diaz. Feature oriented model driven development: a case study: a case for portlets [A]. In Proceedings of the International conference on Software Engineering, ICSE2007[C]. 2007,44-53.
[75] Sergio Segura, David Benavides, Antonio Ruiz-Cort′es, Pablo Trinidad. Automated Merging of Feature Models using GraphTransformations [A]. In Proceedings of Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007[C]. Berlin Heidelberg: Springer, 2007, 489-505.
[76] Jules White, Douglas C. Schmidt, David Benavides, Pablo Trinidad,Antonio Ruiz Cortés. Automated Diagnosis of Product-Line Configuration Errors in Feature Models [A]. In Proceedings of Software Product Lines, 12th International Conference, SPLC 2008[C].Limerick, Ireland: IEEE Computer Society, 2008, 225-234.
[77] Pablo Trinidad, David Benavides, Amador Durán, Antonio Ruiz Cortés, Miguel Toro. Automated error analysis for the agilization of feature modeling [J]. Journal of Systems and Software, 2008, 81(6): 883-896.
[78] David Benavides, Sergio Segura, Antonio Ruiz Cortés. Automated analysis of feature models 20 years later: A literature review [J]. Inf. Syst. 2010, 35(6): 615-636.
[79] D. Benavides, S.Segura, P. Trinidad, A.Ruiz-Cortes. FAMA: Tooling a framework for the automated analysis of feature models [A]. in proceedings of Workshop on Variability Modeling of Software-intensive System, VAMOS2007[C]. Limerick, Ireland, 2007.
[80] K.Czarnecki, S. Helsen. Feature-based survey of model transformation approaches [J]. IBM Syst. Journal. 2006, 45(3): 621-645.
[81] N Guelfi, G perrouin. A flexible requirements analysis approach for software product lines [A]. In Proceedings of the 13th International Working Conference on Requirements Engineering: Foundation for Software Quality, LNCS-4542[C]. Norway: Springer-Verlag, 2007.
[82]王晓燕,刘淑芬,张俊.一种基于领域模型和构件组合的软件开发框架[J].电子学报. 2009, 37(3): 78-92.
[83]王忠杰,徐晓飞,战德臣.基于特征的构件模型及其规范化设计过程[J].软件学报. 2006, 17(1): 39-47.
[84]彭鑫,赵文耘,钱永乐.基于领域特征本体的构件语义描述和组装[J].电子学报. 2006, 34 (12A): 2473-2477.
[85] Pablo Trinidad, Antonio Ruiz Cortés, Joaquín Pe?a. Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines [A]. In Proceedings of Software Product Lines, 11th International Conference, SPLC 2007[C]. Kyoto, Japan: Kindai Kagaku Sha Co. Ltd., 2007, 51-56.
[86] D Muthing, C Atkinson. Model-driven product line architectures [A]. In Proceedings of the 2nd Software Product Line Conference (SPLC2) [C]: Berlin: Springer-Verlag, 2002, 110-129.
[87] ? Haugen, B M?ller-Pedersen, J Oldevik, A Solberg. An MDA-based framework for model-driven product derivation [A]. In Proceedings of the 8th IASTED International conference on Software Engineering and Applications[C]. ACTC Press,2004, 709-714.
[88] O Avila-García, A E García, E V S Rebull. Using software product lines to manage model families in model-driven engineering [A]. In Proceedings of the 22nd Annual ACM Symposium on Applied Computing - Model Transformation Track[C]. ACM Press, 2007, 1006-1010.
[89]张天,张岩,于笑丰,王林章,李宣东.基于MDA的设计模式建模与模型转换[J].软件学报. 2008, 19(9): 2203-2217.
[90]常志明,毛新军,王戟,齐治昌.多Agent系统中软构件的动态绑定机制及其操作语义[J].计算机研究与发展. 2007, 44(5):806-814.
[91]马晓星,余萍,陶先平,吕建.一种面向服务的动态协同架构及其支撑平台[J].计算机学报. 2005, 28(4):467-477.
[92]李长云,李赣生,何频捷.一种形式化的动态体系结构描述语言[J].软件学报. 2006, 17(6):1349-1359.
[93] Monica Pinto, Lidia Fuentes, Jose Maria Troya. A Dynamic Component and Aspect-Oriented Platform [J]. The Computer Journal. 2005, 48(4): 401-420.
[94]梅宏,申峻嵘.软件体系结构研究进展[J].软件学报. 2006. 17(6):1257-1275.
[95]孙昌爱,金茂忠,刘超.软件体系结构研究综述[J].软件学报. 2002, 13(7):1228-1237.
[96]丁湘陵.基于B方法的软件体系结构描述语言的精化研究[D].长沙:湖南师范大学,2006.
[97]王晓光,冯耀东,梅宏. ABC/ADL:一种基于XML的软件体系结构描述语言[J].计算机研究与发展. 2004, 41(9): 1521-1531.
[98]陆宁,尤晋元.一种移动代理应用系统的体系结构描述语言[J].计算机研究与发展. 2002, 39(8):1004-1011.
[99] Flavio Oquendo. Formally Modelling Software Architectures with the UML 2.0 Profile forπ-ADL [J]. Software Engineering Notes. 2006, 31(1).
[100] Marcos López-Sanz, César J. Acu?a, Valeria de Castro, Esperanza Marcos , Carlos E. Cuesta. Using an Architecture-Centric Model-Driven Approach for Developing Service-Oriented Solutions: A Case Study [A]. In proceedings of Confederated International Workshops and Posters, ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009[C]. Vilamoura, Portugal, 2009, 350-359.
[101] Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel. Modeling and enforcing invariants of dynamic software architectures [J]. Software and Systems Modeling. 2010,9: 1619-1366.
[102]刘冬云,梅宏.从需求到软件体系结构:一种面向特征的映射方法[J].北京大学学报(自然科学版). 2004, 40(03):372-378.
[103]于卫,杨万海,蔡希尧.软件体系结构的描述方法研究[J].计算机研究与发展. 2000,37(10):1185-1191.
[104]张家晨,冯铁,陈伟,金淳兆.基于主动连接件的软件体系结构及其描述方法[J].软件学报. 2000, 11(8):1047-1052.
[105]曹东刚,梅宏,曹建农.在中间件中支持用户自定义连接子[J].软件学报. 2005, 16(8):1378-1385.
[106]冯铁,张家晨,陈伟,金淳兆.基于框架和角色模型的软件体系结构规约[J].软件学报. 2000, 11(8):1078-1086.
[107]骆华俊,唐稚松,郑建丹.可视化体系结构描述语言XYZ/ADL[J].软件学报. 2000, 11(8):1024-1029.
[2] Booch, G. Object-oriented design with applications [M]. Boston, MA: Addison-Wesley Book Express, 1991.
[3]普雷斯曼(美)著,软件工程实践者之路(第6版)(影印版)[M].北京:清华大学出版社, 2006.
[4] Cutter Consortium. Software Project Success and Failure[R]. http:// www.cutter.com/press/050824.html, 2005.
[5] Stanish Group. CHAOS Report 2009[R]. https://secure.standishgroup.com /reports/reports.php#reports, 1994-2009.
[6] Eric Evans. Domain-Driven Design_Tackling Complexity in the Heart of Software [M].New York: Addison-Wesley, 2004.
[7] Robert Krut, Nathan Zalman.Domain Analysis Workshop Report for the Automated Prompt Response System Domain[R]. CMU/SEI-96-001, May, 1996.
[8] Pohl, Klaus, Günther B?ckle, Frank van der Linden. Software Product Line Engineering: Foundations, Principles, and Techniques [M].Berlin: Springer-Verlag, 2005.
[9] Kang KC, Cohen SG, Hess JA, Novak WE, Peterson AS. Feature-oriented domain analysis (FODA) feasibility study [M]. Technical Report, CMU/SEI-90-TR-21, Pittsburgh: Carnegie Mellon University, 1990: 1-52.
[10] K Czarnecki, M AntKiewicz. Mapping features to models: a template approach based on superimposed variants [A]. In Proceedings of the Fourth International Conference on Generative Programming and Component Engineerin[C].Berlin: Springer-Verlag, 2005.422-437.
[11]保罗·克莱门茨(美)著.软件产品线:实践与模式(影印版)[M].北京:清华大学出版社,2003.
[12] H Gomaa, L Kerschberg, V Sugumaran, C Bosch, I Tavakoli. A Prototype Software Development Environment for Reusable Software Architectures[A]. In Proceedings of IEEE International Conference on Software Reuse[C]. Rio de Janeiro, Brazil, 1994.
[13] H Gomaa, R Fairley, L Kerschberg. Towards an Evolutionary Domain Life Cycle Model [A]. In Proceedings of Workshop on Domain Modeling for Software Engineering, OOPSLA'89[C].New Orleans, 1989.
[14] D.M.Weiss. Family-oriented abstraction, specification, and translation [A]. In Proceedings of The FAST Process, Keynote Talk at Computer Assurance Conference (COMPASS)[C].1996. http://www.bell-labs.com/ user/weiss/pubs/compass96.ps.
[15] K C Kang, S Kim, J Lee, K Kim, E Shin, M Hug. FORM: a feature-oriented reuse method with domain-specific reference architectures [J]. Annals of Software Engineering, 1998, 5: 143-168.
[16] Joachim Bayer, Oliver Flege, etc. PuLSE: a methodology to develop software product lines [A]. In Proceedings of the 1999 symposium on Software reusability [C]. Los Angeles: ACM, 1999.
[17]王千祥,吴琼,李克勤,杨芙清.一种面向对象的领域工程方法[J].软件学报, 2002, 13(10):1977-1984.
[18]彭鑫.基于本体_特征驱动的产品线开发方法[D].上海:复旦大学信息科学与工程学院. 2006.
[19]李玉琴.需求工程与软件产品线若干关键技术研究[D].上海:复旦大学信息科学与工程学院, 2007.
[20]刘奕明.基于体系结构、特征驱动的软件动态演化方法研究[D].上海:复旦大学信息科学与工程学院, 2008.
[21]李弈远.基于特征的软件产品线开发关键技术研究[D].杭州:浙江大学计算机科学与技术学院, 2007.
[22]曹晓夏.面向服务的软件需求建模与求精研究[D].上海:上海大学,2009.
[23]王晓华.软件特征模型与测试应用研究[D].成都:中国科学院光电研究所,2009.
[24] Object Management Group. MDA ? Specifications[S].http://www.omg.org/ mda/specs.htm# MDAGuide ,2010.
[25] Object Management Group. MDA guide, version 1.0.1, OMG/03-06-01[S].2003.
[26] Object Management Group. OMG Unified Modeling Language (OMG UML), Superstructure, version2.3[S]. http://www.omg.org/technology/ documents/ modeling_spec_catalog.htm#UML, 2010.
[27] Object Management Group. OMG Unified Modeling Language (OMG UML), Infrastrcture, version 2.3[S]. http://www.omg.org/technology/ documents/ modeling_spec_catalog.htm#UML, 2010.
[28] IBM. Rational Rose[S]. http://www-306.ibm.com/software/awdtools/ developer/rose/index.html, 2007.
[29] IBM. IBM Rational Software Architect[S]. http://www-306.ibm.com/ software/ awdtools/architect/swarchitect/index.html, 2007.
[30] Oracle. Enterprise Architect[S]. http://www.oracle.com/technetwork/ topics/ entarch/whatsnew/index.html, 2007.
[31]麻志毅,赵俊峰,孟祥文,张文娟.青鸟面向对象软件建模工具的研究与实现[J].软件学报, 2003. 14(1): 97-102.
[32] Object Management Group. Meta Object Facility (MOF) Core Specification, OMG Availiable Specification version 2.0, formal/06-01-01[S]. http:// www.omg.org/mof/,2006.
[33] Object Management Group.OMG's MetaObject Facility[S]. http:// www.omg.org/ mof/, 2010.
[34] Object Management Group. MOF 2.0/XMI Mapping, Version 2.1.1, OMG Available Specification, formal/2007-12-01[S]. http://www.omg.org/ spec/XMI/2.1.1/ PDF/index.htm, 2007.
[35] Object Management Group. Meta Object Facility (MOF) Query/View/ Transformation Specification, Final Adopted Specification, ptc/07- 07-07[S].http://www.omg.org/spec/QVT/1.1/Beta2/PDF, 2007.
[36] Frankel, D.S. Model Driven Architecture: Applying MDA to Enterprise Computing [M]. Hoboken: John Wiley & Sons, Inc, 2003.
[37] Anneke Kleppe, Jos Warmer, Win Bast.解析MDA[M].北京:北京邮电出版社,2003.
[38] MeatEdit Inc.Domain-Specific modeling with metaEdit+ 10 times faserthan UML[R].2005.
[39] Cook S. Domain-Specific modeling and model-driven architecture [J]. Frankel D, Parodi J, eds. Proc of the MDA Journal: Model Driven Architecture Straight from the Masters, chap.3. 2004.
[40] Ledeczi A, Bakay A, Maroti M, Volgsei P, Nordstrom G, Sprinkle J, Karsai G. Composing domain-specific design environments.[J]. IEEE Computer, 2001. 34(11): 44-51.
[41] Hruby P. Domain-driven development with ontologies and aspects [A]. In Proceedings of the Domain-Specific Modelong Workshop ate OOPSLA 2005[C]. 2005.
[42] Pohjonen R. MetaModeling made easy--MetaEdit+ (tool demonstration) [A]. In proceedings of the Generative Programming adn Component Engineering 4th Int'l Conf GPCE 200[C]. 2005: 442-446.
[43] Van Deursen A, Klint P. Little language: Little maintenance? [J]. Jouranl of Software Maintenance: Research and Practice, 1998. 10(2): 75-92.
[44] Tolvanen JP, Kelly S. Defining domain-specific modeling languages to automate product derivation: Collected experiences [A]. in Proceedings of Software Product Lines: the 9th int'l Conf. (SPLC2005)[C]. 2005: 198-209.
[45]刘辉,麻志毅,邵维忠.元建模技术研究[J].软件学报. 2008, 19(6): 1317-1327.
[46] Sorenson PG, Tremblay JP, McAllister AJ. The metaview system for many specification environments [J]. IEEE Computer, 1998, 5(2): 30-38.
[47] Ebert J, Sauttenbach R, Uhe I. Meta-CASE in practice: a case for KOGGE [A]. in proceedings of the 9th Int'l Conf. on Advanced Information System Engineering.[C]. Olive JAPA, Ed: Springer-Verlag, 1997:203-216.
[48] De Lara J, Vangheluwe H. Using AtoM3 as a meta-CASE tool [A]. In Proceedings of the 4th int'l Conf on Enterprise Information Systems (ICEIS2002) [C]. 2002: 642-649.
[49] Bichler L. Tool Support for generating implementations of MOF-basedmodeling language [A]. In proceedings of the domain-specific modeling workshop at OOPSLA 2003[C]. 2003.
[50] Costagliola G, Gravino C. Constructing meta-CASE workbenches by exploiting visual language generators [J]. IEEE Trans. on Software Engineering. 2006, 32(2): 156-175.
[51] Esser R, Janneck JW . A framwork for defining domain-specific visual language [A]. in proceedings of workshop on Domain Specific Visual Languages, Conjunction with ACM Conf. on Object-Oriented Programming, Systems, Languages and Aplications OOPSLA 2001[C]. 2001.
[52] De Lara J, Guerra E, Vangheluwe H. Meta-Modelling, graph transformation and model checking for the analysis of hybrid systems.[A]. In proceedings of the AGTIVE 2003[C]. 2003.
[53] Krzysztof Czarnecki, Simon Helsen. Classification of Model Transformation Approaches [A]. In Proceedings of the 2nd Workshop on Generative Techniques in the Context of MDA[C]. Anaheim, CA, 2003.
[54] Paul Boocock. The Jamda Project[S]. http://jamda.sourceforge.net/, 2003.
[55] Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf L?mmel, Andy Schürr, James F. Terwilliger. Bidirectional Transformations: A Cross-Discipline Perspective [A]. In Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations [C].Zurich, Switzerland: Springer-Verlag Berlin, Heidelberg 2009, 260 - 283.
[56] A. Rensink, R. Nederpel. Graph transformation semantics for a QVT language [A]. In proceedings of GT-VMT Workshop Collocated with ETAPS 2006[C]. Vienna, Austria, 2006.
[57] Frédéric Jouault, Ivan Kurtev. On the interoperability of model-to-model transformation languages [J]. Science of Computer Programming. 2007, 68(3): 114-137.
[58] Yu Sun, Jules White, Jeff Gray. Model Transformation by Demonstration [A]. In Proceedings of the 12th International Conference on Model DrivenEngineering Languages and Systems [C]. Berlin, Heidelberg: Springer-Verlag, 2009.712-726.
[59] Perdita Stevens. A Landscape of Bidirectional Model Transformations [A]. in proceedings of Generative and Transformational Techniques in Software Engineering II: International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007. Revised Papers [C]. Berlin, Heidelberg: Springer-Verlag, 2007.408-424.
[60] Andreas Petter, Alexander Behring, Max Mühlh?user. Solving Constraints in Model Transformations [A]. In Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations [C]. Berlin, Heidelberg: Springer-Verlag, 2009. 132-147.
[61] Raphael Romeikat, Stephan Roser, Pascal Müllender, Bernhard Bauer. Translation of QVT Relations into QVT Operational Mappings [A]. In Proceedings of the 1st international conference on Theory and Practice of Model Transformations [C]. Berlin, Heidelberg: Springer-Verlag, 2008. 137-151.
[62] Greenyer Joel, Kindler Ekkart. Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars [A]. In Proceedings of the 10th MODELS Conference[C]. 2007.21-46.
[63] Rolf-Helge Pfeiffer, Andrzej W?sowski. An aspect-based traceability mechanism for domain specific languages [A]. In Proceedings of the 6th ECMFA Traceability Workshop [C]. New York: ACM Press, 2010, 47-52.
[64] T. Mens, P. Van Gorp, D. Varró, G. Karsai. Applying Model Transformation Taxonomy to Graph Transformation Technology [A]. In Proceedings of the International Workshop on Graph and Model Transformation[C]. 2005. 24-39.
[65] K. Ehrig, E. Guerra, J. de Lara, L. Lengyel, T. Levendovszky, U. Prange, G. Taentzer, D. Varró, S. Varró-Gyapay. Model Transformation by Graph Transformation: A Comparative Study [A]. In Proceedings of Model Transformations in Practice Workshop, MODELS Conference [C]. 2005.
[66]兰庆国,刘淑芬,张欣佳.可复用MOF元建模框架的研究[J].计算机应用研究. 2007, 01:94-96.
[67]王晓燕.基于模型驱动架构的软件开发方法与实现技术研究[D].长春:吉林大学计算机科学与技术学院,2008.
[68] Zhang Jun, Liu Shufen, Wu Fei, Peng Jun, Zheng Wanbo. Design of an Aspect-supported Generic Modeling Tool [A]. In Proceedings of the 2008 12th International Conference on Computer Supported Cooperative Work in Design, CSCWD[C]. 2008, 207-211.
[69] Zhang Jun, Liu Shufen. A Model Transformation Classification Method Used in QVT [A]. In Proceedings of 2008 IEEE International Symposium on IT in Medicine and Education, ITME[C]. 2008,464-468.
[70] Davis AM. The design of a family of application-oriented requirements languages [J]. IEEE Computer. 1982, 15(5): 21-28.
[71]刑岩,谷放,梅宏.特征模型驱动的Web Services组装方案及其工具支持[J].软件学报. 2007, 18(7): 1582-1591.
[72] F. Bachmann, M. Geodicke, J. Leite, R. Nord, K. Pohl,B. Ramesh, A. Vilbig. A meta-model for representing variability in product family development [A]. In proceedings of Software Product-family Engineering[C]. Berlin Heidelberg: Springer, 2004, 66-80.
[73] S. Trujullo. Feature oriented model driven product lines [D]. Basque: The University of the Basque Country, 2007.
[74] S. Trujullo, D.Batory, O.Diaz. Feature oriented model driven development: a case study: a case for portlets [A]. In Proceedings of the International conference on Software Engineering, ICSE2007[C]. 2007,44-53.
[75] Sergio Segura, David Benavides, Antonio Ruiz-Cort′es, Pablo Trinidad. Automated Merging of Feature Models using GraphTransformations [A]. In Proceedings of Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007[C]. Berlin Heidelberg: Springer, 2007, 489-505.
[76] Jules White, Douglas C. Schmidt, David Benavides, Pablo Trinidad,Antonio Ruiz Cortés. Automated Diagnosis of Product-Line Configuration Errors in Feature Models [A]. In Proceedings of Software Product Lines, 12th International Conference, SPLC 2008[C].Limerick, Ireland: IEEE Computer Society, 2008, 225-234.
[77] Pablo Trinidad, David Benavides, Amador Durán, Antonio Ruiz Cortés, Miguel Toro. Automated error analysis for the agilization of feature modeling [J]. Journal of Systems and Software, 2008, 81(6): 883-896.
[78] David Benavides, Sergio Segura, Antonio Ruiz Cortés. Automated analysis of feature models 20 years later: A literature review [J]. Inf. Syst. 2010, 35(6): 615-636.
[79] D. Benavides, S.Segura, P. Trinidad, A.Ruiz-Cortes. FAMA: Tooling a framework for the automated analysis of feature models [A]. in proceedings of Workshop on Variability Modeling of Software-intensive System, VAMOS2007[C]. Limerick, Ireland, 2007.
[80] K.Czarnecki, S. Helsen. Feature-based survey of model transformation approaches [J]. IBM Syst. Journal. 2006, 45(3): 621-645.
[81] N Guelfi, G perrouin. A flexible requirements analysis approach for software product lines [A]. In Proceedings of the 13th International Working Conference on Requirements Engineering: Foundation for Software Quality, LNCS-4542[C]. Norway: Springer-Verlag, 2007.
[82]王晓燕,刘淑芬,张俊.一种基于领域模型和构件组合的软件开发框架[J].电子学报. 2009, 37(3): 78-92.
[83]王忠杰,徐晓飞,战德臣.基于特征的构件模型及其规范化设计过程[J].软件学报. 2006, 17(1): 39-47.
[84]彭鑫,赵文耘,钱永乐.基于领域特征本体的构件语义描述和组装[J].电子学报. 2006, 34 (12A): 2473-2477.
[85] Pablo Trinidad, Antonio Ruiz Cortés, Joaquín Pe?a. Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines [A]. In Proceedings of Software Product Lines, 11th International Conference, SPLC 2007[C]. Kyoto, Japan: Kindai Kagaku Sha Co. Ltd., 2007, 51-56.
[86] D Muthing, C Atkinson. Model-driven product line architectures [A]. In Proceedings of the 2nd Software Product Line Conference (SPLC2) [C]: Berlin: Springer-Verlag, 2002, 110-129.
[87] ? Haugen, B M?ller-Pedersen, J Oldevik, A Solberg. An MDA-based framework for model-driven product derivation [A]. In Proceedings of the 8th IASTED International conference on Software Engineering and Applications[C]. ACTC Press,2004, 709-714.
[88] O Avila-García, A E García, E V S Rebull. Using software product lines to manage model families in model-driven engineering [A]. In Proceedings of the 22nd Annual ACM Symposium on Applied Computing - Model Transformation Track[C]. ACM Press, 2007, 1006-1010.
[89]张天,张岩,于笑丰,王林章,李宣东.基于MDA的设计模式建模与模型转换[J].软件学报. 2008, 19(9): 2203-2217.
[90]常志明,毛新军,王戟,齐治昌.多Agent系统中软构件的动态绑定机制及其操作语义[J].计算机研究与发展. 2007, 44(5):806-814.
[91]马晓星,余萍,陶先平,吕建.一种面向服务的动态协同架构及其支撑平台[J].计算机学报. 2005, 28(4):467-477.
[92]李长云,李赣生,何频捷.一种形式化的动态体系结构描述语言[J].软件学报. 2006, 17(6):1349-1359.
[93] Monica Pinto, Lidia Fuentes, Jose Maria Troya. A Dynamic Component and Aspect-Oriented Platform [J]. The Computer Journal. 2005, 48(4): 401-420.
[94]梅宏,申峻嵘.软件体系结构研究进展[J].软件学报. 2006. 17(6):1257-1275.
[95]孙昌爱,金茂忠,刘超.软件体系结构研究综述[J].软件学报. 2002, 13(7):1228-1237.
[96]丁湘陵.基于B方法的软件体系结构描述语言的精化研究[D].长沙:湖南师范大学,2006.
[97]王晓光,冯耀东,梅宏. ABC/ADL:一种基于XML的软件体系结构描述语言[J].计算机研究与发展. 2004, 41(9): 1521-1531.
[98]陆宁,尤晋元.一种移动代理应用系统的体系结构描述语言[J].计算机研究与发展. 2002, 39(8):1004-1011.
[99] Flavio Oquendo. Formally Modelling Software Architectures with the UML 2.0 Profile forπ-ADL [J]. Software Engineering Notes. 2006, 31(1).
[100] Marcos López-Sanz, César J. Acu?a, Valeria de Castro, Esperanza Marcos , Carlos E. Cuesta. Using an Architecture-Centric Model-Driven Approach for Developing Service-Oriented Solutions: A Case Study [A]. In proceedings of Confederated International Workshops and Posters, ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009[C]. Vilamoura, Portugal, 2009, 350-359.
[101] Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel. Modeling and enforcing invariants of dynamic software architectures [J]. Software and Systems Modeling. 2010,9: 1619-1366.
[102]刘冬云,梅宏.从需求到软件体系结构:一种面向特征的映射方法[J].北京大学学报(自然科学版). 2004, 40(03):372-378.
[103]于卫,杨万海,蔡希尧.软件体系结构的描述方法研究[J].计算机研究与发展. 2000,37(10):1185-1191.
[104]张家晨,冯铁,陈伟,金淳兆.基于主动连接件的软件体系结构及其描述方法[J].软件学报. 2000, 11(8):1047-1052.
[105]曹东刚,梅宏,曹建农.在中间件中支持用户自定义连接子[J].软件学报. 2005, 16(8):1378-1385.
[106]冯铁,张家晨,陈伟,金淳兆.基于框架和角色模型的软件体系结构规约[J].软件学报. 2000, 11(8):1078-1086.
[107]骆华俊,唐稚松,郑建丹.可视化体系结构描述语言XYZ/ADL[J].软件学报. 2000, 11(8):1024-1029.