可视化过程建模语言VPML与PETRI网的等价性证明

摘要：

VPML(Visual Process Modeling Language)是企事业过程建模系统EPMS(Enterprise ProcessModelingSystem)所采用的可视化过程建模语言,适用于过程模型建造和过程模型模拟.VPML语言功能的强弱直接影响过程建模的能力,它是过程建模、过程优化和运作的基础.因此,VPML语义的正确性与完备性是得到可靠的过程模型的基本保证.以枚举法为基础,利用PETRI网描述VPML的所有语义,从而证明VPML语义的正确性与完备性.综合VPML语言易于掌握,PETRI网描述并发执行简单易行的优点,建立了二者之间的映射关系,加快系统建模过程,提高开发产品的可靠性.

关键词：可视化建模语言、PETRI网、面向对象技术

所属期刊栏目：22

分类号：TP312(计算技术、计算机技术)

资助基金：国家自然科学基金69883002

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：11-18