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

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

面向主体的开发方法和可视化建模工具被引量：1: 2; 作者季强《计算机科学》 CSCD 北大核心 2002年第11期150-153,160,共5页; This paper introduces an agent-oriented methodology and modeling tools based on MAGE. The methodology supports analysis, desing and implimentation of multi-agent systems. The modeling tools assist the developer in bui... 展开更多; 关键词软件开发面向对象多主体系统可视化建模工具分布式人工智能软件工具; 在线阅读下载PDF 职称材料

基于语义验证的可视化BPR建模工具: 3; 作者韩强《现代电子技术》 2012年第24期24-28,共5页; 为满足业务流程重组领域的需求变化,重组业务流程需要可验证需求语义特征的建模方法与工具支持,从而为提高执行重组业务流程应用软件的系统支撑平台可信性奠定需求语义验证方面的关键技术基础。针对该问题,研究并提出一种BPR框架下可出... 展开更多; 关键词业务流程重组语义验证可视化建模工具随机Petri NET; 在线阅读下载PDF 职称材料

基于广义随机Petri网的可视化建模与仿真工具被引量：8: 4; 作者黄勇张友良 +1 位作者汪惠芬王志亮《计算机集成制造系统》 EI CSCD 北大核心 2004年第8期892-897,共6页; 为了满足Petri网理论的应用研究的需要,首先给出了层次对象广义随机Petri网模型的定义,并运用面向对象方法设计和开发了基于层次对象广义随机Petri网的可视化建模和仿真工具软件,详细介绍了该软件工具的设计方法,包括功能结构图、网模... 展开更多; 关键词 PETRI网可视化建模与仿真工具面向对象方法可扩展标记语言; 在线阅读下载PDF 职称材料

面向模式的分布式软件构架可视化建模被引量：6: 5; 作者刘炜房鼎益陈晓江《计算机工程》 EI CAS CSCD 北大核心 2005年第3期102-104,共3页; 主要阐述了面向模式的分布式软件构架的概念、原理和常用构架模式的特点。重点研究了提出的面向模式的软件构架建模语言、可视化建模工具的设计原理、功能及特点等,并以一个具体应用实例展示了该建模工具的实用性。; 关键词分布式软件软件构架可视化建模工具建模语言功能设计原理实例模式具体应用特点; 在线阅读下载PDF 职称材料

一种Petri网层次模型建模工具的设计与实现被引量：2: 6; 作者潘熙坤李彤柳青《计算机应用与软件》 CSCD 北大核心 2008年第8期33-35,共3页; 为解决使用Petri网建模遇到的状态空间爆炸问题,提出使用层次模型,采用分层细化逐步求精的方法建立Petri网分层模型。设计并实现基于图形用户界面的普通边界为1的Petri网分层建模工具软件。用户在交互方式下建立Petri网层次模型,并可修... 展开更多; 关键词 PETRI网分层模型可视化建模工具模型调试; 在线阅读下载PDF 职称材料

可视化REST服务组合框架的设计与实现被引量：10: 7; 作者孙祖汉李莹 +2 位作者罗智凌柳生鹏高洪皓《小型微型计算机系统》 CSCD 北大核心 2017年第1期10-14,共5页; 应用SOA是构建松散耦合服务组合系统的有效途径.近年来,REST架构由于具有轻量级并且易于服务访问等优秀特性,迅速成为一种实现SOA的主流方式.为了对可视化服务组合进行研究,提出一种可视化REST服务组合框架,该框架由服务开放平台OKApi... 展开更多; 关键词 SOA REST架构可视化REST服务组合服务开放平台可视化建模工具; 在线阅读下载PDF 职称材料

由序列图合成状态图被引量：2: 8; 作者郭俊丽陈平《计算机工程与设计》 CSCD 2003年第7期50-52,55,共4页; 序列图和状态图对于描述和理解面向对象软件系统有着极其重要的作用。符合UML标准的序列图和状态图存在信息重叠,根据序列图提供的信息可以合成状态图。给出了在Rational Rose中由序列图合成状态图工具的实现。; 关键词面向对象软件系统软件开发可视化建模工具序列图状态图; 在线阅读下载PDF 职称材料

