【作者】 崔巍；

【导师】 史殿习；

【作者基本信息】 国防科学技术大学 ， 计算机科学与技术， 2009， 硕士

【摘要】 作为软件复用的一种重要手段,构件技术成功的将软件开发过程的焦点由传统从零开始的代码编写转移到对已有构件的组装和配置,这就对传统以代码为中心的软件开发工具提出了新的要求。如何为开发者提供有效便捷的组装与配置工具,已成为构件化开发的研究热点。模型驱动开发是一种利用模型来简化系统开发的新型软件开发方法。结合成熟的模型转换和代码生成技术,模型驱动开发过程能够成功地屏蔽掉底层的技术细节,使得开发者能够更为专注的面对所要解决的问题。当前,基于模型驱动思想,以可视化建模的方式实现构件软件的配置与部署已经成为一种提高构件开发效率的有效手段。在以上两个背景之下,本文基于已有的研究成果,从领域相关建模语言的角度出发,重点研究了如何通过有效的模型语义保障机制,提高现有基于模型的配置部署工具的效率。文章的具体工作包括:(一)深入研究了领域相关建模的基本概念和关键技术。重点研究了领域相关建模中的语义概念和机制,从模型的静态语义和动态语义两个层面研究了现有语义保障技术。(二)提出了一个遵循OMG部署与配置规范的语义框架VDCSF。该框架在抽象层面上定义了面向部署与配置工具进行模型语义保障的基础结构和公共机制,层次化的定义了部署与配置建模环境中的静态语义约束机制和动态语义映射机制。(三)基于VDCSF框架,设计和实现了部署与配置建模环境的静态语义约束部件和动态语义映射部件。静态语义约束部件基于对象约束语言实现了模型的构建时验证功能,确保了用户模型的有效性;动态语义映射部件以模型解释的方式实现了部署与配置相关元数据的自动生成。(四)构造一个实际用例,验证了语义部件的功能。更多还原

【Abstract】 As an important approach of software reuse, component technology has successfully changed the focus of software development process from coding from scratch to assembling and configuring the existing components. It brings a great challenge for the traditional code-centric software development tool. And it makes creating more useful tools for component-based development a research hotspot.Model driven development (MDD) is a new paradigm which utilizes model to simplify the system development. Leveraging mature model transformation and code generation technology, MDD could mask the underlying technical details and make developers focused more on the problem to be solved. Nowadays, based on the MDD concept, assembling and configuring component-based system by visualized model has become an effective mean to improve the efficiency of component development.In the context of above challenges, based on existing work on domain specific modeling language, this thesis focuses on how to improve the efficiency of model-based assembly and configuration tool through protection mechanism of model semantics.The content of this thesis can be generalized as follows:Firstly, this thesis makes an in-depth study of the basic concept and key technology of domain-specific modeling, concentrating on the semantics mechanism of domain-specific modeling language.Secondly, this thesis presents a visual deployment and configuration semantics framework conforming to the OMG D&C specification. The framework hierarchically defined the static semantics constraint mechanism and the dynamic semantics mapping mechanism for D&C domain.Thirdly, based on the defined semantics framework, this thesis gives an implementation of the semantic constraint module and the model interpretation module. The semantic constraint module can verify the user model, while the model interpretation module can generate D&C meta-data from user model automatically.Finally, a concrete application is modeled to validate the functional correctness of the two implemented semantics modules.更多还原