PETRI网描述的VPML语义  

The Petri Net Modeling for the Semantics of Visual Process Modeling Language

作　　者：任爱华[1] 周伯生[1] 

机构地区：[1]北京航空航天大学软件工程研究所,北京100083

出　　处：《计算机工程与应用》2001年第12期36-41,共6页Computer Engineering and Applications

基　　金：国家自然科学基金!(编号:69883002)

摘　　要：企事业过程建模系统EPMS（Enterprise Process Modeling System）以可视化过程建模语言VPML（Visual Process Modeling Language）为基础，用于过程模型建造和过程模型模拟。VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。文章以枚举法为基础，利用PETRI网描述VPML的所有语义，证明其语义的正确性与完备性。利用二者之间建立的映射关系，将VPML建立的模型转换为PETRI网描述，借助于PETRI网工具可进行系统性能分析，提高产品开发的可靠性。： Enterprise Process Modeling System（EPMS）is based on Visual Process Modeling Language（VPML）．It is used on process modeling and simulation．The validity and maturity of VPML can ensure the reliable process modeling．In terms of enumeration，this paper describes the semantics of VPML by using Petri nets in order to prove the semantic validity and maturity of VPML．By mapping VPML into Petri net，the models expressed by VPML can be translated into Petri net descriptions．Then by using the tool based on Petri nets，the system performance analysis can be done．Thereby，the product developing can be made more reliable．

关 键 词：可视化建模语言 面向对象 PETRI网 VPML语言 软件工程 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]