语义标记Petri网的组合Web服务建模与验证

• 作者: 段振华 雷丽晖
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: Petri网 Web服务 语义匹配
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 学术研究
• 页码范围: 173-187
• 页数: 15页
• 分类号: TP393
• 字数: 1234字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2009.02.006

摘要

随着Web服务组合的发展,整合业务过程成为可能.组合Web服务可以被看作是基于过程的工作流.由于死锁、不安全和不可达等流的设计错误会影响组合Web服务的有效执行,因此这些错误应在组合Web服务执行前被检测出并修改.提出了基于语义标记Petri网的组合Web服务建模与验证方法.首先提出语义标记Petri网(SaPNs),并给出其语义;用受限描述逻辑tableau算法获得组合Web服务;使用SaPNs描述组合Web服务及其组成部分;最后,使用基于SaPNs的分析方法验证了组合Web服务.使用该方法在开放的Internet环境下可以获得满足客户需求的、可靠的组合Web服务.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	段振华	西安电子科技大学计算理论与技术研究所	47	363	10.0	16.0
2	雷丽晖	西安电子科技大学计算理论与技术研究所	5	111	4.0	5.0