支持模型驱动开发的软构件形式化描述方法

来源 :计算机应用 | 被引量 : 7次 | 上传用户：wra207

【摘要】

：

针对模型驱动的软件开发(MDSD)中语义特性保持的描述和验证等问题,基于类型范畴理论的形式化框架和进程代数理论,提出了一种软件结构模型的形式化描述方法。在此基础上对模型转换前后构件规范之间应满足的语义约束进行了深入的分析和探讨,从图表结构、端口与配置约束、外部行为以及可替换性等四个方面对特性约束保持的问题进行了描述,并建立了相应的判定标准。该方法能为模型之间转换规则的定义提供指导,并为模型转换的效

【作者】

：

侯金奎王成端

【机构】

：

潍坊学院计算机工程学院

【出处】

：

计算机应用

【发表日期】

：

2015年09期

【关键词】

：

模型驱动的软件开发模型转换特性描述语义验证

【基金项目】

：

山东省优秀中青年科学家科研奖励基金计划项目（BS2011DX039）,山东省科技发展计划项目（2011YD01042,2011YD01043）,山东省高等学校优秀中青年骨干教师国际合作培养计划资助项目.

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

列车安全距离控制形式化建模与验证

随着我国铁路的迅速发展,对列车运行安全性的要求越来越高。采用Event-B形式化建模方法研究了高速列车安全距离控制形式化验证问题,以Event-B形式化仿真工具Rodin为基础,通过结合多智能体理论,引入感知决策法则,实现了无线闭塞中心(RBC)与列车的车地通信,建立了多列车运行的安全距离控制模型。仿真研究了高速列车最小间隔追踪控制运行,对列车安全距离控车行为进行了形式化建模并进行了POs证明义务

期刊

Event-B方法列车控制多智能体形式化建模分布式系统Event-B method train control multi-Agent formal

主动适应跨越式发展形势切实加强分局干部队伍建设

推进铁路跨越式发展,人才资源最宝贵,干部队伍是关键.前不久,部党组召开全路人才工作会议,刘部长就铁路人才工作作了重要讲话.我们认为,这次会议和刘部长的讲话,是铁路由人力

期刊

跨越式发展南京铁路分局人才工作领导干部思想政治素质民主集中制

移动自组网媒体接入控制协议吞吐量与公平性均衡设计

针对移动自组网媒体接入控制(MAC)协议高吞吐量、低公平性的失衡问题,提出一种基于最优接入概率的简化协议MAC-FT。首先推导公平条件下最优吞吐量与节点数、节点数与空闲接入概率的定量关系,设计空闲接入概率评估模型,利用李雅普诺夫漂移函数证明模型的可行性和稳定性;其次利用自回归滑动平均(ARMA)模型滤波实现空闲时隙接入概率的计算,并通过比例积分控制器(PIC)完成动态控制;最后综合分析吞吐量和公平

期刊

移动自组网公平性空闲接入概率吞吐量媒体接入控制Mobile Ad Hoc NETwork （MANET） fairness idle slot pro

浅议企业“党支部书记素质”

在新的历史时期,如何成为一个称职的党支部书记,已成为一个亟待解决的事关企业前途发展的重大问题.笔者认为,作为党支部书记应起码具备以下几点:

期刊

企业管理党组织党支部书记中国共产党思想政治工作奉献精神铁路企业

关于加强学风建设的几点思考

一、坚持理论联系实际,要有如饥似渴的学习态度,解决"我要学"的问题坚持理论联系实际的马克思主义学风,首先要有强烈的学习愿望,坚决纠正轻视理论、忽视学习的错误倾向,从根

期刊

领导干部马克思主义学风集中教育首先错误倾向根本学习愿望坚持

让执行力给策划“加分”

重“策划”轻“执行”，几乎是一种通病。好的策划是节目成功的前提，从这个前提出发，不断地做“加法”，让每个环节都成为积极因素。才能形成好的节目。如果从策划出发，在每个环节打