Integrating the SysML and ACME in a Model Driven Engineering Approach to Verify the Web Service Composition

Maroui, Raoudha; Ayeb, B.

doi:10.1109/wetice.2015.41

Cited by 3 publications

(1 citation statement)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Also, the reachability, deadlock, and process equivalence proofing are not considered. Also, Maroui et al 78 provided a formal method based on process algebra for model-driven approach in WSDL method. The authors applied the automated proof of the composition correctness approach using AcmeStudio tool.…”

Section: Analysis Of the Process Algebra Methods In The Service Compmentioning

confidence: 99%

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

Souri

Rahmani

Navimipour

2018

Int J Communication

View full text Add to dashboard Cite

Summary Today, service composition is emerging paradigm on the communication networks such as cloud environments, internet of things, wireless sensor network, and software‐defined network. The goal of service composition method is to provide the interactions between user requirements and smart objects of intelligent communication systems. There have been many efforts to use formal verification and behavioral modeling methods to evaluate the service composition mechanisms. Up to now, there is not a comprehensive analysis research on this topic. Therefore, this paper focuses on several formal verification approaches that are performed to confirm the service composition correctness in communication networks. The objective of this paper is to comprehensively categorize and examine current research techniques on formal verification of the service composition. This research analysis provides an overview of recent service composition approaches according to structural and functional properties. Comparison results show that most of the verification approaches in explanation of the service composition correctness are semantic‐aware approach with 43%. The most used verification method for the service composition is model checking with 69%. The process algebra is used 29%, and some theorem proving methods are applied in 9% of the investigated mechanism. Moreover, most widely used modeling tools are NuSMV (22%), SPIN (17%), CPN (12%), UPPAAL (12%), Event‐B (10%), and PAT (5%).

show abstract

Section: Analysis Of the Process Algebra Methods In The Service Compmentioning

confidence: 99%

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

Souri

Rahmani

Navimipour

2018

Int J Communication

View full text Add to dashboard Cite

show abstract

IoT Capabilities Composition and Decomposition: A Systematic Review

et al. 2023

View full text Add to dashboard Cite

As billions of IoT devices join the Internet, researchers and innovators increasingly explore IoT capabilities achieved via service composition or reuse of existing capabilities via service decomposition. Many systematic literature reviews (SLRs) were produced on this subject; however, two issues remain to be addressed: i) a reference taxonomy of the different aspects of IoT capabilities composition and decomposition is needed, and ii) many formal questions (e.g., standards role, formal representations applications, state-space explosion countermeasures, etc.), technical questions (e.g., composition process types and automation levels synergies, service decomposition categories, the role of AI/ML, etc.), and QoS questions (e.g., privacy, interoperability, and scalability challenges and solutions, etc.) remain unanswered. We introduce this work by discussing notions of IoT capabilities composition and decomposition in a layered IoT architecture while highlighting the strengths and weaknesses of existing SLRs. We identify unanswered questions through gaps in related work and motivate these questions using the PICOC methodology. We explain the search methodology and organize the topic questions using the proposed reference taxonomy. The identified research questions are answered, and trends and gaps that need additional attention from the research community are highlighted. This effort benefits city planners and end-users of IoT systems as it contributes to a better understanding of the role of composition and decomposition of IoT capabilities in building valueadded services or reusing existing ones for resource optimization. For researchers, this effort contributes a reference taxonomy for the topic and sheds light on important questions while highlighting corresponding trends and gaps requiring further attention.

show abstract

A mediation based approach for formal verification of web services composition

Maraoui¹,

Cariou²

2017

2017 International Conference on Engineering &Amp; MIS (ICEMIS)

View full text Add to dashboard Cite

Integrating the SysML and ACME in a Model Driven Engineering Approach to Verify the Web Service Composition

Cited by 3 publications

References 8 publications

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

IoT Capabilities Composition and Decomposition: A Systematic Review

A mediation based approach for formal verification of web services composition

Contact Info

Product

Resources

About