QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 内容类型：期刊论文    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 一种基于UML的网络安全体系建模分析方法 期刊论文 计算机研究与发展, 2014, 卷号: 51, 期号: 7, 页码: 1578-1593 布宁; 刘玉岭; 连一峰; 黄亮 收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16 网络安全体系  UML建模  安全目标  安全边界  安全措施  network security infrastructure  UML modeling  security goals  security boundary  security measures   软件过程建模方法研究 期刊论文 软件学报, 2009, 卷号: 20, 期号: 3, 页码: 524-545 李明树; 杨秋松; 翟健 收藏  |  浏览/下载：15/0  |  提交时间：2010/07/05 软件过程  建模  分析  系统评价   BPMN到BPEL2.0的模型转换方法 期刊论文 计算机应用研究, 2008, 卷号: 25, 期号: 11, 页码: 3363-3366 魏明; 夏永霖; 魏峻 收藏  |  浏览/下载：12/0  |  提交时间：2011/06/10 业务流程管理  模型转换  业务流程建模符号  业务流程执行语言  模型  中国科学院  组件  转换方法  支持  实际运用  软件  建模工具  规范标准  工程中心  错误处理  研究所  可用性  语义  特性  适用  事务  设计  扩展  检验   一类基于IPO的工作流过程建模语言规范分析 期刊论文 计算机工程与应用, 2002, 卷号: 38, 期号: 21, 页码: 54-58 邹冰; 张旭; 伊晓强; 王宏安; 戴国忠 收藏  |  浏览/下载：13/0  |  提交时间：2010/06/01 工作流  过程模型  IPO  WPDL  XPDL  PSL  XML   一种基于对象序列图的组件交互协议设计方法 期刊论文 软件学报, 2001, 卷号: 12, 期号: 7, 页码: 996-1006 魏峻; 王栩; 李京 收藏  |  浏览/下载：5/0  |  提交时间：2011/07/29 对象序列图  组件  互操作  交互  交互协议  模型检查  形式分析  对象序列图  组件交互  交互协议  设计方法  software development  形式分析方法  组件的软件开发  sequence diagram  互操作性  可视化建模  形式定义  协议设计  思想  软件工具  交互特征  规范  分离组件  标准化  运用  协调Interoperability