Abstract:The lack of semantic information of description model and quality of service (QoS) constraints in manufacturing resource cloud service (MRCS) has caused problems such as uneven distribution, small sharing scope and low standardization of manufacturing resources. The paper studies composition modeling of MRCS for this problem. Firstly, a modeling method for MRCS based on semantic extension is proposed. The formalization method is used to classify manufacturing resources, and the 6-layer semantic information of function, interface, execution, state, QoS and physical-virtual resource mapping is attached to the MRCS, and a data model based on eXtensible Markup Language and a semantic model based on ontology are constructed. Then a composition method for MRCS with multi-constraint of QoS is proposed. A composition framework and process for cloud services with multi-constraint of QoS is planned. A planning method based on hierarchical task network (HTN) is used to decompose manufacturing tasks into atomic tasks. The manufacturing task is decomposed into atomic tasks and used as service requirements by a planning method based on HTN, and multiple independent and related cloud services are composed into a new cloud service according to application needs through interface semantic matching. The attribute weight of the scheme for MRCS is comprehensively calculated based on quality function deployment. The composite cloud service corresponding to each atomic task is used as an independent component service, and the interface semantic matching operation is repeated according to the workflow of the atomic task to form a complete composite cloud service with more powerful functions to realize the manufacturing task.

Cloud Manufacturing Service Composition Modeling and Formal Verification Based on Calculus for Orchestration of Web Service

Formal Verification Technique for Grid Service Chain Model and Its Application

Composition Modeling for Manufacturing Resource Cloud Service.

BOSS modeling method for cloud manufacturing services normalization

A C_net-based Verification of Web Service Compositions.

SMT-Based Modeling and Verification of Cloud Applications.

Mobile Cloud Computing System Components Composition Formal Verification Method Based on Space-Time Pi-Calculus

A Formal Specification for Web Services Composition and Verification

A Multi-properties Based Description Method of Cloud Manufacturing Services

Bills of Standard Manufacturing Services (BOSS) Construction Based on focused Crawler

Research on Formal Modeling and Verification of BPEL-based Web Service Composition

SCS: A case study on service composition in automobile supply chain

Towards a Formal Verification Approach for Implementation of Web Services Specifications

An optimization method of cloud manufacturing service composition based on matching-collaboration degree

Model transformation and formal verification for Semantic Web Services composition

Service Composition Based Software Solution Design: A Case Study in Automobile Supply Chain

Multi-service collaboration and composition of cloud manufacturing customized production based on problem decomposition

Formal Model of Web Service Composition: An Actor-Based Approach to Unifying Orchestration and Choreography

An adaptive model of virtual enterprise based on dynamic web service composition

Design Intend Solving: Dynamic Composition Method for Innovative Design Based on Virtual Cloud Manufacturing Resource Generators

Towards The Formal Model And Verification Of Web Service Choreography Description Language