Formalization and analysis of timed BPEL

Chama, Imed Eddine; Belala, Nabil; Saïdouni, Djamel Eddine

doi:10.1109/iri.2014.7051928

Cited by 5 publications

(3 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Translating rules from BPEL language to a low-level real-time model (DATA) have been proposed in [52]. They present an operational semantics of BPEL based on a real-time model that suupports true-concurrency semantics, timing constraints and actions durations.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Untitled

2020

IJWSC

View full text Add to dashboard Cite

The WS-BPEL 2.0 (Web Service Business Process Execution Language) has been the dominant standard to describe Web Services (WS) orchestration approach. It is a rich and expressive language that provides interesting features, among them we find four mechanisms to deal with abnormal situations (Event, Fault, Compensation and Termination) handlers, EFCT-handlers. However, WS-BPEL is not rigorously defined as a formal language making EFCT-handlers complicated and ambiguous. This paper aims to remove ambiguities from EFCT-handlers by formalizing their semantics.

show abstract

Section: Related Workmentioning

confidence: 99%

“…Wr2fdr +/- [52] UPPAAL [38] FDR [40] [41] +/- [43] Maude +/- [51] Rodin +/- [50] Rodin [55] Our work…”

Section: Related Workmentioning

confidence: 99%

Untitled

2020

IJWSC

View full text Add to dashboard Cite

show abstract

“…2 It supports the distributed and the communicating aspects which allow handling compositions of multiple web services compared to our previous works (Chama et al, 2014b(Chama et al, , 2014c.…”

Section: Introductionmentioning

confidence: 99%

A timed semantics for web services composition

Chama

Belala

Saïdouni

2017

IJBPIM

Self Cite

View full text Add to dashboard Cite

This paper introduces a method to analyse and verify the BPEL language. We propose a transformation approach based on the translation of BPEL descriptions to the communicating durational action timed automata (C-DATA) model which is a distributed, real-time semantic model that is based on true-concurrency semantics and supports the distributed and the communicating aspects. In order to handle compositions of multiple web services and exchanged messages between them we represent each BPEL service by a local C-DATA, while the global system is represented by all these local C-DATAs. These local C-DATAs communicate with each other by exchanging messages through communication channels. This approach considers both timing constraints and interaction durations between web services.

show abstract