Formal modeling of BPEL workflows including fault and compensation handling

Kovács, Máté; Varró, Dániel; Gönczy, László

doi:10.1145/1316550.1316551

Cited by 10 publications

(8 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…SAL models were automatically derived by a complex model transformation [88,89]. • Back-annotation of model checking results to BPEL processes As a reverse problem, back-annotation of the results retrieved by the SAL model checker to the BPEL model of service engineers was carried out [63] by a mapping between traces captured by change-driven transformations [112].…”

Section: Transformations For Service-oriented Computingmentioning

confidence: 99%

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Varró

Bergmann

Hegedüs³

et al. 2016

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

The current release of VIATRA provides opensource tool support for an event-driven, reactive model transformation engine built on top of highly scalable incremental graph queries for models with millions of elements and advanced features such as rule-based design space exploration complex event processing or model obfuscation. However, the history of the VIATRA model transformation framework dates back to over 16 years. Starting as an early academic research prototype as part of the M.Sc project of the the first author it first evolved into a Prolog-based engine followed by a family of open-source projects which by now matured into a component integrated into various industrial and open-source tools and deployed over multiple technologies. This invited paper briefly overviews the evolution of the VIATRA/IncQuery family by highlighting key features and illustrating main transformation concepts along an open case study influenced by an industrial project. Software tools in systems engineeringModel-driven engineering (MDE) plays an important role in the design of critical embedded and cyber-physical systems in various application domains such as automotive, avionics or telecommunication. MDE tools aim to simultaneously improve quality and decrease costs by early validation by highlighting conceptual design flaws well before traditional testing phases in accordance with the correct-by-construction principle. Furthermore, they improve productivity of engineers by automatically synthesizing different design artifacts (source code, configuration tables, test cases, fault trees, etc.) necessitated by certification standards (like DO-178C [117], DO-330 [116] or ISO 26262[78]).Certain shares in the software tool market of systems engineering are dominated by very few industrial tools (e.g., MATLAB Simulink, Dymola, DOORS, MagicDraw) each of which typically provides advanced support for certain development stages (requirements engineering, simulation, allocation, test generation, etc). To protect their intellectual property rights, these tools are of closed nature, which implies huge tool integration costs for system integrators (such as airframers or car manufacturers). On the other hand, recent initiatives (such as PolarSys, OpenModelica) have started to promote open language standards and the systematic use of open-source software components in tools for critical systems to reduce licensing costs and risks of vendor lock-in.Certification standards of critical cyber-physical systems require that software tools used for developing such critical system are validated with the same scrutiny as the system under design by software tool qualification [87,116], especially, when no further human checking is carried out on the outputs of such tools. Software tool qualification distinguishes between design tools which, by definition, may 123

show abstract

Section: Transformations For Service-oriented Computingmentioning

confidence: 99%

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Varró

Bergmann

Hegedüs³

et al. 2016

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

show abstract

“…It describes the different states in course of execution of BPEL activity and the process by which the system evolves to a new state resulting from executing some actions. In addition, Kovács et al [23] proposed a formalism method for capturing the behaviors of business process implemented in BPEL.…”

Section: Related Workmentioning

confidence: 99%

“…So, they are unable to describe the behaviors and states during the execution of the instance of BPEL. In the end, the model proposed in [23] does not consider event, fault handling and compensation, so it cannot obtain all states and behaviors during the execution of the instance of BPEL. …”

Section: Related Workmentioning

confidence: 99%

A Fault-Tolerant Method for Enhancing Reliability of Services Composition Application in WSNs Based on BPEL

Zhao

Xiong

Han

et al. 2013

International Journal of Distributed Sensor Networks

View full text Add to dashboard Cite

In recent years, some approaches have been presented for the seamless integration of WSNs with the existing, widely deployed SOA technologies such as XML, Web services, and the Business Process Execution Language (BPEL) to build a wireless sensor networks service application. However, there a great challenge on fault tolerant in WSNs. In this paper, we present our framework and approach to enhance the reliability of service composition applications in WSNs through modeling and analyzing a wireless sensor networks service application based on BPEL with exception handler and compensation mechanism. At first, we analyze all possible states during the execution of BPEL instance in WSNs. Then, we present a state framework for modeling execution context in BPEL instance in WSNs. Based on this framework, we analyze state transition and operational semantics in the case of both correct execution and exceptional execution of BPEL instance in WSNs. Furthermore, we propose the state transition models for three types of activities in BPEL instance. In the end, we present a formal approach to model the execution context in BPEL for WSNs. Using this formal model, one can describe and analyze the control flow result from the exception handler and compensation mechanism in BPEL instance for WSNs.

show abstract

“…Techniques for formalizing BPEL such as petri-net (Hamadi and Benatallah, 2003), pi-calculus (Sangiorgi and Walker, 2003), and model checking (Kovács et al, 2007) guarantee consistency and monitor the execution to detect failures.…”

Section: Other Techniques For Failure Recoverymentioning

confidence: 99%

A survey of transactional issues for Web Service composition and recovery

Gao

Urban

Ramachandran

2011

IJWGS

View full text Add to dashboard Cite

This paper presents a survey of relevant transactional and recovery issues for the development of processes that are composed of web services in a service-oriented architecture (SOA). A process in an SOA is not a traditional ACID transaction due to the loosely-coupled, autonomous, and heterogeneous nature of the execution environment. As a result, processes that are composed of web services can pose challenges for data consistency in the context of concurrent processes that are accessing shared data. This paper first outlines past research on advanced transaction models and transactional workflows that has established the framework for coordination and recovery techniques associated with web service composition. The standards that have evolved to support web service composition and a coordinated commit process among web services are then presented. The paper then elaborates on research projects that address data consistency issues for web service composition, outlining relaxed locking techniques, data dependency analysis techniques, and other modularization techniques for addressing user-defined correctness, flexible recovery actions, and cross-cutting concerns. Failure recovery strategies for Web Services are also addressed, describing how current research builds on the foundation provided by advanced transaction models to perform recovery for processes composed of Web Services. The overview of failure recovery strategies also includes self-healing mechanisms and

show abstract

Formal modeling of BPEL workflows including fault and compensation handling

Cited by 10 publications

References 8 publications

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

A Fault-Tolerant Method for Enhancing Reliability of Services Composition Application in WSNs Based on BPEL

A survey of transactional issues for Web Service composition and recovery

Contact Info

Product

Resources

About