本研究提出一個以工作流程為基礎之系統設計原則，設計一個雲製造以工作流程為基礎之具備自動縮放的雲製造開發框架(Cloud Manufacturing Workflow Framework, CMWF)。延伸我們提出的設計原則，完成設計與開發一個自動化檢測分散式軟體模組系統。CMWF提供製造服務功能與雲端計算功能採分散方式設計，讓製造人員及資訊開發人員能夠快速地各別開發其功能。自動化檢測分散式軟體模組系統提供開發人員在雲端系統執行過程，可以自動化檢測雲端系統是否有錯誤。本論文首先說明CMWF的設計架構，接著介紹我們依據CMWF框架所提出以工作流程為基礎之系統設計原則。然後，透過本研究開發輪框設計電腦輔助製程規劃系統(Wheel-Design Computer-aided Process Planning, WD-CAPP)作為實際雲端軟體檢測的應用。再來，介紹自動化檢測分散式系統的設計與實作核心功能，我們將WD-CAPP部署在Windows Azure雲端平台上進行軟體檢測，證明我們系統的可行性。最後，我們實驗結果顯示雲端系統運作，同時進行自動化檢測分散式軟體模組系統的檢測，系統運作時間並不受影響。

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.

[1] L. Ren, L. Zhang, F. Tao, C. Zhao, X.-D. Chai, and X.-P. Zhao, “Cloud Manufacturing: From Concept to Practice,” Enterprise Information System, 2013.
[2] X. Xu, “From Cloud Computing to Cloud Manufacturing,” Robotics and Computer-Integrated Manufacturing, vol. 28, no. 1, pp. 75-86, 2012.
[3] M.-H. Hung, Y.-C. Lin, H.-C. Huang, M.-H. Hsieh, H.-C. Yang, and F.-T. Cheng, “Development of an Advanced Manufacturing Cloud for Machine Tool Industry based on AVM Technology,” in Proceedings of the 2013 IEEE Conference on Automation Science and Engineering (CASE), Madison Wisconsin, USA, pp. 195-200, August 17-21, 2013.
[4] Q. Zhang, L. Cheng, and R. Boutaba, “Cloud computing: state-of-the-art and research challenges,” Journal of Internet Services and Applications, vol. 1, no. 1, pp. 7-18, 2010.
[5] L. Ren, L. Zhang, C. Zhao, and X.-D. Chai, “Cloud Manufacturing Platform: Operating Paradigm, Functional Requirements, and Architecture Design,” ASME 2013 International Manufacturing Science and Engineering Conference (MSEC), Madison Wisconsin, USA, vol. 2, June 10–14, 2013.
[6] M.-W. Wang, J.-T. Zhou, and S.-K. Jing, “Cloud Manufacturing: Needs, Concept and Architecture,” in Proceedings of the IEEE 16th International Conference on Computer Supported Cooperative Work in Design, May 23-25, pp. 321-327, 2012.
[7] H.-C. Lim, S. Babu, J.-S. Chase, and S.-S. Parekh, “Automated Control in Cloud Computing: Challenges and Opportunities,” in Proceedings of the 1st workshop on Automated control for datacenters and clouds (ACDC), pp. 13-18, 2009.
[8] F. Tao , L. Zhang , V.-C. Venkatesh , Y.-L. Luo and Y. Cheng, “Cloud Manufacturing: A Computing and Service-oriented Manufacturing Model,” Instit. Mechan. Eng., Part B, J. Eng. Manufacture, vol. 225, no. 10, pp.1969 -1976, 2011.
[9] S. Wagner et al., “State Propagation-based Monitoring of Business Transactions,” IEEE International Conference on Service-Oriented Computing and Applications, pp. 1-8, 2012.
[10] C.-M. Wei, C.-L. Zhang, T.-X. Song, and B.-Q. Huang, “A Cloud Manufacturing Service Management Model and Its Implementation,” IEEE International Conference on Service Sciences (ICSS), pp. 60-63, 2013.
[11] Q. Li, Z.-Y. Wang, W.-H. Li, J. Li, C. Wang, and R.-Y. Du, “Applications Integration in a Hybrid Cloud Computing Environment: Modelling and Platform,” Enterprise Information Systems, vol. 7, no. 3, pp. 237–271, 2013.
[12] S. Kikuchi, Kawasaki, and T. Aoki, “Evaluation of Operational Vulnerability in Cloud Service Management Using Model Checking,” IEEE International Symposium on Service Oriented System Engineering (SOSE), pp. 37-48, 2013.
[13] G. Booch, R. A. Maksimchuk, M. W. Engle, B. J. Young, J. Conallen, and K. A. Houston (2007). Object-Oriented Analysis and Design with Applications (3rd Edition). Boston: Addison-Wesley Professional.
[14] M. Kusek, S. Desic, and D. Gvozdanovic, “UML Based Object-oriented Development: Experience with Inexperienced Developers,” International Conference on Telecommunications, pp. 55-60, 2001.
[15] X. Sui, J.-H. Ma, Y.-Y. Li, and L.-J. Zhang, “The Research and Design on the Workflow Model and Verification Technology Based on BPEL,” International Conference on Computational Intelligence and Software Engineering (CiSE), pp. 1-5, 2009.
[16] D. Georgakopoulos, M. Hornick, A. Sheth, “An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure,” Distributed and Parallel Databases, vol. 3, no. 2, pp. 119-153, 1995.
[17] H.-H. Chen, K.-S. Liu, S.-C. Chen, C.-Y. Chang, K.-S. Hsieh, and Y.-W. Yang, “An Overview Of Workflow Management System Structure in the Supply Chain,” Australian Journal of Business and Management Research, vol. 2, no. 4, pp. 12-19, 2012.
[18] E. Newcomer, G. Lomow (2004). Understanding SOA with Web Services (Independent Technology Guides). Boston:: Addison-Wesley Professional.
[19] C.-C. Chen, Y.-C. Lin, M.-H. Hung, C.-Y. Lin, Y.-J. Tsai, M.-S. Chen, F.-T. Cheng, “Development of Auto-scaling Cloud Manufacturing Framework for Machine Tool Industry,” in Proceedings of IEEE International Conference on Automation Science and Engineering (CASE), Taipei, Taiwan, Aug. 18-22, 2014.
[20] Microsoft Windows Azure 定價機制: http://azure.microsoft.com/zh-tw/pricing/details/virtual-machines/