2019
DOI: 10.1002/cpe.5249
|View full text |Cite
|
Sign up to set email alerts
|

Formal modeling and verification of cloud‐based web service composition

Abstract: Web service composition is a key technology to resolve cross-organizational business process integration, and it faces many constraints and requirements as unexpected bugs can cause shutdown of the software. A high degree of reliability is expected from such systems, and formal modeling of web service composition is an active area of research. In this work, we propose a new approach for the formal modeling of diverse web service composition. Our approach verifies the terminate property on all possible runs of … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2023
2023
2023
2023

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(2 citation statements)
references
References 25 publications
0
2
0
Order By: Relevance
“…The F2RS-WSC approach is a model-based recovery recommender system. Thus, The model-based techniques convey web services nature with hidden source code [1][2][3]28]. The F2RS-WSC approach aims to recommend the optimal recovery strategy for addressing emerging faults in the web service compositions paradigm.…”
Section: The Proposed Fault Recovery Strategies Recommender System Fo...mentioning
confidence: 99%
See 1 more Smart Citation
“…The F2RS-WSC approach is a model-based recovery recommender system. Thus, The model-based techniques convey web services nature with hidden source code [1][2][3]28]. The F2RS-WSC approach aims to recommend the optimal recovery strategy for addressing emerging faults in the web service compositions paradigm.…”
Section: The Proposed Fault Recovery Strategies Recommender System Fo...mentioning
confidence: 99%
“…However, since they are built upon pre-existing services, these systems encounter various challenges. These challenges include interdependencies among services [2], complexities in integration [3], and ensuring quality of service (Q oS) metrics such as response time, throughput, and availability [2,4]. Integration and dependency challenges are prominent concerns in SOC paradigms and web service composition systems [2,5], which can lead to performance degradation [6] and the occurrence of faults [1,7].…”
Section: Introductionmentioning
confidence: 99%