基于模型转换实现行为协议的研究

来源 :计算机工程 | 被引量 : 0次 | 上传用户：tianlanzhijian

【摘要】

：

为平台无关的UML模型元素(如类、接口)增加行为协议通常没有有效的解决方法.提出了一种基于模型转换实现行为协议的方法,编写了模型转换规则将状态机描述的行为协议元数据自

【作者】

：

尹剑飞郭荷清彭新一

【机构】

：

华南理工大学计算机科学与工程学院

【出处】

：

计算机工程

【发表日期】

：

2005年1期

【关键词】

：

行为协议 UML 元模型转换 OCL Behavior protocol UML metamodel transformation OCL

【基金项目】

：

国家重点基础研究发展计划(973计划)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为平台无关的UML模型元素(如类、接口)增加行为协议通常没有有效的解决方法.提出了一种基于模型转换实现行为协议的方法,编写了模型转换规则将状态机描述的行为协议元数据自动转换为UML操作元素的约束,运用OCL验证器和代码生成器对转换后的UML模型进行自动验证和代码生成.该方法为行为协议的自动验证、与模型元素同步和规范的正确实施提供了有效支持.

其他文献

Discrimination between upper versus lower airway components to the rise of total airway resistance m

Terminals of the trigeminal afferents innervating nasal mucosa are called gate keepers, since these fibres detect substances entering the airways. Trigeminal ex

期刊

AIRWAYSResisatnceInVivoPennock’sMETHODAirwaysResisatnceIn VivoPennock’s Me

基于Vague集的多目标模糊决策方法

提出了一种新的基于Vague集的多目标模糊决策算法,解决了文献[1]和[2]所存在的缺陷,并通过实例验证,而且定义的函数涵义明确.

期刊

Vaguc集多目标模糊决策模糊集Vague set Multicriteria fusion decision-making Fuzzy set

三坐标测量机检定标准方规的方法

方规是测量垂直度的标准器具之一，常规的方规校准方法主要采用专用检具（见图1）或光电自准直仪，利用自封闭原理来校准方规的4个角的角度偏差。对于大尺寸的方规校准（500mm以上），由于

期刊

三坐标测量机检定标准光电自准直仪标准器具专用检具角度偏差封闭原理垂直度

Varied Aerobic Intensity Effects on Hormonal, Anthropometric, and Health Changes

The purpose of this project was to examine the effects of a 20-week training study, which included varied aerobic exercise intensity and identical resistance an

期刊

MIDDLE-AGEDWomenAEROBICTRAININGResistanceTRAININGMetabolitesHormonesCIRC

高精度复杂滑枕加工

随着国内外机床行业的发展和进步，对机床产品的需求不断求新和扩大，尤其对复合机床的需求更是迫切，而该机床的核心主件滑枕的制造技术是当今世界机床行业的尖端。对于这种复杂的

期刊

加工制造技术高精度滑枕机床行业机床产品复合机床普通机床制造设备

枣庄学院学生因病就诊情况

为了解枣庄学院在校学生因病就诊特点、规律及主要病因，以便为开展相应的医疗保健服务工作提供科学依据，笔者对2004年7月-2005年6月该学院学生在校医院门诊就诊的资料进行了统

期刊

门诊就医疾病学生

基于二维行匹配的输电线路双目测距技术研究

利用双目测距技术获取外破危险物到输电线路的距离,为之后外破危险程度的判断与线路遭受外破概率的评估提供有力数据信息,从而保障线路安全。针对广角镜头下图像成像畸变严重而导致对极误差大的问题,基于目标检测得到的物体位置信息,创新性地运用局部二维行匹配扫描技术,来降低对极误差带来的影响,增加匹配的鲁棒性。同时将全局图像距离的稠密计算降解为目标物的局部稠密计算,提高了双目测距算法在高分辨率监控图像下的实时性

期刊

输电线路监测系统双目测距二维行匹配对极误差局部稠密计算transmission line monitoring systembinocular ran

解决大重型工件加工难题

国务院《关于加快培育和发展战略性新兴产业的决定》中提出,到2015年,战略性新兴产业形成健康发展、协调推进的基本格局,对产业结构升级的推动作用显著增强,增加值占国内生产

期刊

工件加工重型产业结构升级国内生产总值新兴产业产业形成国务院增加值

矛盾型消极依恋对小学生的影响及应对策略

在心理辅导工作实践中，发现来访学生有困难不会求助，人际关系不和谐居多，他们往往注意力不集中，焦虑紧张、怕黑、怕鬼等，呈矛盾型消极依恋症状。本文分析了矛盾型消极依恋形成原因

期刊

矛盾型消极依恋自我价值提升注意力

脂质代谢与绝经后女性冠心病严重程度的相关性研究

目的研究血脂代谢在绝经后女性冠心病(CAD)患者中的变化及临床意义,分析血脂与疾病严重程度的相关性。方法收集该院心内科因胸闷、胸痛住院的绝经后女性患者348例作为研究对

期刊

冠心病绝经后女性血脂GENSINI评分coronary artery diseasepostmenopausal womenlipid profileG

基于模型转换实现行为协议的研究

与本文相关的学术论文