Formal techniques for consistency checking of orchestrations of semantic Web services-Reference-Cited by-同舟云学术

Formal techniques for consistency checking of orchestrations of semantic Web services

Published:2020-07 Issue: Volume:44 Page:101165
ISSN:1877-7503
Container-title:Journal of Computational Science
language:en
Short-container-title:Journal of Computational Science

Author:

Hammal Youcef,Salah Mansour Khadidja,Abdelli Abdelkrim,Mokdad Lynda

Publisher

Elsevier BV

Subject

Modelling and Simulation,General Computer Science,Theoretical Computer Science

Reference29 articles.

1. Web Services Architecture: Note 11;W3C_Working_Group,2004

2. Web Services – Concepts, Architectures and Applications, Data-Centric Systems and Applications;Alonso,2004

3. A service composition framework based on goal-oriented requirements engineering, model checking, and qualitative preference analysis;Oster;10th International Conference on Service-Oriented Computing ICSOC 2012, Shanghai, China,2012

4. Business Process Execution Language for Web Services;OASIS_TC,2007

5. Web Services Choreography Description Language;W3C_Working_Group,2005

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Managing Web-based Information Resources Under Uncertainty: A Probabilistic Approach;Journal of Web Engineering;2024-02-22

2. Verification of transaction-aware web services composition through formal methods;International Journal of System Assurance Engineering and Management;2024-01-23

3. A Concise Overview of Web Services and Technology Management;Learning and Analytics in Intelligent Systems;2024

4. Enhancing sustainability in web design: a comparative exploration of multimedia systems and technology management;Second International Conference on Sustainable Technology and Management (ICSTM 2023);2023-10-24

5. Proactive and visual approach for product maintainability design;Advanced Engineering Informatics;2023-01