标题：Z formal description of facilities and capabilities for cloud manufacturing
作者：Zhao, Xiaofeng ;Li, Zilun ;Wang, Yanyan
作者机构：[Zhao, Xiaofeng ] School of Mechanical Engineering, Shandong University, Jinan; 250061, China;[Li, Zilun ;Wang, Yanyan ] School of Control Science and 更多
通讯作者地址：[Wang, Y] School of Control Science and Engineering, Shandong UniversityChina;
来源：IPPTA: Quarterly Journal of Indian Pulp and Paper Technical Association
关键词：Cloud manufacturing; Formal description; Manufacturing resource; Ontology; Z notation
摘要：A unified method to describe manufacturing resources capability was needed in a Cloud Manufacturing (CMfg) system. Following the analysis of existing resource description methods, a complete formalization method was proposed，which uses Z notation to describe device resources. According to this method, only Set Theory and First-order Predicate Logic could be used. These mathematical tools could ensure precise semantics of manufacturing resources, and could be extended effectively, which would satisfy all kinds of description demands of new concept and relationship. Taking device resource and capability for example, basic formal description process using Z notation was introduction. © 2018 Indian Pulp and Paper Technical Association. All Rights Reserved.