检索结果-维普期刊中文期刊服务平台

UML可视化建模系统的模型一致性检查机制被引量：30: 1; 作者王云刘又诚周伯生《计算机研究与发展》 EI CSCD 北大核心 2000年第1期1-8,共8页; ＵＭＬ标准建模语言是面向对象技术领域中的重要成果．使用ＵＭＬ解决现实世界中的问题是当前该领域的研究热点．ＵＭＬ集成化支持环境既可提高建模的效率，也可在一定程度上保证所建模型间的一致性；通过模拟动态模型的行为，可在建模... 展开更多; 关键词 uml 可视化建模系统模型一致性软件工程; 在线阅读下载PDF 职称材料

UML可视化建模工具中模型一致性检查机制的研究与实现被引量：11: 2; 作者田丽从周伯生《计算机应用与软件》 CSCD 北大核心 2005年第1期24-26,共3页; 采用统一建模语言UML进行系统建模的过程中 ,模型一致性的建立和维护是正确建模的必要前提。但单靠人工检查的方式来保证模型的正确性 ,不仅给开发人员造成很大负担 ,而且容易出现差错或遗漏。因此 ,在UML可视化建模工具中提供模型一致... 展开更多; 关键词可视化建模工具统一建模语言uml 一致性模型图系统建模正确性自动检测检查机制实施框架负担; 在线阅读下载PDF 职称材料

时间UML-Statecharts建模的工作流时序约束的一致性验证被引量：1: 3; 作者张广泉陆公正戎玫《计算机科学》 CSCD 北大核心 2006年第11期98-101,共4页; 工作流模型验证已经成为工作流的重要研究领域之一,工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,最后分别在建立阶段、实例化阶段和运... 展开更多; 关键词工作流 uml—Statecharts 模型检测时序约束一致性; 在线阅读下载PDF 职称材料

UML的形式化描述语义被引量：6: 4; 作者单黎君朱鸿《计算机工程与科学》 CSCD 北大核心 2010年第3期96-103,共8页; 本文提出了一种新的定义UML形式化语义的方法。我们将建模语言的语义区分为描述语义和功能语义两个方面。描述语义定义哪些系统满足模型,功能语义定义模型中的基本概念。本文用一阶逻辑定义了UML的类图、交互图和状态图的描述语义,并介... 展开更多; 关键词建模语言形式化语义 uml 一阶逻辑一致性检查; 在线阅读下载PDF 职称材料

基于抽象规则的温室蔬菜UML建模研究: 5; 作者王勇姜懿芮 +1 位作者徐志颖姜俊《中国果菜》 2020年第12期75-78,共4页; 以物联网、大数据应用为代表的信息技术在新型农业中得到广泛应用,促进了农业生产方式的转变。利用传感器技术收集农业信息,准确捕捉各种环境参数,对日光温室蔬菜生产系统进行智能化管理,建立不同的统一建模语言(UML)模型,帮助生产者及... 展开更多; 关键词日光温室蔬菜智能化 uml模型一致性检测; 在线阅读下载PDF 职称材料

基于状态约简的顺序图和状态图一致性检测被引量：4: 6; 作者钱成燕雪峰 +1 位作者周勇徐海生《计算机应用研究》 CSCD 北大核心 2014年第5期1452-1455,共4页; 为了解决系统设计过程中模型一致性问题,提出了一种对UML顺序图和状态图的语义一致性检测方法。该方法对顺序图和状态图一致性进行符号化描述,为一致性检测提供理论基础;提出状态约简规则和状态约简算法,能够减少冗余状态和迁移,证明了... 展开更多; 关键词统一建模语言顺序图状态图状态约简模型一致性验证; 在线阅读下载PDF 职称材料

