Cloud manufacturing service composition modeling and formal verification based on Calculus for Orchestration of Web Service

2013 25th Chinese Control and Decision Conference, CCDC 2013

Volumn , Issue , 2013, Pages 2806-2810

  Li, Yongxiang ^a   Yao, Xifan ^a,b   Zhang, Jie ^a   Li, Bin ^a  

^a SOUTH CHINA UNIVERSITY OF TECHNOLOGY   (China)

^b JILIN UNIVERSITY   (China)

Author keywords

Calculus for Orchestration of Web service; Cloud manufacturing; Formal verification; Modeling; Service composition

Indexed keywords

CLOUD MANUFACTURING; COMPENSATION MECHANISM; COMPOSITE SERVICES; EXCEPTION HANDLING; FORMAL VERIFICATIONS; SERVICE COMPOSITIONS; UML ACTIVITY DIAGRAMS; VERIFICATION RESULTS;

CALCULATIONS; MODEL CHECKING; MODELS; UNIFIED MODELING LANGUAGE; WEB SERVICES; WEBSITES; XML;

QUALITY OF SERVICE;

EID: 84882757252     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CCDC.2013.6561422     Document Type: Conference Paper

References (21)

1. Tao Fei, Zhang Lin, Guo Hua. Typical characteristics of cloud manufacturing and several key issues of cloud service composition. Computer Integrated Manufacturing Systems, Vol. 17, No. 3, 477-486, 2011.
2. Gottberg A, Longhurst P J, Cook M B. Exploring the potential of product service systems to achieve household waste prevention on new housing developments in the UK[J]. Waste Manag Res, No. 28, 228-235, 2010.
3. Lee M, Yoon H, Shin H. Intelligent dynamic workflow support for a ubiquitous Web service-based manufacturing environment [J]. Journal of Intelligent Manufacturing, Vol. 20, No. 3, 295-302, 2009.
4. To C K, Leung C S. Service-enhanced manufacturing: a study of perceived service quality of apparel manufacturers[J]. Journal of Fashion Marketing and Management, Vol. 5, No 4, 313-323, 2001.
5. Fujimoto J, Umeda Y, Tamura T,. Development of service-oriented products based on the inverse manufacturing concept[J]. Environ Sci Technol, No. 37, 5398-5406, 2003.
6. Sun Linyan, Li Gang, Jiang Zhibin. Service-Embedded Manufacturing: Advanced Manufacturing Paradigm in 21st Century[J]. China Mechanical Engineering, Vol. 18, No. 19, 2307-2312, 2007.
7. Li Bohu, Zhang Lin, Wang Shilong. Cloud manufacturings new service-oriented manufacturing model[J]. Computer Integrated Manufacturing Systems, Vol. 16, No. 1, 1-7, 16, 2010.
8. Luo Junzhou, JIN Jiahui, Song Aibo. Cloud computing: architecture and key technologies[J]. Journal on Communications, Vol. 32, No. 7, 3-21, 2011.
9. Liu C H, Chen S L, Kuo J Y. A flow graph-based test model for OWL-S web services[J]. Proceedings - International Conference on Machine Learning and Cybernetics, No. 2, 897-902, 2011.
10. Hlaoui Y B, Benayed L J. A model transformation approach based on homomorphic mappings between UML activity diagrams and BPEL4WS specifications of grid service workflows[J]. Proceedings - International Computer Software and Applications Conference, 243-248, 2011.
11. Ma Z M, Zhang F, Yan L. Representing and reasoning on fuzzy UML models: a description logic approach[J]. Expert Systems with Applications, Vol. 38, No. 3, 2536-2549, 2011.
12. Zhang X G, Liu H B. Formal verification for CCML based Web Service Composition[J]. Information Technology Journal, Vol. 10, No. 9, 1692-1700, 2011.
13. Nielson H R, Nielson F. A monotone framework for CCS[J]. Computer Languages, Systems and Structures, Vol. 35, No. 4, 365-394, 2009.
14. Viry P. Parallel and distributed programming extensions for mainstream languages based on pi-calculus[J]. Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, 343-344, 2011.
15. Manzonetto G, Salibra A. Applying universal algebra to lambda calculus[J]. Journal of Logic and Computation, Vol. 20, No. 4, 877-915, 2010.
16. Chimisliu V, Wotawa F. Abstracting timing information in UML state charts via temporal ordering and LOTOS[J]. Proceedings - International Conference on Software Engineering, 8-14, 2011.
17. Lapadula A, Puglieser R, Tiezzi F. A calculus for orchestration of web services[J]. Lecture Notes in Computer Science, Programming Languages and Systems - 16th European Symposium on Programming, Vol. 4421:33-47, 2007..
18. Lapadula A, Puglieser R, Tiezzi F. COWS: A timed service-oriented calculus[J]. Lecture Notes in Computer Science, Theoretical Aspects of Computing - ICTAC 2007-4th International Colloquium, Proceedings, Vol. 4711:275-290, 2007.
19. Cappello I, Quaglia P. A tool for checking probabilistic properties of COWS services[J]. Lecture Notes in Computer Science, Trustworthy Global Computing - 5th International Symposium, Vol. 6084:364-378, 2010.
20. Lapadula A, Puglieser R, Tiezzi F. Service discovery and negotiation with COWS[J]. Electronic Notes in Theoretical Computer Science, Vol. 200, No. 3, 133-154, 2008.
21. Yao Xifan, Lian Zhaotong, Li Yongxiang, Jin Hong, Xu Chuan, Tan Wei, et al. Service-oriented architecture and integrated development environment for cloud manufacturing[J]. Computer Integrated Manufacturing Systems, Vol. 18, No. 10, 2012.