本文将云制造服务供需智能配置框架中涉及的主体角色进行模拟抽象，形成了制造云凝结、云制造服务、制造云池、云制造需求、需求管理、云服务调度等6个概念模型。本文将它们形式化表达如下：

（1）制造云凝结

MCCondensing={PMResource,

MCDroplet,

MCService,

CVMapping,

CDAggregate}

制造云凝结本体MCCondensing的构造涵盖了制造资源PMResource，制造云滴MCDroplet，云制造服务MCService，虚拟云端化CVMapping，云聚合CDAggregate。该结构中，CVMapping实现PMResource向MCDroplet的转化，CDRggregate聚集MCDroplet形成MCService。

（2）云制造服务

MCService={MCSProfile,

MCSModel,

MCSGrounding,

MCResource,

InvitationEvaluate,

InvitationRespond,

MCSMigrate}

云制造服务MCService由云服务概要描述MCSprofile、云服务处理模型MCSModel、云服务支持MCSGrounding、制造资源MCResource进行表述。此外，MCResource可以是独立PMResource，也可能是多个MCDroplet中凝结的PMResource集群。MCService的服务形态表现为：虚拟制造单元VMUnit，虚拟技术系统VTSystem，虚拟知识库/数据库/模型库VK/D/MBase，虚拟软件开发工具VSTools，虚拟制造能力VMAbility。而从广义制造的角度出发，则可将云制造服务分为设计、制造、仓储、物流、客服等实现形式。云制造服务还包括服务邀约评价Invitation Evaluate，服务邀约响应Invitation Respond和服务迁移MCSMigrate等决策行为。云制造服务对云服务调度发布的服务邀约进行自主评价，拟定响应策略，并对任务执行的异常中断发起服务迁移过程。

（3）制造云池

MCPool={MCService,

MCSRegister,

MCSAdvertise,

MCSQuery}(www.daowen.com)

制造云池MCPool中聚集了融入云制造平台的MCService，开展以下运作行为：云服务注册MCSRegister、云服务发布MCSAdvertise、云服务查询MCSQuery。

（4）云制造需求

MRequirement={IMRequirement,

MCService,

MCSCompose＆Optimize,

MCSEvaluate}

云制造需求MRequirement是平台客户提出的制造任务，其中包含了解析之后的子任务（独立制造需求）IMRequirement和云制造服务MCSeervice，并对响应服务执行组合优选MCSCompose＆Optimize及服务后评价MCSEvaluate。

（5）需求管理

MRManagement={MRequirement,

IMRequirement,

MRResolve}需求管理MRManagement负责接收抵达云制造平台的制造需求MRequirement，并通过需求解析MRResolve实现对MRequirement的降解，生成独立云服务请求IMRequirement。

（6）云服务调度

MCSScheduling={IMRequirement,

MCPool,

MCService,

MCSDiscovery＆Match,

MCSInvite,

MCSAssign,

MCSRecord}

云服务调度MCSScheduling服务处理云制造服务与云制造需求间的协调与认知，具有服务调度分派的执行权。其针对IMRequirement的调度请求，在MCPool中对MCService进行云服务发现匹配MCSDiscovery＆Match，并发布服务邀约MCSInvite，然后根据制造需求MRequirement的优选决策对服务执行调度分派MCSAssign，从而确立需求与服务的执行关联关系。