【摘 要】
：
模型在软件开发中扮演的角色越来越重要,随之而来的便是对完善方便的建模工具的需求。但是建模工具通常是领域敏感的,开发一个针对于所有领域的建模工具是不切实际且没有意义
【机 构】
：
北京航空航天大学计算机学院 北京 100083
论文部分内容阅读
模型在软件开发中扮演的角色越来越重要,随之而来的便是对完善方便的建模工具的需求。但是建模工具通常是领域敏感的,开发一个针对于所有领域的建模工具是不切实际且没有意义的。在这样的前提下,自动构建建模工具显得尤为重要。本文提出了一种能同时满足领域和用户需求的图形建模工具的设计方法,并且给出了相应的开发框架。此框架分离了领域、图形和工具信息,并通过模型转换和代码生成的方式产生最终系统。最后,本文应用此框架实现了一个BPEL流程的建模工具。
其他文献
为了提高软件密集型装备故障诊断与维护的准确性与时效性,设计了一种故障诊断与维护智能决策支持系统,它通过对失效信息的分析,推断故障产生的原因,并给出维护方案,重点讨论
如何有效地保证软件体系结构能够正确地进行动态演化是目前软件工程领域中一个亟待解决的问题。模型验证是一种关于系统性质验证的算法方法,它通常采用状态空间搜索的方法来
本书作者休列特·詹森氏(Hewlatt Johnson)是英国坎特勃里的副主教,他自一九一七年以来,就潜心苏联的研究。这本书是他在战后苏联经过长时间实地考察以后写成的。他所考察的
软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段。本文提出了一种针对软件体系结构层配置信息的测试方法,该方法用Wright描述软
软件构件的质量关系到基于构件开发的软件产品的质量和可靠性。如何通过构件测试提高构件的质量越来越受到关注。由于构件具有与其他一般软件有所不同的特征,研究人员针对构
测试用例优先化技术有利于提高测试的质量和效率。文中提出了一种在系统测试阶段基于需求的测试用例优先化方法TRP,井通过实验结果加以验证。与随机方法对测试用例排序的测试
通过GQM范式建立了软件有效性度量指标体系,阐述了指标体系中各种模糊因素的模糊数学处理方法,构造出测试有效性模糊决策模型,有效解决了测试有效性难以定量评价的问题,在很
S2-是冷浸田中水稻生长的重要限制因子,探讨S2-对水稻的毒性,可为筛选冷浸田高产水稻品种提供理论依据.本研究以27份水稻为材料,采用高浓度硫氢化钠水培试验模拟冷浸田土壤S2
讨论了MAS系统和Web服务组合的关系,指出MAS与Web服务组合在本质上的相关性。其次,从Web服务组合这一全新的角度构建了MAS体系结构,命名为CSMWC,并对其组成进行说明。
MYB转录因子(v-myb avian myeloblastosis viral oncogene homolog)家族在植物应答低磷胁迫中发挥重要作用,在前期工作中,我们通过马尾松(Pinus massoniana)耐低磷种质转录组