题名UML可视化建模工具中模型一致性检查机制的研究与实现被引量：11: 1; 作者田丽从周伯生; 机构北京航空航天大学软件工程研究所; 出处《计算机应用与软件》 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 职称材料

题名面向主体的开发方法和可视化建模工具被引量：1: 2; 作者季强; 机构中国科技大学研究生院; 出处《计算机科学》 CSCD 北大核心 2002年第11期150-153,160,共5页; 文摘 This paper introduces an agent-oriented methodology and modeling tools based on MAGE. The methodology supports analysis, desing and implimentation of multi-agent systems. The modeling tools assist the developer in building multi-agent systems using the methodology through a set of visual model editors.; 关键词软件开发面向对象多主体系统可视化建模工具分布式人工智能软件工具; Keywords Agent, MAS; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论] TP3 [自动化与计算机技术—计算机科学与技术]; 在线阅读下载PDF 职称材料

题名基于语义验证的可视化BPR建模工具: 3; 作者韩强; 机构北方民族大学计算机科学与工程学院北京邮电大学计算机学院可信分布式计算与服务教育部重点实验室(北京邮电大学); 出处《现代电子技术》 2012年第24期24-28,共5页; 基金国家自然科学基金资助项目(91118002 71061001 +2 种基金 61162013) 宁夏自然科学基金资助项目(NZ0955); 文摘为满足业务流程重组领域的需求变化,重组业务流程需要可验证需求语义特征的建模方法与工具支持,从而为提高执行重组业务流程应用软件的系统支撑平台可信性奠定需求语义验证方面的关键技术基础。针对该问题,研究并提出一种BPR框架下可出具验证的可视化建模工具。该工具在具备基本的可视化业务流程建模功能基础上,可通过与随机Pe-tri Net性能计算工具协同计算,从可覆盖性等角度验证流程属性满足需求语义的合法性。实验结果证明,该工具可提高重组业务流程的正确性和开发效率。; 关键词业务流程重组语义验证可视化建模工具随机Petri NET; Keywords BPR semantic verification visualization process modeler stochastic Petri Net; 分类号 TN919-34 [电子电信—通信与信息系统]; 在线阅读下载PDF 职称材料

