PETRI网描述的VPML语义

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户：bartech

【摘要】

：

企事业过程建模系统EPMS（Enterprise Process Modeling System)以可视化过程建模语言VPML（Visual Process Modeling Language)为基础，用于过程模型建造和过程模型模拟，VPML语义的

【作者】

：

任爱华周伯生

【机构】

：

北京航空航天大学软件工程研究所

【出处】

：

计算机工程与应用

【发表日期】

：

2001年12期

【关键词】

：

可视化建模语言面向对象 PETRI网 VPML语言软件工程： Visual Modeling Language Object Oriented Techn

【基金项目】

：

国家自然科学基金!（编号：69883002）

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

企事业过程建模系统EPMS（Enterprise Process Modeling System)以可视化过程建模语言VPML（Visual Process Modeling Language)为基础，用于过程模型建造和过程模型模拟，VPML语义的正确性与完备性是得到可靠的过程模型的基本保证，文章以枚举法为基础，利用PETRI网描述VPML的所有语义，证明其语义的正确性与完备性，利用二者之间建立的映射关系，将VPML建立的模型转换为PETRI网描述，借助于PETRI网工具可进行系统性能分析，提高产品开发的

其他文献

基于突变理论的软粘土蠕变变形经验公式研究

将尖点突变模型和燕尾突变模型应用于软粘土三轴剪切蠕变试验的蠕变变形经验公式研究,得到了不同应力水平的剪应力-轴向应变-时间（q-ε1-t）之间的关系表达式,以及能综合描述各

期刊

突变理论尖点突变模型燕尾突变模型catastrophe theory cusp catastrophe model coattail catastro

大瑞铁路高黎贡山越岭段地质灾害工程分区评价

大瑞铁路在通过高黎贡山越岭区域时,由于地质条件的复杂性,线路工程方案主要受地质因素控制。通过高黎贡山越岭段地质灾害类型、规模、影响因素的详细分析,采用层次分析法建

期刊

地质灾害工程分区层次分析法geological hazard engineering division analytic hierarchy proc

太阳能将引领中国绿色住宅新趋势

当前，中国能源领域正孕育着新的革命。中国已成为世界上最大的太阳能热水器产销国。业内人士预测，太阳能将引领中国绿色住宅新趋势。

期刊

太阳能热水器绿色住宅中国能源领域

一种有效的优化编译实现策略

优化编译技术在现代处理器的研究中表现出越来越重要的作用，文章从现代编译器的结构入手，综合介绍现代编译器所普遍采用的优化技术，并提出了一种有效的优化编译器实现策略。

期刊

优化编译高层优化局部优化全局优化编译器程序代码微处理器Compiler OptimizationsHigh－level optimization

色彩：使换乘从便捷到享受

在以地铁为先锋的轨道交通迅猛发展的今天，交通枢纽建筑在大城市中应运而生。它汇集多种交通工具衔接换乘于一体，它是城市与城市、城市与郊区、郊区与郊区等地域的火车站、航空

期刊

换乘色彩轨道交通交通枢纽大城市交通工具城市节点客运码头

库水对既有高速公路桥区岸坡稳定性影响研究

以贵州省正安县猫溪沟水库工程库水对已建道安高速桥梁岸坡稳定性影响为研究对象,对岸坡基本特征、潜在滑动体、失稳模式进行分析,采用多种刚体极限平衡法进行各工况稳定性计

期刊

水库水位变动既有高速公路桥区岸坡稳定性影响reservoirwater level changeexisting highwaybridge b

面向Agent的软件工程

Agent技术在计算机诉建模、设计和实现等方面有巨大的潜力，它带来的大量的新的理论与方法将大大推动软件工程领域研究的进程。文章讨论了Agent技术在计算机软件系统开发方面的

期刊

软件工程多AGENT系统程序设计语言计算机Agent－based approachSoftware engineeringMulti－agent s

基于UML和组件技术的软件开发环境IUMLSE的研究与实现

统一建模语言UML（Unified Modeling Language)正逐步成为面向对象技术领域内占主导地位的建模语言，而组件（Component)技术的蓬勃发展使基于组件组装的软件开发友情为可能，两者正

期刊

统一建模语言面向对象软件开发环境IUMLSEUML组件技术： Unified Modeling lauguageUMLObject－Orien

浅谈VRV空调系统室外机散热校核

本文分析了VRV空调系统室外机的散热问题，并通过工程实例，探讨了如何对VRV空调系统室外机进行散热校核。

期刊

VRV系统散热校核气流短路VRV system thermal diffusion verification airflow short circui

一种多媒体计算机网络互连节点动态流控模型分析

文章提出一种基于信息分组变速率控制服务机制的网络互连节点流控策略，以适应多媒体网络传输的QoS要求，节点模型按照非对称双队列周期查询式安全服务排队系统构成。利用嵌入马

期刊

INTERNET计算机网络网络连节点流控模型多媒体服务质量integrative service Internet QoSdynamic tra

PETRI网描述的VPML语义

与本文相关的学术论文