对象PETRI网

作品数：56被引量：162H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：罗雪山罗爱民陈洪辉刘俊先于晓浩更多>>
相关机构：国防科学技术大学南京大学西安建筑科技大学西北工业大学更多>>
相关期刊：《数字技术与应用》《华南理工大学学报（自然科学版）》《计算机工程与应用》《计算机辅助设计与图形学学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机系统结构x
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型转换的C4ISR体系结构可执行模型构建被引量：6
《系统工程与电子技术》2014年第8期1537-1543,共7页谢文才 于晓浩 朱鹏飞 
国家自然科学基金(71171197);中国博士后科学基金(2013T60919)资助课题
为解决当前可执行模型构建效率低、重用性差所造成的体系结构验证困难,实现自动化的可执行模型构建,提出了一种基于模型转换的C4ISR体系结构可执行模型构建方法。该方法基于国际国防企业体系结构本体规范(international defense enterpr...
关键词：C4ISR体系结构 体系结构验证 可执行模型 模型转换 对象PETRI网 
结合公共视图和对象Petri网的跨组织流程建模被引量：15
《计算机科学与探索》2014年第1期18-27,共10页王晶 胡昊 余萍 吕建 葛季栋 
国家自然科学基金 Nos.61003019;61100037;61100039;国家基金委可信集成项目 No.91318301;国家重点基础研究发展计划(973计划)No.2009CB320702~~
组织间协同的信息流以及每个参与组织的自治性是跨组织协同的两个要素。结合跨组织工作流建模与对象网之间的相似性,提出了一种基于公共视图和对象Petri网的跨组织工作流建模方法。组织的公共视图隐藏了内部流程细节,是原流程中仅与合...
关键词：工作流建模 跨组织流程 公共视图 对象PETRI网 
利用对象Petri网验证场景被引量：1
《火力与指挥控制》2009年第7期72-75,共4页邓小妮 姜志平 陈洪辉 罗雪山 
武器装备基金资助项目(51406010704KG0143)
序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证。将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以...
关键词：场景 序列图 对象PETRI网 需求验证 
中间产品C^4ISR体系结构动态行为语义一致性验证方法被引量：3
《火力与指挥控制》2009年第6期11-14,23,共5页丁泽柳 罗雪山 罗爱民 
"十一五"国防预研基金资助项目
目前对于C4ISR体系结构动态行为一致性设计还没有有效的验证方法。针对C4ISR体系结构动态行为的语义一致性,首先分析了其验证的内容和规则,然后以体系结构动态行为描述关键产品为基础,构建一个中间产品,再将其转换为可执行的对象Petri...
关键词：C4ISR 体系结构 动态行为 一致性 对象Petri网(OPN) 
远程考试通用平台的UML模型映射对象Petri网分析
《计算机与现代化》2005年第10期102-104,107,共4页柳青 
针对文献[1]提出的融合UML和对象Petri网优点建模分布式工作流系统的方法,本文进一步对UML模型中的合同及其相互关系映射后的对象Petri网提供了描述系统行为方面的形式化分析方法,并利用此方法对远程考试通用平台进行了动态分析。
关键词：对象PETRI网 UML 合同 形式化分析 远程考试 
基于UML和对象Petri网的分布式工作流系统建模方法研究被引量：5
《计算机应用研究》2004年第5期58-60,63,共4页柳青 胡金柱 
提出了一种融合UML和对象Petri网优点的分布式工作流系统的建模方法,利用UML的扩展机制进行了有关工作流特性的扩展:定制了合同、端口、通信协议块等版类,建立了合同化的层次体系结构;为了对建立的模型进行严密的数学分析和模拟,又提供...
关键词：UML扩展 对象PETRI网 分布式工作流 合同设计 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部