合成状态图中非预期状态转换路径的确认

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:bigdoglsm
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
利用Scenario进行需求建模能够反映从用户角度观察到的系统行为,而利用状态图能够从对象角度对系统行为进行精确描述。从Scenario到状态图的自动转换指软件开发过程中,UML需求模型自动生成行为模型的过程。在分析已有的自动转换算法存在的不足的基础上,提出了从语法角度出发,对用例进行分析,提取合适的状态向量;利用在算法中增加Scenario的相关信息,确定非预期状态转换路径。
其他文献
在研究硫铁矿烧渣性质的基础上,进行了烧渣提纯的磁选、重选和工艺流程的条件试验,原料预处理后磁选可制得TFe>60%、回收率70%以上的铁精矿,可用作炼铁原料.
邹鲁出于挽救民族危机的爱国之情,在重掌中山大学8年的办学实践中,形成了独具特色的服务乡村办学理念。在此理念指导下,国立中山大学服务乡村社会政治、经济、教育、文化的成
自主学习是与传统的接受学习相对应的一种现代化学习方式,以学生作为学习的主体。在教学中如何引导学生积极主动学习数学,培养学生的自学能力,使学生从学会到会学,是我们每个
2003年4月至2004年5月,笔者对贵州七星洞(QXD)进行了较为详细的监测,逐月采集了土壤水和洞穴滴水等样品,分别测定了样品的稳定碳同位素组成和水文地球化学参数。结果显示,9个
虚拟企业是企业间的一种动态联盟,它面向全球范围的企业资源,通过构建VE联盟之间的快速重组,实现联盟企业之间的敏捷化和柔性化。因此它是未来企业生产经营和市场竞争的发展
今年磷酸-铵市场一直低迷。目前国内磷酸-铵的销售又进入淡季。需求不旺,当前的市场走势令人担忧。进入5月下旬,55%养分的磷酸-铵的市价与4月下旬相比下跌了约50~100元/t,而且国内
为了提高工业机器人在成型加工中的精度,提出了一种基于建模的离线仿真方法,用来预先判断并补偿在加工生产中由于机器人的柔性而造成的加工偏差。通过实验确定了建模所需要的参
针对运动目标检测中背景模型的维护问题,提出了基于动态三元组(DTDG)的背景建模方法。该方法给出了动态三元组的概念,对每个像素维护一个动态三元组,根据像素的动态变化信息决定更新策略。实现了背景的自动更新,可以适应光照的突变、缓变和场景本身的变化。实验表明了该方法在复杂场景条件下的有效性。
本文以广东省高校为研究对象,通过与国内部分先进省份高校进行比较分析,试图揭示广东省高校在科技创新能力方面的差距,分析影响广东省高校科技创新能力提高的原因,并提出相应的对
体绘制是科学计算可视化的重要手段,针对大规模数据场体绘制计算量大、效率低的问题,提出一种基于哈尔小波变换的三维规则网格数据场快速体绘制方法。采用整体描述、局部细化的策略对转换后的数据进行组织、管理和调度,实现了多尺度分析和快速随机存取,并有效解决了CPU在处理大规模数据集时纹理内存的局限;采用基于CUDA(计算统一设备架构)的GPU加速技术提高体绘制算法性能,很好的实现了大规模数据集的交互式可视化