排序方式: 共有62条查询结果,搜索用时 78 毫秒
11.
12.
基于UML的电力调度管理信息系统的设计与实现 总被引:1,自引:0,他引:1
钟建伟 《西安航空技术高等专科学校学报》2005,23(3):33-35
在分析了UML的建模机制的基础上,以UML为工具进行电力调度管理系统的建模设计,给出了设计过程中的用例图、类图和交互图,并在C/S和B/S模式相结合的方式下,开发出了电力调度信息管理系统的软件。 相似文献
13.
构造正则表达式的简化DFA算法 总被引:2,自引:0,他引:2
檀凤琴 《北京航空航天大学学报》1998,24(4):495-498
介绍了构造等价于给定正则表达式的简化确定有限自动机(DFA)的算法.方法是首先构造与正则表达式等价的非确定有限自动机(NFA), 这里省略了构造带ε动作的有限自动机的操作, 然后用状态树构造与该NFA等价的简化DFA.这个算法在计算机上已实现, 并且对输入的任意正则表达式, 都可以输出等价于正则表达式的简化DFA.该算法可以用于某些离散信息处理系统的设计与分析. 相似文献
14.
基于面向侧面技术及统一建模语言状态图提出了并发式软件系统开发过程中横切特性的建模方法.该方法将并发软件系统的业务逻辑和横切行为分别封装到复合状态的不同正交区域中,并通过事件广播机制反映二者的交互关系.同时,以模块化的状态迁移系统作为基本计算模型,对该建模方法进行形式化描述,给出了模型元素及建模过程的精确语义.实例研究表明,该方法在并发软件设计阶段实现了横切关注点的分离策略,并使得系统模型具有松耦合、适应性和可跟踪性的优点. 相似文献
15.
软件测试是保证嵌入式软件质量的重要手段之一,测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言(UML)状态图生成测试用例集的方法,根据状态、迁移不变性原则以及动作映射,将UML状态图转换为扩展有限状态机(EFSM),采用广度优先搜索满足状态、迁移覆盖准则,由测试序列建立查找表生成测试用例集.最后给出实例说明该方法的可行性和有效性. 相似文献
16.
一般情况下,设计模式及其组合应用都是通过UML来建模的,然而当一种设计模式应用于或与其它模式组合应用时,模式相关的信息有可能因为传统的UML图在一个具体的上下文中不能跟踪到这一信息而丢失。因此,设计者要识别一个用于或者组成其它模式的设计模式就很困难。在本文中,我们提出了几种扩展符号来明确地描述在设计模式应用和组合中的设计模式。这些符号使我们可以维护模式相关的信息。这样,在应用和与其它模式组合时,设计模式就可以识别和跟踪了。 相似文献
17.
为快速构建飞行器控制软件的系统功能与行为模型,以无人飞行器为时象研究了一种飞控软件的Statechart原型(简称SCP)及其验证技术。基于软件虚拟原型,该SCP采用形式化语言Statechart对飞控软件进行自顶而下的功能与行为建模。先通过顶层模块定义系统的入口与主流程,接着构造两个并发的子模块:主控模块描述飞行控制与设备管理的状态演变,定时控制模块完成控制输出的实时更新。之后分别从语法、功能及性能3个层面对SCP进行验证与测试,并给出相关实验。该SCP具有层次性、模块化、可视化、可执行和快速反应等特点,适用于各种复杂嵌入式系统(包括有人飞行器和高空高速无人飞行器的飞控系统)的软件规范设计。 相似文献
18.
基于UML—OOPN的可重构制造单元建模 总被引:1,自引:1,他引:1
以可重构制造单元为研究对象,以实现其可重组性为研究目标。提出了一种集成标准建模语言UML和面向对象Petri网的建模方法-UML-OOPN,该方法同时具备了标准建模语言UML和Petri网的优点,不仅能够提供了支持需求分析,模型描述和设计,模型分析和仿真,直至模型实现的一块化框架,而且所建立的系统模型具有较好的可重用性和可扩展性。 相似文献
19.
为满足2000版ISO9000过程管理模式的要求,使用工作流技术解决过程控制问题成了企业质量管理的一种需要.本课题用UML类图表达了工作流参考模型,统一了UML活动图与工作流过程模型的概念,并根据工作流的概念扩展了UML活动图.文末,利用扩展的活动图表达了质量管理中一个典型的过程--不合格品的控制过程. 相似文献
20.
Oracle9iAS是构建Web应用的理想平台,如何在Omcle9iAS平台上快速、有效地构建和部署Web应用有其内在的复杂性。通过对一个实际Web应用的建模过程,介绍了如何运用基于RUP应用UML,以及Oracle9i JDeveloper构建Web应用的方法。实践证明,在基于RUP以体系结构为中心的建模方法指导下,应用UML丰富的可视化建模元素,可以快速、准确地构建面向对象的Web应用模型。 相似文献