Mapping Scdl/Bpel to Ada for Formal Verification of the Behavioral Properties of Service-Component Architecture

Rouis, Taoufik Sakka; Tahar, Bhiri Mohamed; Kmimech, Mourad

doi:10.2139/ssrn.3594392

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2020

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Another approach proposed in [33] maps SCA/BPEL to the Wright/CSP ADL in order to verify the architectural properties of an SCA software architecture equipped with its BPEL behavioral aspects. In [34] authors presented a formal verification of the behavioral properties of SCDL/WS-BPEL service-component architectures.…”

Section: Related Workmentioning

confidence: 99%

Toward a Formalization of BPEL 2.0 : An Algebra Approach

Boumlik¹,

Mejri²,

Boucheneb³

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%