题名UML可视化建模系统的模型一致性检查机制被引量：30: 1; 作者王云刘又诚周伯生; 机构北京航空航天大学软件工程研究所; 出处《计算机研究与发展》 EI CSCD 北大核心 2000年第1期1-8,共8页; 文摘ＵＭＬ标准建模语言是面向对象技术领域中的重要成果．使用ＵＭＬ解决现实世界中的问题是当前该领域的研究热点．ＵＭＬ集成化支持环境既可提高建模的效率，也可在一定程度上保证所建模型间的一致性；通过模拟动态模型的行为，可在建模的早期发现模型中存在的问题；代码生成、逆向变换系统将模型和程序代码有机地统一起来．文中首先介绍北京航空航天大学软件工程研究所研制的ＵＭＬ集成化支持环境的基本组成，然后介绍其中的ＵＭＬ可视化建模系统，并重点论述可视化建模系统中的模型一致性检查机制．; 关键词 uml 可视化建模系统模型一致性软件工程; Keywords uml, uml integrated supporting environment, uml visual modeling system, model consistency; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名UML可视化建模工具中模型一致性检查机制的研究与实现被引量：11: 2; 作者田丽从周伯生; 机构北京航空航天大学软件工程研究所; 出处《计算机应用与软件》 CSCD 北大核心 2005年第1期24-26,共3页; 基金本文研究得到北京市科技新星计划的支持 (项目编号 :H0 1 361 0 2 70 1 1 2 )。; 文摘采用统一建模语言UML进行系统建模的过程中 ,模型一致性的建立和维护是正确建模的必要前提。但单靠人工检查的方式来保证模型的正确性 ,不仅给开发人员造成很大负担 ,而且容易出现差错或遗漏。因此 ,在UML可视化建模工具中提供模型一致性自动检测和维护机制至关重要。本文对UML主要模型图之间的关系进行了分析 ,识别出这些图之间的一些基本的一致性规则 ;在此基础上 ,提出了UML可视化建模工具中模型一致性检查机制的实施框架 ,并对实现该框架的主要思路进行了详细介绍。; 关键词可视化建模工具统一建模语言uml 一致性模型图系统建模正确性自动检测检查机制实施框架负担; Keywords uml visual modeling consistency checking interweave; 分类号 TP311 [自动化与计算机技术—计算机软件与理论] F275 [经济管理—企业管理]; 在线阅读下载PDF 职称材料

题名时间UML-Statecharts建模的工作流时序约束的一致性验证被引量：1: 3; 作者张广泉陆公正戎玫; 机构苏州大学计算机科学与技术学院暨南大学深圳旅游学院; 出处《计算机科学》 CSCD 北大核心 2006年第11期98-101,共4页; 基金江苏省高校自然科学研究项目(05KJB520119) 重庆市教委科学技术研究项目(编号040803) +2 种基金重庆市自然科学基金(编号CSTC 2006BB2259) 中国科学院计算机科学国家重点实验室开放课题(SYSKF0303); 文摘工作流模型验证已经成为工作流的重要研究领域之一,工作流模型的时间正确性的验证也越来越受到关注。本文通过对于UML-Statecharts进行时间扩展,建立工作流的时间模型,再把该模型转化为时间自动机,最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证,检查是否存在相冲突的时序约束。; 关键词工作流 uml—Statecharts 模型检测时序约束一致性; Keywords Workflow,uml-statecharts, Model checking,Temporal constraint,consistency; 分类号 TP399 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名UML的形式化描述语义被引量：6: 4; 作者单黎君朱鸿; 机构国防科学技术大学计算机学院牛津布鲁克斯大学; 出处《计算机工程与科学》 CSCD 北大核心 2010年第3期96-103,共8页; 基金国家973计划资助项目(2005CB321800); 文摘本文提出了一种新的定义UML形式化语义的方法。我们将建模语言的语义区分为描述语义和功能语义两个方面。描述语义定义哪些系统满足模型,功能语义定义模型中的基本概念。本文用一阶逻辑定义了UML的类图、交互图和状态图的描述语义,并介绍我们实现的将UML模型转换成逻辑系统的软件工具LAMBDES,该工具集成了定理证明器SPASS,可以对模型进行自动推理。我们成功地将此方法和工具应用于模型的一致性检查。; 关键词建模语言形式化语义 uml 一阶逻辑一致性检查; Keywords modelling language formal semantics uml first order logic consistency checking; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于抽象规则的温室蔬菜UML建模研究: 5; 作者王勇姜懿芮徐志颖姜俊; 机构驻马店市农业科学院郑州大学信息工程学院郑州大学国际学院; 出处《中国果菜》 2020年第12期75-78,共4页; 基金国家大宗蔬菜产业技术体系项目(CARS-23-G18) 河南省科技攻关项目(172102110146) +1 种基金河南省创新型科技团队项目(C20150054)。; 文摘以物联网、大数据应用为代表的信息技术在新型农业中得到广泛应用,促进了农业生产方式的转变。利用传感器技术收集农业信息,准确捕捉各种环境参数,对日光温室蔬菜生产系统进行智能化管理,建立不同的统一建模语言(UML)模型,帮助生产者及时检测蔬菜生长环境,为蔬菜生长发育提供良好的条件,有较大的研究价值和应用前景。本文针对日光温室蔬菜系统进行UML建模,利用蔬菜系统的抽象规则对系统进行检测,能准确识别蔬菜系统中存在的不一致问题,具有较高的检测效率,以期使建模系统更加高效、便捷,提高蔬菜生产效率。; 关键词日光温室蔬菜智能化 uml模型一致性检测; Keywords Greenhous vegetable intelligent uml model consistency check; 分类号 S63-3 [农业科学—蔬菜学]; 在线阅读下载PDF 职称材料

