A Feature-Complete Petri Net Semantics for WS-BPEL 2.0

Lohmann, Niels

doi:10.1007/978-3-540-79230-7_6

Cited by 98 publications

(85 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…For example, [8] focuses on control flow modeling thus state information is implicit. [9], [10], [11] address activity stops and correlation errors, which are not relevant and therefore unnecessarily complicate our formalism. Thus, we propose a simplified Petri Nets formalism.…”

Section: Modeling: Business Processes To Petri Netsmentioning

confidence: 99%

Robust Client/Server Shared State Interactions of Collaborative Process with System Crash and Network Failures

Wang

Wombacher

Pires³

et al. 2013

2013 IEEE International Conference on Services Computing

View full text Add to dashboard Cite

Abstract-With the possibility of system crashes and network failures, the design of robust client/server interactions for collaborative process execution is a challenge. If a business process changes state, it sends messages to relevant processes to inform about this change. However, server crashes and network failures may result in loss of messages. In this case, the state change is performed by one party, resulting in state/behavior inconsistencies and possibly deadlocks. Our basic idea to solve the problem is to cache the response (in a synchronous interaction) if the state of the process instance has changed by the request message. The possible state inconsistencies are recognized and compensated by state-caching and retrying failed interactions. By doing this work, we have learnt the possible failures caused by system crashes and network failures. Our results make it possible to build robust interactions by cached-based process transformations.

show abstract

Section: Modeling: Business Processes To Petri Netsmentioning

confidence: 99%

Robust Client/Server Shared State Interactions of Collaborative Process with System Crash and Network Failures

Wang

Wombacher

Pires³

et al. 2013

2013 IEEE International Conference on Services Computing

View full text Add to dashboard Cite

show abstract

“…Another drawback is the strong limitation to only 8 very simple interaction patterns which are prescribed by the WSDL 2.0 [6]. To overcome this limit, BPEL can be equipped with an formal semantics as well as it is done for example in [22,23,21,33]. Secondly, it enables to avoid one-shot transformations.…”

Section: R3) Hierarchabilitymentioning

confidence: 99%

ePASS-IoS 1.1: Enabling Inter-enterprise Business Process Modeling by S-BPM and the Internet of Services Concept

Borgert

Steinmetz

Mühlhäuser

2011

Communications in Computer and Information Science

View full text Add to dashboard Cite

Abstract. The future "Internet of Services" (IoS) will provide an open environment allowing market participants to offer and consume services over Internet marketplaces. It gives businesses the opportunity to outsource parts of their business processes. This leads to networks of cooperating businesses with a distributed execution of processes and provides a good support for inter-enterprise modeling. Many methods have been proposed to describe such processes, however most only focus on certain aspects and fall short of others. We present ePASS-IoS, a unified approach to describe processes and service choreographies with well-defined execution and verification semantics. With the formulation of the wellknown workflow and interaction patterns in ePASS-IoS, we show that its expressiveness is adequate. To clearly define the semantics of the language, we formalize it using a process algebra.

show abstract

“…in case of UML or BPEL). Or in other terms, their formal semantics is defined in denotational way by mapping them to a formal target DML like Petri nets [15], [16]. It is worth pointing out that our back-annotation framework only assumes that…”

Section: Back-annotation Of Dynamic Execution Tracesmentioning

confidence: 99%

“…[18] in order to precisely define the dynamic behavior of BPEL processes. In our motivating example we use a Petri net based approach [15], [16], which maps BPEL structures into Petri net subnets that can be embedded and combined using interface places. Fig.…”

Section: A Motivating Scenariomentioning

confidence: 99%

Back-annotation of Simulation Traces with Change-Driven Model Transformations

Hegedüs

Bergmann

Ráth

et al. 2010

2010 8th IEEE International Conference on Software Engineering and Formal Methods

View full text Add to dashboard Cite

Abstract-Model-driven analysis aims at detecting design flaws early in high-level design models by automatically deriving mathematical models. These analysis models are subsequently investigated by formal verification and validation (V&V) tools, which may retrieve traces violating a certain requirement. Back-annotation aims at mapping back the results of V&V tools to the design model in order to highlight the real source of the fault, to ease making necessary amendments.Here we propose a technique for the back-annotation of simulation traces based on change-driven model transformations. Simulation traces of analysis models will be persisted as a change model with high-level change commands representing macro steps of a trace. This trace is back-annotated to the design model using change-driven transformation rules, which bridge the conceptual differences between macro steps in the analysis and design traces. Our concepts will be demonstrated on the back-annotation problem for analyzing BPEL processes using a Petri net simulator.

show abstract

A Feature-Complete Petri Net Semantics for WS-BPEL 2.0

Cited by 98 publications

References 12 publications

Robust Client/Server Shared State Interactions of Collaborative Process with System Crash and Network Failures

Robust Client/Server Shared State Interactions of Collaborative Process with System Crash and Network Failures

ePASS-IoS 1.1: Enabling Inter-enterprise Business Process Modeling by S-BPM and the Internet of Services Concept

Back-annotation of Simulation Traces with Change-Driven Model Transformations

Contact Info

Product

Resources

About