Cloud manufacturing service composition modeling and formal verification based on Calculus for Orchestration of Web Service

Li, Yongxiang; Yao, Xifan; Zhang, Jie; Li, Bin

doi:10.1109/ccdc.2013.6561422

Cited by 4 publications

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This approach was applied in the context of service-oriented architectures (SOAs). In the same spirit, a new model and verification mechanism that relies on a process calculus for orchestration of web services, which combined with UML, provides a solution for the problem of formal verification of cloud manufacturing services composition [43]. Following that, a new extended process calculus for cloud manufacturing service composition was proposed [44].…”

Section: Literature Reviewmentioning

confidence: 99%

A Formal Technique for Composing Cloud Services

Barati

2020

ITC

View full text Add to dashboard Cite

Recent cloud search engines lack a formal method in their service composition mechanisms to automatically build composite services realizing user requirements. This paper prescribes behavior composition framework as a formal tools for the search engines. The framework automatically synthesizes a controller that delegates the service operations requested by a cloud user to the proper available cloud services whose operations satisfy the request. Since most cloud search engines support semantic and ontology to discover similar service operations, the paper extends the framework to be more adaptable with such search engines through the use of resource reasoning. Several experiments are provided to demonstrate how the extended framework outperforms the original one in terms of realizing users’ requirements.

show abstract

Section: Literature Reviewmentioning

confidence: 99%