论文部分内容阅读
以UML用例模型为主要研究对象，通过对UML用例模型概念和Z抽象符号的分析，采用Z形式化语言对用例模型建模元素的抽象语法和语义进行形式化的描述，提出了用例模型到Z形式语言的映射规约，并建立了UML用例模型图到Z形式规约的映射与转换机制。
用例模型的Z语言形式化描述方法
【摘 要】
：
以UML用例模型为主要研究对象，通过对UML用例模型概念和Z抽象符号的分析，采用Z形式化语言对用例模型建模元素的抽象语法和语义进行形式化的描述，提出了用例模型到Z形式语言的映
【机 构】
：
昆明理工大学信息工程及自动化学院
【出 处】
：
信息技术
【发表日期】
：
2013年3期
其他文献
为满足高密度宽带射频封装的要求,微系统产品中广泛采用LTCC基板的BGA封装结构进行平板阵列化集成。基于失效物理的分析方法,分析得出温度循环条件下典型失效模式和适用机理,
实现了一种增敏结构的光纤Bragg光栅(FBG)倾角传感器,在传统等强度梁结构的基础上设计一种新型凸台增敏结构,将经预拉伸后的FBG两端的光纤固定于凸台上,刻有光栅部分位于凸台
4,4′-二苯氧基二苯砜(DPODPS)与对苯二甲酰氯(TPC)、间苯二甲酰氯(IPC)和2,5′-二氯对苯二甲酰氯(DCC)在1,2-二氯乙烷(DCE)中,以无水 AlCl_3为催化剂、在 N-甲基吡咯烷酮(NM
通过利用标准测量设备和超声横波直探头两种测试方法,验证了超声双折射法在轮辋应力测量中的可行性。为车轮轮辋应力检测提供了一种新的高效无损的检测手段,对于列车安全运行状态的判断具有重要意义。
为了解决传统图像风格化算法生成图像的多样性较差的问题,本文提出一种基于EBGAN(Energy-Based Generative Adversarial Net)的网络模型,即在鉴别器中引入能量函数思想,设计Autoencoder使其能分别针对真假输入产生不同重构结果,计算输入图像重构前后的误差值,以此误差值作为能量概念用来鉴别输入图像。在Autoencoder的编码阶段,对于编码后的向量引入正交
QR码凭借诸多优势得以广泛应用的同时，QR码解码工具也迅速发展，随之而来的QR码的信息安全问题也备受关注。文中提出了一种用哈希函数SHA一1对QR码的部分敏感信息进行加密，用加密
“唐宋八大家”当年是语文考纲范畴,我当学生那会儿,光是背下这八个人的名字,就得费好大力气,比背“辛德勒的名单”还难。更不要说比较这八个人的生平与文字风格,分析各自的
AWS是一个典型的Iaa S服务,它提供了一组服务,包括存储（S3）、计算能力（EC2）、消息传递（SQS）、数据集（SDB）等。企业用户可以在几分钟之内迅速地获得一个基于Amazon基础设施的虚拟基础
介绍了一种基于MSP430单片机的低频信号分析方法,在此方法的基础上设计了低频信号分析仪。系统通过硬件电路将电压值调理至适当范围,再分别通过整形电路、峰值检测电路,以及