题名基于状态约简的顺序图和状态图一致性检测被引量：4: 6; 作者钱成燕雪峰周勇徐海生; 机构南京航空航天大学计算机科学与技术学院中国船舶工业系统工程研究院; 出处《计算机应用研究》 CSCD 北大核心 2014年第5期1452-1455,共4页; 基金国防科工局"十二五"重大基础科研资助项目(c0420110005); 文摘为了解决系统设计过程中模型一致性问题,提出了一种对UML顺序图和状态图的语义一致性检测方法。该方法对顺序图和状态图一致性进行符号化描述,为一致性检测提供理论基础;提出状态约简规则和状态约简算法,能够减少冗余状态和迁移,证明了状态约简不影响一致性检测;提出改进的UML模型到PROMELA的转换方法并使用SPIN进行验证。实验表明上述方法能够有效地检测顺序图和状态图的一致性,在验证过程中减少冗余状态和迁移,转换后的代码结构简单、执行效率高。; 关键词统一建模语言顺序图状态图状态约简模型一致性验证; Keywords uml sequence diagram state machine state reduction model consistency checking; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	UML可视化建模系统的模型一致性检查机制	王云刘又诚周伯生	《计算机研究与发展》 EI CSCD 北大核心	2000	30	在线阅读下载PDF 职称材料
2	UML可视化建模工具中模型一致性检查机制的研究与实现	田丽从周伯生	《计算机应用与软件》 CSCD 北大核心	2005	11	在线阅读下载PDF 职称材料
3	时间UML-Statecharts建模的工作流时序约束的一致性验证	张广泉陆公正戎玫	《计算机科学》 CSCD 北大核心	2006	1	在线阅读下载PDF 职称材料
4	UML的形式化描述语义	单黎君朱鸿	《计算机工程与科学》 CSCD 北大核心	2010	6	在线阅读下载PDF 职称材料
5	基于抽象规则的温室蔬菜UML建模研究	王勇姜懿芮徐志颖姜俊	《中国果菜》	2020	0	在线阅读下载PDF 职称材料
6	基于状态约简的顺序图和状态图一致性检测	钱成燕雪峰周勇徐海生	《计算机应用研究》 CSCD 北大核心	2014	4	在线阅读下载PDF 职称材料