Transforming BPEL to Petri Nets

机译：将BPEL转换为Petri Nets

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional behaviour (e.g. faults, events, compensation). The semantics is implemented as a parser that translates BPEL specifications into the input language of the Petri net model checking tool LoLA. We demonstrate that the semantics is well suited for computer aided verification purposes.

机译：我们为Web服务的业务流程执行语言（BPEL）提供了Petri网语义。我们的语义涵盖BPEL的标准行为以及异常行为（例如，故障，事件，补偿）。语义作为解析器实现，该解析器将BPEL规范转换为Petri网络模型检查工具LoLA的输入语言。我们证明了语义非常适合计算机辅助验证目的。

著录项

来源
《International Conference on Business Process Management(BPM 2005); 20050905-08; Nancy(FR)》|2005年|P.220-235|共16页
会议地点 Nancy(FR)
作者
Sebastian Hinz; Karsten Schmidt; Christian Stahl;
展开▼
作者单位

Humboldt-Universitaet zu Berlin, Institut fuer Informatik, D-10099 Berlin;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类管理学;
关键词
business process modeling and analysis; formal models in business process management; process verification and validation; BPEL; petri nets;

机译：业务流程建模与分析;业务流程管理中的正式模型;流程验证与确认; BPEL; Petri网;

相似文献

外文文献
中文文献
专利

1. An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes [J] . Boukhedouma Saida, Alimazighi Zaia International journal of information system modeling and design . 2018,第2期

机译：一种基于分层Petri网的方法，用于验证互联BPEL过程
2. Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets [J] . Berndt Farwer, Mauricio Varea Fundamenta Informaticae . 2006,第1a3期

机译：高级Petri网中控制和数据流的分离：将双流网转换为对象Petri网
3. A Logic Petri Net Method to Analyze the Well-structured Property of WS-BPEL [J] . Hu Qiang Journal of Software Engineering . 2014,第4期

机译：WS-BPEL的结构良好特性的逻辑Petri网方法
4. Transforming BPEL to Petri Nets [C] . Sebastian Hinz, Karsten Schmidt, Christian Stahl International Conference on Business Process Management . 2005

机译：将BPEL转变为Petri网
5. ANALYSIS OF DISTRIBUTED SYSTEM SOFTWARE DESIGN BASED ON STRUCTURED PETRI NET MODEL (PERFORMANCE, PETRI NET) [D] . CHOU, CHING-ROUNG 1986

机译：基于结构化PETRI NET模型（性能，PETRI NET）的分布式系统软件设计分析
6. Essential function of the alveolin network in the subpellicular microtubules and conoid assembly in Toxoplasma gondii [O] . Nicolò Tosetti, Nicolas Dos Santos Pacheco, Eloïse Bertiaux, 2020

机译：弓形虫亚膜微管和圆锥体中肺泡蛋白网络的基本功能
7. Transforming BPEL to Petri Nets [O] . Sebastian Hinz, Karsten Schmidt, Christian Stahl 2005

机译：将BPEL转换为Petri Nets

Transforming BPEL to Petri Nets

摘要

著录项

相似文献

相关主题

期刊订阅