排序方式: 共有24条查询结果,搜索用时 505 毫秒
11.
为了满足企业用户对工作流模型在描述能力和分析能力上的要求,提出了一种 支持工作流模式的扩展工作流网(EWF_net,Extended WorkFlow net).EWF_net是在工作 流网(WF_net,WorkFlow net)的基础上增加一些机制扩展而成的,它改善了WF_net对于动态工作流模型的描述能力,直接支持所有工作流模式,特别是多实例 、取消、高级同步等WF_net不能直接描述的模式.EWF_net通过引入控制变量 来描述工作流模型的相关数据信息;通过引入一类特殊的变迁——传递变迁,来 支持模型的动态路由.在Petri网分析技术的基础上提出EWF_net的形式化的正确性分析方 法.该方法由一致性分析和对应的WF_net的合理性分析2部分组成.最后,通过一个应用实例 来说明EWF_net强大的描述和分析能力. 相似文献
12.
13.
基于Petri网的UML状态迁移策略 总被引:2,自引:0,他引:2
分析了统一建模语言(UML,Unified Modeling Language)状态图相关语义,阐述了Petri网基本特征和它所具有的建模事件并发、同步、冲突能力.为得到UML状态图无二义性的、可执行的和可验证的模型,在着色Petri网和层次化Petri网研究成果基础上,研究提出层次着色Petri网(HCPN,Hierarchical Colored Petri Net).HCPN中不同层的着色网CPN通过库所子网或变迁子网相关联.通过实例说明如何借助这些关联从HCPN中的CPN合并得到标注Petri网.标注Petri网可用于指导基于事件驱动的仿真过程,而标注Petri网转换得到的基本Petri网可用来进行特性分析,从而对所描述的UML状态图模型给出合理的评价,有利于建模系统的改进. 相似文献
14.
UML状态图的形式化建模及其分析 总被引:1,自引:1,他引:1
为解决状态图的建模问题,特别是带有复合状态的层次化状态图的建模问题,分析了UML状态图的结构特点和语义特征,构造了层次化着色Petri网HCPN.将复合状态的Petri网子网结构划分成输入/输出端口、状态迁移部分和历史状态部分.其中输入/输出端口分别用于完成子网进入弧的解析和离开的弧的汇总,状态迁移部分完成状态机子网内部状态变换,历史状态部分通过"记忆单元",完成复合状态的"记忆恢复"和"记忆刷新".基于所构造的HCPN结构,总结了状态图复合状态转入/转出迁移的语义和约束规则,阐述了复合状态的Petri网子网的相应描述方法和分析技术.最后针对状态图的安全性要求详细论述了历史状态完备性判定原则、父子层一致性判定原则和状态可达性判定原则的HCPN语义表示.研究成果对进一步开发自动化分析验证工具,优化复杂系统设计方案,提高软件质量具有重要的指导意义. 相似文献
15.
对象Petri网模型的并发软件仿真技术的研究 总被引:2,自引:0,他引:2
唐发根 《北京航空航天大学学报》1998,(4):311
并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的. 相似文献
16.
为实现全集成的环境订成机制,提出了基于Petir网的超文本形式模型和面向对象Petri网,Petir网的引入不仅可以统一CAWE环境的数据集成,控制集成和表示集成,而且可利用已有Petir网理论对集成环境进行性能评价。 相似文献
17.
标准化系统工程方法论研究 总被引:5,自引:0,他引:5
张淑贞 《北京航空航天大学学报》1997,23(2):263-268
标准化系统工程是系统工程学科中的一个门类,属于工程技术层次,依存性及执法性是标准化系统工程两个重要特征。将六维结构作为标准化系统工程方法论的基础进行研究,并举例分析了这种方法率在工程实践中应用取得的效果。 相似文献
18.
对精密模具大面积微结构的电铸制备工艺进行了研究。研究了掩膜厚度、化学微蚀刻、二次辅助阴极对精密模具大面积微结构电铸成型的影响。结果表明,化学微蚀刻能进一步去除显影残胶,提高镀层微结构与模具基板的结合力。在曝光时间为100s,曝光能量为750~810mJ/cm2的曝光工艺条件下,掩膜厚度在130~160μm时,可以得到线宽为100μm侧壁陡直度较好的精密模具微结构。采用外加电势的二次辅助阴极三电极电铸体系可以提高铸层的均匀性。 相似文献
19.
20.
安全性需求是系统安全性保证的关键。随着系统复杂度和耦合度的剧增,安全性需求的分析提取日益困难。通过对系统需求场景的控制结构和过程分析建模,提出描述控制过程中系统变量间关系的变量影响图模型,进一步给出了安全性需求分析方法。通过该方法,使用变量影响图等对控制过程进行分析,生成基于系统理论事故模型和过程(STAMP)的危险性控制活动,并以此获得系统安全性需求。经实验验证,所提出的安全性需求分析方法在正确性和一致性方面具有较好的效果。 相似文献