Taoufik Sakka Rouis

Tunis El Manar University - Faculty of Sciences of Tunis (FST)

Tunisia

Learn more about SSRN Profiles

SCHOLARLY PAPERS

1

DOWNLOADS

124

TOTAL CITATIONS

1

Feedback

Scholarly Papers (1)

Sort by:

Actions:

View:
Selected
Original List
All Versions Hide All Versions
All Abstracts Hide All Abstracts

(Rank)

1.

Mapping SCDL/BPEL to ADA for Formal Verification of the Behavioral Properties of Service-Component Architecture

Downloads 124 (580,653)

Citation 1

2

Mapping SCDL/BPEL to ADA for Formal Verification of the Behavioral Properties of Service-Component Architecture

International Journal on Web Service Computing (IJWSC), Vol.9, No.1, March 2018

Number of pages: 14 Posted: 11 Jun 2019

Taoufik Sakka Rouis, Bhiri Mohamed Tahar and Kmimech Mourad

Tunis El Manar University - Faculty of Sciences of Tunis (FST), affiliation not provided to SSRN and Tunis El Manar University

Downloads 68 (903,821)

Abstract:

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

Number of pages: 14 Posted: 03 Jun 2020

Taoufik Sakka Rouis

Tunis El Manar University - Faculty of Sciences of Tunis (FST)

Downloads 56 (1,017,159)

Citation 1

Abstract:

Feedback

All content on this site: Copyright © 2026 Elsevier Inc., its licensors, and contributors. All rights are reserved, including those for text and data mining, AI training, and similar technologies. For all open access content, the relevant licensing terms apply.

We use cookies to help provide and enhance our service and tailor content.

To learn more, visit .