论文部分内容阅读
分析了目前主要的UML形式化方法及特点,提出了基于B语言的转换方法B2F(B-Based Formalization),通过将UML模型转化为B抽象机描述实现UML的形式化描述和验证,并详细分析了基于B2F方法的UML类图的形式化,证明了该方法的可行性.
基于B语言的UML形式化方法
【摘 要】
：
分析了目前主要的UML形式化方法及特点,提出了基于B语言的转换方法B2F(B-Based Formalization),通过将UML模型转化为B抽象机描述实现UML的形式化描述和验证,并详细分析了基于
【机 构】
：
西北工业大学现代设计与集成制造技术教育部重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2004年12期
其他文献
通过对WORD页面描述机制的分析,提出了一种适用于WORD文档保护的数字水印算法.通过修改文本块中不同字符的字体颜色值,将水印以正弦波的特征形式嵌入文本中.检测时通过提取字
谁都不会否认，幼儿教育应该给予幼儿知识，应该发展幼儿的能力，应该激发幼儿积极的情感。我认为这些还不够，幼儿教育还应让幼儿感受到幸福。幼儿有没有感受到幸福，是衡量幼儿教育成效的最根本的标准。 一、幸福是美好童年不可缺少的 幸福是人类的根本追求，人类的一切奋斗都指向最终的幸福。一切与人的身心健康成长相关的积极感受才是幸福。因此，幸福不是一种外在的恩赐，幸福也不等同于物欲享受。幼儿在生命成长的过程中
进入21世纪，伴随着课改的大潮，合作学习成为教师倡导，学生欢迎的学习方式，为更多人所接受、研究。合作学习作为一种学习方式和一种教学策略，在20世纪90年代早期进入我国，我国的研究
获得丈夫疼爱的女人是幸福的,现代女性究竟希望丈夫怎样来疼爱自己呢?以下几点是许多妇女的共同相法: 分担家务这几乎是绝大多数妇女希望丈夫疼爱自己的方式。不仅职业妇女深
虚拟娱乐照相领域的图像分割,目的在于实时地提取显示出背景中的感兴趣目标,但由于常用的分割方法容易丢失图像的边缘细节信息,而且运算时间长,难以实现质量与速度的平衡,为此文章提出了一种基于遗传量子进化算法的图像分割方法。该方法首先运用遗传量子方法进行阈值搜索,然后进行区域分割,再利用形态学方法对图像边缘细节进行补偿,并去除噪声。仿真结果表明,与传统方法比较,该方法能有效地提取图像中的人像,保留细节边缘
随着信息技术与计算机网络的迅速发展,对具有良好网络功能的嵌入式系统的需求日益迫切.该文在分析嵌入式系统中实现网络底层驱动所需要注意的问题之后,系统地介绍了已经实现
混凝土裂缝的出现或多或少会影响结构的安全性、适用性和耐久性，对于裂缝问题应引起足够的重视。本着“质量第一，预防为主”的方针，采用一系列的技术措施，不断改进过程控制，以避免
一次偶然的尝试，差点使我们的夫妻生活脱轨，后来发生的事情，是我们开始玩这个游戏的时候没有料到的，一切都超出我们的想像和控制，成为我们生命中一个深刻的教训。有些游戏带给我们
模板工程是砼成型施工中的一个十分重要的组成部分，是主体结构施工的重点和难点，尤其是高支模板。要求它能保证工程结构和构件的形状、尺寸和相互位置的准确、标准、能够承受荷
我国是一个林业大国，也是一个植物资源丰富的国家。林业既是一项十分重要的公益事业，又是一项十分重要的具有多种功能的基础产业。林业在实现生态良好、维护生态安全中发挥着决