期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到299篇文章
< 1 2 … 15 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Web应用中UML到Event-B的系统性转换方法
1
作者 智玉华 邹盛荣 +1 位作者 刘晓莹 耿雪 《软件导刊》 2025年第8期112-120,共9页
在面向对象的软件开发过程中,UML被广泛应用于建模,但因其语义的不精确性使得模型难以进行形式化验证。同时,Event-B作为一种基于数学逻辑的形式化方法,尽管精确但难以理解。为了充分发挥两种方法的优势,提出一种将UML与Event-B形式化... 在面向对象的软件开发过程中,UML被广泛应用于建模,但因其语义的不精确性使得模型难以进行形式化验证。同时,Event-B作为一种基于数学逻辑的形式化方法,尽管精确但难以理解。为了充分发挥两种方法的优势,提出一种将UML与Event-B形式化方法相结合的解决方案,针对中型Web应用系统,提出了用例图、类图、顺序图、组件图和部署图5种UML图到Event-B的转换方法。通过将其应用于实际Web应用系统,并利用Rodin平台的证明器解除模型中的证明义务,验证了这一转换方法的可行性和有效性。该方法的应用,不仅提高了UML的精确性和系统的可靠性,减少了故障风险,还增强了形式化方法的可理解性,有助于其推广和应用。 展开更多
关键词 统一建模语言 形式化方法 EVENT-B web应用
在线阅读 下载PDF
基于UML的WEB应用系统建模方法的研究 被引量：36
2
作者 邓勇 丁峰 沈钧毅 《计算机工程与应用》 CSCD 北大核心 2000年第6期19-21,共3页
目前WEB应用的复杂性正日益增加。任何较复杂的系统都需要经过设计和建模，因此应该用基于模型的方法来开发WEB应用。文章介绍了一种用UML的扩展机制为WEB应用系统建模的方法，该方法在设计阶段使用，能用于各种WEB技术（如CGI、ASP和IS... 目前WEB应用的复杂性正日益增加。任何较复杂的系统都需要经过设计和建模，因此应该用基于模型的方法来开发WEB应用。文章介绍了一种用UML的扩展机制为WEB应用系统建模的方法，该方法在设计阶段使用，能用于各种WEB技术（如CGI、ASP和ISAPI等）。 展开更多
关键词 web 应用系统 建模 uml语言 服务器 浏览器
在线阅读 下载PDF
基于Web的设备管理系统UML建模 被引量：7
3
作者 施杰 唐秀英 +1 位作者 张毅杰 施骏 《云南农业大学学报（自然科学版）》 CAS CSCD 北大核心 2013年第1期145-150,共6页
设备是企业组织生产的物质基础,在制造业中起着非常重要的作用。现代设备呈现出结构复杂、功能完善、自动化程度高等特点,只有利用先进的信息技术来对其进行管理,才能有效提高设备管理的工作效率。因此,实现设备管理信息化成为了企业信... 设备是企业组织生产的物质基础,在制造业中起着非常重要的作用。现代设备呈现出结构复杂、功能完善、自动化程度高等特点,只有利用先进的信息技术来对其进行管理,才能有效提高设备管理的工作效率。因此,实现设备管理信息化成为了企业信息化的重要组成部分。然而,随着面向设备管理领域软件体系结构和Web应用复杂性越来越高,原有的CGI、ISAPI等技术,已很难满足对分布式对象访问和操作的需求。所以,本文以实现系统的复用为目标,将组件技术与Web技术相结合,在某烟厂的实际项目Web-based Equip-ment Management System(WEMS)开发过程中,采用统一建模语言(UML)对特定领域设备管理软件进行了从需求模型、静态模型、动态模型到物理模型的软件全生命周期可视化建模,提出了分布式系统建模的解决方案。最终,在Microsoft.NET框架下,采用C#语言和SQL2000数据库开发了WEMS系统,同时也验证了该分布式系统建模方案的有效性。 展开更多
关键词 设备管理 web应用 uml 组件技术
在线阅读 下载PDF
Web应用的UML协作图建模与形式化规格说明 被引量：2
4
作者 汪斌 袁捷 +2 位作者 缪淮扣 毕德闯 朱洪宝 《计算机工程与设计》 CSCD 北大核心 2008年第19期4898-4902,共5页
针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息。研究了运用Object-Z语言来形式... 针对Web应用的特点,从整体功能层面和交互行为层面用UML协作图构建了Web应用模型,以便精确、有效地描述参与协作对象间的结构关系和交互行为,保证在利用UML形式的规格说明推导测试用例时所需的语义信息。研究了运用Object-Z语言来形式化描述Web应用模型,提出了相应的转换规则。设计了形式化规格说明自动化生成的工具(UMLTOZ)中的主要相关类库。 展开更多
关键词 web应用 建模 uml协作图 形式化规格说明 自动化工具
在线阅读 下载PDF
基于UML的Web应用软件的设计与实现 被引量：5
5
作者 王璐 任满杰 周汝宝 《烟台大学学报（自然科学与工程版）》 CAS 2004年第3期212-217,共6页
针对现有UML建模工具对Web应用程序设计支持不够理想的问题,提出了Web设计面向对象化的方法,抽象出Web应用程序中结构相似的、功能相近的可复用的内容.通过绘制UML示图进行Web软件结构、流程和数据建模,生成软件代码以及数据库结构的解... 针对现有UML建模工具对Web应用程序设计支持不够理想的问题,提出了Web设计面向对象化的方法,抽象出Web应用程序中结构相似的、功能相近的可复用的内容.通过绘制UML示图进行Web软件结构、流程和数据建模,生成软件代码以及数据库结构的解决方案,并结合自己开发的UML建模软件工具WebBuilder阐述了用UML图设计Web应用程序的对象模型和功能模型,由此生成软件实例的方法. 展开更多
关键词 面向对象 uml建模 web 类
在线阅读 下载PDF
UML在Web组件建模中的应用研究 被引量：5
6
作者 刘宪凯 张维石 《计算机工程与应用》 CSCD 北大核心 2002年第1期96-98,共3页
基于Web的应用越来越受到人们的欢迎,对Web应用进行有效的建模成为Web应用成功与否的重要因素之一。统一建模语言(UML)是一种用于可视化、说明、构建并文档化软件系统的标准建模语言,该文首先简要介绍了UML的产生背景以及UML的各种框图... 基于Web的应用越来越受到人们的欢迎,对Web应用进行有效的建模成为Web应用成功与否的重要因素之一。统一建模语言(UML)是一种用于可视化、说明、构建并文档化软件系统的标准建模语言,该文首先简要介绍了UML的产生背景以及UML的各种框图,在此基础上提出了利用UML的扩展构造基于Web的应用程序。 展开更多
关键词 建模 组件web uml CORBA
在线阅读 下载PDF
基于UML活动图的Web应用测试用例生成 被引量：7
7
作者 刘龙霞 吴军华 《江南大学学报（自然科学版）》 CAS 2011年第3期283-288,共6页
Web应用测试是保证Web应用程序质量的重要手段,测试的核心工作是生成测试用例。针对Web应用的功能测试,介绍了基于UML活动图的产生测试用例的方法,并根据一定测试覆盖准则,重点考虑了活动图中的并发活动的顺序及排序,避免了测试用例数... Web应用测试是保证Web应用程序质量的重要手段,测试的核心工作是生成测试用例。针对Web应用的功能测试,介绍了基于UML活动图的产生测试用例的方法,并根据一定测试覆盖准则,重点考虑了活动图中的并发活动的顺序及排序,避免了测试用例数量爆炸,从而提高了Web应用自动化测试用例生成的可行性。 展开更多
关键词 uml活动图 测试用例 web应用 功能测试
在线阅读 下载PDF
UML在Web评教管理系统建模中的应用与实现 被引量：1
8
作者 施佺 《计算机与现代化》 2005年第9期103-105,109,共4页
针对Web评教管理系统传统开发方法的不足,本文提出了一种基于面向对象的UML建模设计方法。通过对Web评教管理系统的需求分析,利用UML建模工具RationalROSE给出了Web评教管理系统开发设计的应用实例。实践证明,用这种方法大大提高了系统... 针对Web评教管理系统传统开发方法的不足,本文提出了一种基于面向对象的UML建模设计方法。通过对Web评教管理系统的需求分析,利用UML建模工具RationalROSE给出了Web评教管理系统开发设计的应用实例。实践证明,用这种方法大大提高了系统分析设计以及实现的效率。 展开更多
关键词 uml web 评教管理 建模
在线阅读 下载PDF
基于UML的Web应用系统设计与实现 被引量：1
9
作者 徐国庆 文俊浩 《武汉化工学院学报》 2006年第1期64-66,70,共4页
统一建模语言是一种通用的面向对象的可视化建模语言,使用R ationa l R ose可以快速建立系统的统一建模语言模型,并进行系统类和数据库的深入设计.本文使用统一建模语言设计开发基于W eb的作业发布系统,该系统具有结构清晰、维护性和交... 统一建模语言是一种通用的面向对象的可视化建模语言,使用R ationa l R ose可以快速建立系统的统一建模语言模型,并进行系统类和数据库的深入设计.本文使用统一建模语言设计开发基于W eb的作业发布系统,该系统具有结构清晰、维护性和交互性好等优点. 展开更多
关键词 uml web 应用系统
在线阅读 下载PDF
基于Web的继电保护管理信息系统的UML设计
10
作者 侯贸军 韩智铃 《铁路计算机应用》 2005年第10期42-44,共3页
针对基于Web的继电保护管理信息系统的功能特点和开发难点,用UML实现了Web的继电保护管理信息系统的建模,为系统软件的开发奠定了基础。
关键词 web 继电保护 MIS uml建模
在线阅读 下载PDF
基于Web的继电保护管理信息系统的UML设计
11
作者 侯贸军 韩智铃 《计算机与现代化》 2006年第3期58-60,63,共4页
针对基于Web的继电保护管理信息系统的功能特点和开发难点,用UML实现了Web的继电保护管理信息系统的建模,为系统软件的开发奠定了基础。
关键词 web 继电保护 MIS uml建模
在线阅读 下载PDF
Web布局的UML Profile建模
12
作者 王智群 《江西师范大学学报（自然科学版）》 CAS 北大核心 2009年第2期153-156,共4页
UML是当前建立面向对象复杂系统比较流行的可视化语言,虽然在Web系统开发时可以使用UML对系统的结构和行为建模,但却不能对界面布局建模,设计者只能用勾绘草图等方法来进行界面布局设计,这给UML设计者带来很大的不便.基于UML2.0的扩展... UML是当前建立面向对象复杂系统比较流行的可视化语言,虽然在Web系统开发时可以使用UML对系统的结构和行为建模,但却不能对界面布局建模,设计者只能用勾绘草图等方法来进行界面布局设计,这给UML设计者带来很大的不便.基于UML2.0的扩展机制并结合UML2.0的图交换规范建立的Web布局元模型,很好地解决了这一问题,使得Web布局建模可以统一在UML语言和UML的建模工具中,并可产生原型化的界面. 展开更多
关键词 web布局 uml外廓 衍型 建模
在线阅读 下载PDF
基于UML的ASP.NETWeb应用程序设计
13
作者 赖步英 《微型电脑应用》 2005年第5期36-39,66,共4页
随着Internet应用的不断发展,ASP.NET技术正在逐步取代ASP技术,而成为开发Internet(Web)应用程序的首选产品。Web应用程序通常由大量网页构成,ASP.NET也不例外,因此,如何有效地进行Web应用程序的设计与开发,是非常值得研究的问题。基于... 随着Internet应用的不断发展,ASP.NET技术正在逐步取代ASP技术,而成为开发Internet(Web)应用程序的首选产品。Web应用程序通常由大量网页构成,ASP.NET也不例外,因此,如何有效地进行Web应用程序的设计与开发,是非常值得研究的问题。基于目前较为成熟的UML建模语言,针对Web应用程序的特点,本文对ASP.NET应用程序设计的若干问题进行了研究。 展开更多
关键词 应用程序设计 uml web应用程序 ASP.NET技术 Internet ASP技术 设计与开发 建模语言 若干问题 网页
在线阅读 下载PDF
基于Web的数控机床远程故障诊断系统的UML模型
14
作者 王金娥 《苏州大学学报（工科版）》 CAS 2005年第4期45-47,共3页
论述了统一建模语言UML扩展机制的表示法、语义及进行系统模型分析的基本思想。在对数控机床远程故障诊断系统功能分析的基础上,利用UML的扩展机制建立了数控机床远程故障诊断系统UML模型,并对系统的信号远程分析处理模块的设计与实现... 论述了统一建模语言UML扩展机制的表示法、语义及进行系统模型分析的基本思想。在对数控机床远程故障诊断系统功能分析的基础上,利用UML的扩展机制建立了数控机床远程故障诊断系统UML模型,并对系统的信号远程分析处理模块的设计与实现方法进行讨论。 展开更多
关键词 数控机床 web 故障诊断 uml 模型
在线阅读 下载PDF
UML在WEB网站的应用与研究
15
作者 吴立春 《扬州职业大学学报》 2005年第2期57-59,共3页
用UML方法分析设计了WEB应用程序,根据WEB应用程序的特点分析UML如何高效地应用于WEB应用程序。并通过实例阐述了UML在开发Web站点的应用。
关键词 uml 建模 web
在线阅读 下载PDF
UML技术在Web开发中的应用 被引量：6
16
作者 杜龙姣 李尚慧 《应用科技》 CAS 2003年第2期28-31,共4页
基于Web的应用系统变得非常普遍,对Web系统进行有效的建模是降低Web应用开发风险的重要方式。简要介绍了UML技术和Web应用程序框架,并对UML进行了扩展使得Web特有的构件能与系统模型的其余部分集成。
关键词 uml web应用 扩展
在线阅读 下载PDF
基于Web电梯销售合同管理系统的UML建模 被引量：1
17
作者 黄江洋 杨灿军 陈鹰 《机电工程》 CAS 2001年第5期50-53,共4页
随着Web应用的日益复杂,对系统的分析和设计显得尤其重要,本文通过UML及其扩展机制对一个比较复杂的Web应用系统进行了建模,对整个应用系统进行了面向对象的分析、设计和实现。
关键词 电梯 销售合同 管理系统 web uml 建模
在线阅读 下载PDF
基于UML Profile的WEB布局建模
18
作者 王智群 吴显德 《通信技术》 2009年第3期242-243,246,共3页
在WEB系统开发时可以使用UML对系统的结构和行为建模,但是却不能对界面布局建模,设计者只能用勾绘草图等方法来进行界面布局设计,这给UML设计者带来很大的不便。文中基于UML2.0的扩展机制并结合UML2.0的图交换规范建立的WEB布局元模型,... 在WEB系统开发时可以使用UML对系统的结构和行为建模,但是却不能对界面布局建模,设计者只能用勾绘草图等方法来进行界面布局设计,这给UML设计者带来很大的不便。文中基于UML2.0的扩展机制并结合UML2.0的图交换规范建立的WEB布局元模型,很好地解决了这一问题,使得Web布局建模可以统一在UML语言和工具中,并为界面的自动化生成提供了基础。 展开更多
关键词 web布局 uml外廓 衍型 建模
原文传递
基于Web的设备远程监测与诊断系统UML模型 被引量：10
19
作者 伍星 陈进 李如强 《计算机工程》 CAS CSCD 北大核心 2004年第14期27-29,共3页
以实现软件系统在设备远程监测与故障诊断领域的复用为目标,在实际项目的基础上,介绍了采用UML(统一模型语言)对整个系统进行需求分析、静态和动态建模的过程,提出了系统中组件的分类策略,指出UML在设备监测和故障诊断系统开发和应用领... 以实现软件系统在设备远程监测与故障诊断领域的复用为目标,在实际项目的基础上,介绍了采用UML(统一模型语言)对整个系统进行需求分析、静态和动态建模的过程,提出了系统中组件的分类策略,指出UML在设备监测和故障诊断系统开发和应用领域具有重要的价值。 展开更多
关键词 web应用 远程监测 故障诊断 统一模型语言 组件框架
在线阅读 下载PDF
运用UML对基于J2EE的Web应用系统建模研究 被引量：3
20
作者 周世兵 刘渊 《计算机工程与设计》 CSCD 北大核心 2007年第2期368-370,共3页
构建基于J2EE的Web应用系统是当前的热点,UML是用于建立面向对象系统模型的标准建模语言,如何运用UML对Web应用系统建模是一个新的研究方向。阐述了结合使用J2EE和UML的原因以及如何运用UML实现对J2EE的建模表示,探讨了运用UML对基于J2E... 构建基于J2EE的Web应用系统是当前的热点,UML是用于建立面向对象系统模型的标准建模语言,如何运用UML对Web应用系统建模是一个新的研究方向。阐述了结合使用J2EE和UML的原因以及如何运用UML实现对J2EE的建模表示,探讨了运用UML对基于J2EE的Web应用系统建模的一般过程和方法,并结合一个网上拍卖系统的建模实例,详细说明了其建模过程和建模方法。通过对Web应用系统建模,可以有效地保证Web应用系统开发的质量。 展开更多
关键词 web应用系统 JAVA 2企业版 统一建模语言 建模过程 建模方法
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 15 下一页 到第 页
使用帮助 返回顶部