排序方式: 共有501条查询结果,搜索用时 15 毫秒
391.
由于UML Statechart图缺乏精确的数据流语义,因而难以对UML Statechart图建模的工作流的数据流进行正确性验证.首先,UML Statechart图是基于状态转换的,为此选择标记转换系统(LTS)作为语义域,并用结构化操作语义(sos)分两步定义了UML Statechart图的数据流语义.然后,采用时序逻辑公式表示数据流所需满足的性质,同时给出了将UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性. 相似文献
392.
基于对《中华人民共和国政府信息公开条例》以及相关资料的分析和研究,以计算机软件工程思想和统一建模语言(UML)为技术背号,从技术优势层面和标准化规约层面探讨了统一建模语言(UML)在我国政府信息公开系统建设中应用的可能性,以期为我国政府信息公开系统的建设提供一条新的思路。 相似文献
393.
394.
395.
文章采用文献资料研究法等方法,分析高校体育信息管理现状,阐述高校体育信息化目标,并从系统开发的角度,用UML(Unified Modeling Language)对高校体育信息管理系统进行功能分析与设计,详细描述该系统的模块划分与实现过程,以期为高校体育信息管理提供帮助。 相似文献
396.
本文从基于LAMP+JSP的设计出发,讨论如何使用UML构建Web应用并快速开发系统,以及同步部署基于集群的服务器系统几个方面讨论如何构建一个高可靠性,高效率,安全的WEB网站系统,并给出一个可行的模式. 相似文献
397.
398.
399.
丁蕾 《内蒙古科技与经济》2010,(7):63-64
文章论述了电子商务在国内外的发展情况,以及当前软件技术在电子商务教学领域的应用概况和现有软件的某些缺陷,提出了软件技术在电子商务教学应用中的UML建模改进方案,对我国电子商务教学软件的发展前景进行了预估。 相似文献
400.