基于Petri网的Web服务流语言(WSFL)建模与分析

• 作者: 孙健 张鹏
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: Petri网 WSFL Web Service 验证 可达性 安全性
• 年，卷（期）: 2004,（7）
• 页码范围: 1382-1386
• 页数: 5页
• 分类号: TP301
• 字数: 3923字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2004.07.068

摘要

描述了Web服务流语言(WSFL)的Petri网建模方法,利用网结构描述商业流程基本结构.在对WSFL的语法元素进行分析的基础上,有效地对WSFL所描述的商业流程进行了Petri网建模.在此基础上,结合Petri网的可达图分析技术,分析和验证了商业流程的可达性和活性等性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张鹏	同济大学计算机科学与工程系	117	984	17.0	26.0
2	孙健	同济大学计算机科学与工程系	37	168	7.0	12.0