题名基于广义随机Petri网的可视化建模与仿真工具被引量：8: 4; 作者黄勇张友良汪惠芬王志亮; 机构南京理工大学机械工程学院; 出处《计算机集成制造系统》 EI CSCD 北大核心 2004年第8期892-897,共6页; 基金总装备部"十五"预研资助项目(41318.1.1.5)。~~; 文摘为了满足Petri网理论的应用研究的需要,首先给出了层次对象广义随机Petri网模型的定义,并运用面向对象方法设计和开发了基于层次对象广义随机Petri网的可视化建模和仿真工具软件,详细介绍了该软件工具的设计方法,包括功能结构图、网模型对象类图和符合可扩展标记语言规范的中性文件格式存储模型数据结构。最后通过实例说明了该工具应用的有效性。; 关键词 PETRI网可视化建模与仿真工具面向对象方法可扩展标记语言; Keywords Petri net visual modeling and simulating tool object-oriented method eXtensible markup language; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名面向模式的分布式软件构架可视化建模被引量：6: 5; 作者刘炜房鼎益陈晓江; 机构西北大学计算机科学系; 出处《计算机工程》 EI CAS CSCD 北大核心 2005年第3期102-104,共3页; 基金陕西省教育厅重点科研基金资助项目(01ZC26); 文摘主要阐述了面向模式的分布式软件构架的概念、原理和常用构架模式的特点。重点研究了提出的面向模式的软件构架建模语言、可视化建模工具的设计原理、功能及特点等,并以一个具体应用实例展示了该建模工具的实用性。; 关键词分布式软件软件构架可视化建模工具建模语言功能设计原理实例模式具体应用特点; Keywords Pattern Software architecture Component Distributed systems; 分类号 TP311 [自动化与计算机技术—计算机软件与理论] TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种Petri网层次模型建模工具的设计与实现被引量：2: 6; 作者潘熙坤李彤柳青; 机构云南大学信息学院计算机科学与技术系; 出处《计算机应用与软件》 CSCD 北大核心 2008年第8期33-35,共3页; 基金国家自然科学基金项目(60463002); 文摘为解决使用Petri网建模遇到的状态空间爆炸问题,提出使用层次模型,采用分层细化逐步求精的方法建立Petri网分层模型。设计并实现基于图形用户界面的普通边界为1的Petri网分层建模工具软件。用户在交互方式下建立Petri网层次模型,并可修改、删除、存储、分层平面化、简单功能模拟、导入和导出可复用Petri子网和将模型翻译为预定义的模型描述语言源程序。; 关键词 PETRI网分层模型可视化建模工具模型调试; Keywords Petri net Hierarchical model Visual modeling tool Model debugging; 分类号 TP393 [自动化与计算机技术—计算机应用技术] TP311.13 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名可视化REST服务组合框架的设计与实现被引量：10: 7; 作者孙祖汉李莹罗智凌柳生鹏高洪皓; 机构浙江大学计算机科学与技术学院; 出处《小型微型计算机系统》 CSCD 北大核心 2017年第1期10-14,共5页; 基金浙江省自然科学基金项目(LY15F02007)资助; 文摘应用SOA是构建松散耦合服务组合系统的有效途径.近年来,REST架构由于具有轻量级并且易于服务访问等优秀特性,迅速成为一种实现SOA的主流方式.为了对可视化服务组合进行研究,提出一种可视化REST服务组合框架,该框架由服务开放平台OKApi和可视化服务组合建模工具OKApi Studio两部分组成.提出一种统一的服务模型,使得服务具有更加完整的语义.该框架的目标是提供高效可靠的服务开放平台,开发者基于该平台可以更加高效和便捷地进行服务组合.为了验证系统的有效性,以出差案例作为服务组合实例进行了测试,取得了极佳的效果.; 关键词 SOA REST架构可视化REST服务组合服务开放平台可视化建模工具; Keywords SOA REST architecture visualization service composition open service platform visualization modeling tool; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名由序列图合成状态图被引量：2: 8; 作者郭俊丽陈平; 机构西安电子科技大学软件工程研究所; 出处《计算机工程与设计》 CSCD 2003年第7期50-52,55,共4页; 文摘序列图和状态图对于描述和理解面向对象软件系统有着极其重要的作用。符合UML标准的序列图和状态图存在信息重叠,根据序列图提供的信息可以合成状态图。给出了在Rational Rose中由序列图合成状态图工具的实现。; 关键词面向对象软件系统软件开发可视化建模工具序列图状态图; Keywords sequence diagram statecharts UML; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	UML可视化建模工具中模型一致性检查机制的研究与实现	田丽从周伯生	《计算机应用与软件》 CSCD 北大核心	2005	11	在线阅读下载PDF 职称材料
2	面向主体的开发方法和可视化建模工具	季强	《计算机科学》 CSCD 北大核心	2002	1	在线阅读下载PDF 职称材料
3	基于语义验证的可视化BPR建模工具	韩强	《现代电子技术》	2012	0	在线阅读下载PDF 职称材料
4	基于广义随机Petri网的可视化建模与仿真工具	黄勇张友良汪惠芬王志亮	《计算机集成制造系统》 EI CSCD 北大核心	2004	8	在线阅读下载PDF 职称材料
5	面向模式的分布式软件构架可视化建模	刘炜房鼎益陈晓江	《计算机工程》 EI CAS CSCD 北大核心	2005	6	在线阅读下载PDF 职称材料
6	一种Petri网层次模型建模工具的设计与实现	潘熙坤李彤柳青	《计算机应用与软件》 CSCD 北大核心	2008	2	在线阅读下载PDF 职称材料
7	可视化REST服务组合框架的设计与实现	孙祖汉李莹罗智凌柳生鹏高洪皓	《小型微型计算机系统》 CSCD 北大核心	2017	10	在线阅读下载PDF 职称材料
8	由序列图合成状态图	郭俊丽陈平	《计算机工程与设计》 CSCD	2003	2	在线阅读下载PDF 职称材料