位置：成果数据库 > 期刊 > 期刊详情页
UML中衍型的精确定义与分析
  • ISSN号：0372-2112
  • 期刊名称：《电子学报》
  • 时间：0
  • 分类：TP311[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 相关基金：国家自然科学基金(No.60073015);国家高技术研究发展计划(863计划)课题(№.2001AA113070);国家重点基础研究发展规划(973计划)项目(No.2002CB312000)
作者： 蒋严冰, 邵维忠, 张路, 麻志毅
关键词： UML, 扩展机制, 衍型, 形式化, 语法, 语义
中文摘要：

UML规范对于衍型这种扩展机制描述的不够清晰和严格,常被用户和研究者误用,并且也无法很好地支持可扩展的建模工具的开发.本文精确地定义UML中的衍型以及衍型之间的关系,在此基础上定义衍型与元模型之间的转化并提出运用衍型的指导规则,使得UML衍型的使用者能够更深入地理解这种扩展机制,并为支持衍型的建模工具的开发提供可靠的理论基础.

同期刊论文项目
　Internet环境下基于Agent的软件中间件理论和方法研究
期刊论文 32
面向对象方法的概念语义与过程策略研究及支撑系统开发
期刊论文 1
同项目期刊论文
一种基于模块单子语义的动态程序切片方法
支持数量约束的扩展模糊描述逻辑复杂性研究
一种基于异常传播分析的依赖性分析方法
一种基于异常传播分析的数据流分析方法
一般术语公理下的模糊描述逻辑FALCN推理
Testing forms in web applications automatically
支持模糊隶属度比较的扩展模糊描述逻辑
一种互操作协议性能评估方法
支持术语公理约束的扩展模糊描述逻辑推理
一种新的变异测试数据自动生成方法
概念的最小上近似
一种并行环境下测试用例优先级技术度量方法
System Dependence Graph Construction for Aspect Oriented C＋＋
Subsumption Checking between Concept Queries in Different Ontologies Based on Mutual Instances
Concept Approximation between Fuzzy Ontologies
一种启发式聚类特征选择方法
支持语义web模糊本体的描述逻辑
QoS Analysis on Web Service Based Spatial Integration
Mapping Business Workflows onto Network Services Environment
重构C＋＋程序物理设
A Testing Method for Web Services Composition Based on Data-Flow
一种异常处理策略的评测方法
一种J2EE服务器端软件测试用例的复用框架研究
软件易测性和软件可靠性关系研究
统计测试的软件可靠性保障能力研究
软件测试准则的有效性度量研究
一种面向MVC的Web应用重构方法
软件先验知识和基于测试的可靠性评估关系研究
一种三维界面的移动终端交互技术
支持管理在线构件的基本构件描述模型
通用服务器端软件测试框架的研究与实现
期刊信息
  • 《电子学报》
  • 中国科技核心期刊
  • 主管单位:中国科学技术协会
  • 主办单位:中国电子学会
  • 主编：郝跃
  • 地址：北京165信箱
  • 邮编：100036
  • 邮箱：new@ejournal.org.cn
  • 电话：010-68279116 68285082
  • 国际标准刊号：ISSN：0372-2112
  • 国内统一刊号：ISSN：11-2087/TN
  • 邮发代号:2-891
  • 获奖情况:
  • 2000年获国家期刊奖,2000年获国家自然科学基金志项基金支持,中国期刊方阵“双高”期刊
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,英国英国皇家化学学会文摘,中国北大核心期刊（2000版）
  • 被引量:57611