| Summary: | 碩士 === 國立成功大學 === 製造資訊與系統研究所 === 102 === This thesis proposes a workflow-based system design framework for cloud manufacturing services (called CMWF) with auto-scaling capability. Based on our design framework, an additional verification framework for detecting the runtime status of the distributed software system, is also designed and developed. CMWF providing manufacturing functions and cloud computing capabilities allows developers to create their demanded manufacturing services with fixed steps. The software verification module in CMWF can automatically verify the distributed software modules for error detection during the service period. In this thesis, we first describe the CMWF architecture. Then, we propose the workflow-based system designed principles based on CMWF framework. Next, we develop the wheel-design computer-aided process planning (WD-CAPP) cloud service system as an example to show the effectiveness of our proposed CMWF. After that, we present the core functions design of the software verification system. For demonstrating the feasibility of our proposed CMWF, we have implemented and deployed the WD-CAPP on the Windows Azure public cloud platform. Finally, experiments are conducted to validate the effectiveness of the automated software verification system. The experimental results show the efficacy of CMWF, and automated software verification system can successfully verify the runtime status with almost ignorable computation efforts for the WD-CAPP cloud service.
|
|---|
