论文部分内容阅读
行为模型的描述及其精化是模型驱动开发中的关键问题之一。根据形式化方法建模理论,提出了一种结构模型约束下的行为模型形式化描述方法。通过使用结构模型的操作方法定义行为,使得行为精化中搜索的粒度更大,同时加快了搜索的速度。应用研究表明,该方法能够为模型驱动的软件开发提供有力的支持。
支持模型驱动开发的行为描述方法
【摘 要】
：
行为模型的描述及其精化是模型驱动开发中的关键问题之一。根据形式化方法建模理论,提出了一种结构模型约束下的行为模型形式化描述方法。通过使用结构模型的操作方法定义行
【机 构】
：
潍坊学院 计算机与通信工程学院,潍坊 261061
【出 处】
：
2008全国软件与应用学术会议(NASAC'08)
【发表日期】
：
2008年期
其他文献
许多人都知道孙中山在投身革命运动之前，本是一位医生。1886年，孙中山在香港读了三年西式中学后，经人介绍到广州博济医院南华医学堂读书。仅仅过了一年，1887年夏天，孙中山报名入读香港新成立的英文医校——雅丽士西医书院(即香港大学医学院前身)。1892年7月，经过五年的学习，孙中山以优异的成绩毕业，获西医书院学士学位，成为一名科班出身的医生。但这当中有一点儿问题，那就是，虽然香港总督曾经亲自出席18
本研究利用多重网格虚拟边界有限元法（MFBM）数值模拟多圆柱涡激运动问题。 MFBM 的最大优点是允许用固定的结构化网格覆盖真实物体形状却又独立于真实运动物体进行数值处理，物体
本研究把有限元法与并行计算工具箱PETSc结合，对理想不可压流体中二维无限域的圆柱绕流和三维无限域的圆球绕流问题分别进行了有限元离散和并行数值计算，验证了网格的分辨率、
本研究利用Fluent求解器求解二维NS方程，同时结合动网格技术模拟圆柱运动的边界，对雷诺数为200 的均匀流中不同振荡频率及不同振荡幅值情况下圆柱做横向受迫振荡的绕流场进行数
本研究应用基于Boltzmann 方程的KFVS格式，建立了富阳-澉浦的平面二维涌潮数学模型，在实测资料验证的基础上，计算分析了江东大桥建设对涌潮高度、涌潮流速、涌潮传播速度等的影
本研究通过三维医学影像重建的几何模型，建立了一个研究颅内动脉瘤血流动力学状态的弹性壁的计算模型，利用CFD 和有限元方法对弹性壁模型中的血液流动和管壁运动的相互耦合过程
会议
我的二舅梁思成是个有趣的小矮个儿,他瘦瘦的身材,满头乌发,嘴巴瘪瘪的,戴副眼镜,弯着腰,背微驼,腿微瘸,可走起路来蛮精神。他别有一番风度,穿上西装戴好领带,有股子帅劲,我
本研究采用沉浸边界法对仿生拍动翼流场进行了数值模拟。首先模拟了二维情况下仿生翼在均匀来流中的拍动（俯仰和升沉组合运动），取均匀来流的雷诺数为1100，系统地分析了最大俯仰角
广州牙雕又称广式牙雕、南派牙雕。象牙雕刻历史悠久,与广州相邻的佛山澜石乡河宕村新石器晚期人类遗址中,已发现原始的象牙饰物。象牙雕刻起始于汉唐,兴盛于明清。与北京、