Extension of specification language for soundness and completeness of service workflow

References

• Abiteboul, S., P. Bourhis, and V. Vianu 2011, Comparing Workflow Specification Languages: A Matter of Views, 14th International Conference on Database Theory (ICDT).
   Google Scholar
• Alt, M., A. Hoheisel, H.-W. Pohl, and S. Gorlatch. 2005. “A Grid Workflow Language Using High-Level Petri Nets.” Lncs 3911: 715–722.
   Web of Science ®Google Scholar
• Atzori, L., A. Iera, and G. Morabito. 2010. “The Internet of Things: A Survey.” Computer Networks 54 (15): 2787–2805. doi:10.1016/j.comnet.2010.05.010.
   Web of Science ®Google Scholar
• Bartoletti, M., P. Degano, and G. L. Ferrari 2006, Types and Effects for Secure Service Orchestration, In Proc. 19th Computer Security Foundations Workshop, pp. 13–69.
   Google Scholar
• Bartoletti, M., P. Degano, G. L. Ferrari, and R. Zunino. 2008. “Semantics-Based Design for Secure Web Services.” IEEE Transactions on Software Engineering 34 (1): 33–49. doi:10.1109/TSE.2007.70740.
   Web of Science ®Google Scholar
• Bi, Z. M., and D. Cochran. 2015. “Big Data Analytics with Applications.” Journal of Management Analytics 1 (4): 249–265. doi:10.1080/23270012.2014.992985.
   Google Scholar
• Bi, Z. M., C. Pomalaza-Raez, Z. Singh, A. Nicolette-Baker, B. Pettit, and C. Heckley. 2014a. “Reconfiguring Machines to Achieve System Adaptability and Sustainability: A Practical Case Study.” Proceedings of the Institute of Mechanisms Engineering Particle B-J of Engineering Manufacture 228: 1676–1688. doi:10.1177/0954405413519788.
   Web of Science ®Google Scholar
• Bi, Z. M., G. Wang, and L. D. Xu. 2016. “A Visualization Platform for Internet of Things in Manufacturing Applications.” Internet Research 27 (2): 377–401. doi:10.1108/IntR-02-2014-0043.
   Web of Science ®Google Scholar
• Bi, Z. M., G. Wang, L. D. Xu, M. Thompson, R. Mir, J. Nyikos, A. Mane, C. Witte, and C. Sidwell. 2017. “IoT-Based System for Communication and Coordination of Football Robot Team.” Internet Research 27 (2): 162–181. doi:10.1108/IntR-02-2016-0056.
   Web of Science ®Google Scholar
• Bi, Z. M., L. D. Xu, and C. Wang. 2014b. “Internet of Things for Enterprise Systems of Modern Manufacturing.” IEEE Transactions on Industrial Informatics 10 (2): 1537–1546. doi:10.1109/TII.2014.2300338.
   Web of Science ®Google Scholar
• Bianculli, D., C. Ghezzi, and P. S. Pietro. 2013. “The Tale of SOLOIST: A Specification Language for Service Compositions Interactions.„  C. S. Păsăreanu and G. Salaün eds.. Heidelberg: FACS 2012. LNCS, Springer. Formal Aspects of Component Software7684: 55–72.
   Google Scholar
• Blake, M. B., and D. J. Cummings. 2007. “Workflow Composition of Service Level Agreements.” Proceedings IEEE Intl Conference Services Computing (SCC 07): 138–145.
   Google Scholar
• Blake, M. B., and M. N. Huhns. 2008. “Web-Scale Workflow – Integrating Distributed Services.” IEEE Internet Computing 12 (1): 55–59. doi:10.1109/MIC.2008.24.
   Web of Science ®Google Scholar
• Brambilla, M., S. Ceri, and A. Mauri. 2015. “Adaptive and Interoperable Crowdsourcing.” IEEE Internet Computing 19 (5): 36–44. doi:10.1109/MIC.2015.18.
   Web of Science ®Google Scholar
• Branger, J., and Z. Pang. 2015. From Automated Home to Sustainable, Healthy and Manufacturing Home: A New Story Enabled by the Internet-Of-Things and Industry 4.0.“ Journal of Management Analytics 2 (4): 314–332.
   Google Scholar
• Calinescu, R., L. Grunske, M. Kwiatkowska, R. Mirandola, and G. Tamburrelli. 2011. “Dynamic QoS Management and Optimization in Service-Based Systems.” IEEE Transactions on Software Engineering 37 (3): 387–409. doi:10.1109/TSE.2010.92.
   Web of Science ®Google Scholar
• Cardelli, L., and R. Davies. 1999. “Service Combinators for Web Computing.” IEEE Transactions on Software Engineering 25 (3): 309–316. doi:10.1109/32.798321.
   Web of Science ®Google Scholar
• Cardoso, J., J. Miller, A. Sheth, and J. Arnold. 2004. “Modelling Quality of Service for Workflows and Web Service Processes.” Web Semantics Journal 1 (3): 281–308. doi:10.1016/j.websem.2004.03.001.
   Google Scholar
• Chen, Y. 2016. “Industrial Information Integration-A Literature Review 2006-2015.” Journal of Industrial Information Integration 2: 30–64. doi:10.1016/j.jii.2016.04.004.
   Web of Science ®Google Scholar
• Chiu, D., and G. Agrawal. 2013. “Cost and Accuracy Aware Scientific Workflow Composition for Service-Oriented Environments.” IEEE Transactions on Services Computing 6 (4): 470–483. doi:10.1109/TSC.2012.19.
   Web of Science ®Google Scholar
• Cochran, D., S. Hendricks, J. Barnes, and Z. M. Bi. 2016. “Extension of Manufacturing System Design Decomposition to Implement Manufacturing Systems that are Sustainable.” ASME Journal of Manufacturing Science and Engineering 138: 1–10. doi:10.1115/1.4034303.
   Web of Science ®Google Scholar
• Cochran, D., Y.-S. Kim, J. Foley, and Z. M. Bi. 2017. “Use of the Manufacturing System Design Decomposition for Comparative Analysis and Effective Design of Production Systems.” International Journal of Production Research 55 (3): 870–890. doi:10.1080/00207543.2016.1218088.
   Web of Science ®Google Scholar
• Deng, S., L. Huang, J. Taheri, and A. Y. Zomaya. 2015. “Computation Offloading for Service Workflow in Mobile Cloud Computing.” IEEE Transactions on Parallel and Distributed Systems 26 (2): 3317–3329. doi:10.1109/TPDS.2014.2381640.
   Web of Science ®Google Scholar
• Du, Y., X. Li, and P. Xiong. 2012. “A Petri Net Approach to Mediation-Aided Composition of Web Services.” IEEE Transactions on Automation Science and Engineering 9 (2): 429–435. doi:10.1109/TASE.2012.2188511.
   Web of Science ®Google Scholar
• Du, Y., W. Tan, and M. Zhou. 2014. “Time Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets.” IEEE Transactions on Automation Science and Engineering 11 (2): 594–606. doi:10.1109/TASE.2013.2253552.
   Web of Science ®Google Scholar
• Duan, R., R. Prodan, and X. Li. 2014. “Multi-Objective Game Theoretic Scheduling of Bag-Of-Tasks Workflows on Hybrid Clouds.” IEEE Transactions on Cloud Computing 2 (1): 29–42. doi:10.1109/TCC.2014.2303077.
   Google Scholar
• El Hadad, J., M. Manouvrier, and M. Rukoz. 2010. “TQoS: Transactional and QoS-Aware Selection Algorithm for Automatic Web Service Composition.” IEEE Transactions on Services Computing 3 (1): 73–85. doi:10.1109/TSC.2010.5.
   Web of Science ®Google Scholar
• Fahringer, T., J. Qin, and S. Hainzer 2005, Specification of Grid Workflow Applications with AGWL: An abstract grid workflow language, Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid2005), vol. 2, pp. 676–685.
   Google Scholar
• Fei, X., and S. Lu. 2012. “A Dataflow-Based Scientific Workflow Composition Framework.” IEEE Transactions on Services Computing 5 (1): 45–58. doi:10.1109/TSC.2010.58.
   Web of Science ®Google Scholar
• Gorkhali, A., and L. Xu. 2017. “Enterprise Architecture: A Literature Review.” Journal of Industrial Integration and Management 2: 2. doi:10.1142/S2424862217500099.
   Google Scholar
• Hayer, J. G., E. Peyprovian, S. Sarin, M.-T. Schmidt, K. D. Swenson, and R. Weber. 2000. “Workflow Interoperability Standards for the Internet.” IEEE Internet Computing 4 (3): 37–45. doi:10.1109/4236.845389.
   Web of Science ®Google Scholar
• Hossain, M. S., M. Moniruzzaman, G. Muhammad, A. Ghonem, and A. Alamri. 2016. “Bid Data-Driven Service Composition Using Parallel Clustered Particle Swarm Optimization in Mobile Environment.” IEEE Transactions on Services Computing 9 (5): 806–817. doi:10.1109/TSC.2016.2598335.
   Web of Science ®Google Scholar
• Huang, A., C. Lan, and S. Yang. 2009. “An Optimal QoS-based Web Service Selection Scheme.” Information Sciences: An International Journal 179: 3309–3322. doi:10.1016/j.ins.2009.05.018.
   Web of Science ®Google Scholar
• Jaeger, M. C., G.Rojec-Goldmann, and G. Muhl. 2004, QoS Aggregation for Web Service Composition Using Workflow Patterns, Proceedings of the 8th IEEE Intl Enterprise Distributed Object Computing Conf (EDOC 2004), pp. 149–259.
   Google Scholar
• Kataev, M., L. A. Bulysheva, and Z. M. Bi. 2016. “Enterprise Diagnostics for Evaluation of Enterprise Business Processes.” Journal of Industrial Integration and Management 1 (2): 394–403. DOI:10.1142/S2424862216500081.
   Google Scholar
• Kim, H. J. 2017. “A Review of Cyber-Physical System Research Relevant to the Emerging IT Trends: Industry 4.0, IoT, Big Data, and Cloud Computing.” Journal of Industrial Integration and Management 2 (3): 113–135. doi:10.1142/S2424862217500117.
   Google Scholar
• Lee, S., S. Kumara, and N. Gautam. 2008. “Market-Based Model Predictive Control for Large-Scale Information Networks: Completion Time and Value of Solution.” IEEE Transactions on Automation Science and Engineering 5 (4): 630–640. doi:10.1109/TASE.2007.909436.
   Web of Science ®Google Scholar
• Li, H., K. C. C. Chan, M. Liang, and X. Luo. 2016. “Composition of Resource-Service Chain for Cloud Manufacturing.” IEEE Transactions on Industrial Informatics 12 (1): 211–219.
   Web of Science ®Google Scholar
• Li, L. 2017, China’s Manufacturing Locus in 2025: With a Comparison of “Made-In-China 2025” and “Industry 4.0”. Technological Forecasting and Social Change (online published). doi:10.1016/j.techfore.2017.05.028
   Google Scholar
• Li, L., L. Xu, H. Jeng, D. Naik, T. Allen, and M. Frontini. 2008. “Creation of Environmental Health Information System for Public Health Service: A Pilot Study.” Information Systems Frontiers 10 (5): 531–542. doi:10.1007/s10796-008-9108-1.
   Web of Science ®Google Scholar
• Li, S., L. Xu, and S. Zhao. 2015. “The Internet of Things: A Survey.” Information Systems Frontiers 17 (2): 243–259. doi:10.1007/s10796-014-9492-7.
   Web of Science ®Google Scholar
• Li, W. 2012. “QoS Assurance for Dynamic Reconfiguration of Component- Based Software Systems.” IEEE Transactions on Software Engineering 38 (3): 658–676. doi:10.1109/TSE.2011.37.
   Web of Science ®Google Scholar
• Li, Y., B. Cao, L. Xu, J. Yin, S. Deng, Y. Yin, and Z. Wu. 2014. “An Efficient Recommendation Method for Improving Business Process Modeling.” IEEE Transactions on Industrial Informatics 10 (1): 502–513. doi:10.1109/TII.2013.2258677.
   Web of Science ®Google Scholar
• Li, Y., Z. Luo, J. Yin, L. Xu, Y. Yin, and Z. Wu. 2017. “Enterprise Pattern: Integrating the Business Process into a Unified Enterprise Model of Modern Service Company.” Enterprise Information Systems 11 (1): 37–57. doi:10.1080/17517575.2015.1053415.
   Web of Science ®Google Scholar
• Lin, B., W. Guo, N. Xiong, G. Chen, A. V. Vasilakos, and H. Zhang. 2016. “A Pretreatment Workflow Scheduling Approach for Big Data Applications in Multicloud Environment.” IEEE Transactions on Network and Service Management 13 (3): 581–594. doi:10.1109/TNSM.2016.2554143.
   Web of Science ®Google Scholar
• Lorincz, P. 2007, Evolution of Enterprise Systems, Proceedings of International Symposium on Logistics and Industrial Informatics, pp.75–80.
   Google Scholar
• Lu, Y. 2016. “Industrial Integration: A Literature Review.” Journal of Industrial Integration and Management 1: 2. doi:10.1142/S242486221650007X.
   Google Scholar
• Lu, Y. 2017. “Industry 4.0: A Survey on Technologies, Applications and Open Research Issues.” Journal of Industrial Information Integration 6: 1–10. doi:10.1016/j.jii.2017.04.005.
   Web of Science ®Google Scholar
• Marcon, D. S., L. F. Bittencourt, R. Dantas, M. C. Neves, E. R. M. Madeira, S. Fernandes, C. A. Kamienski, M. P. Gaspary, and N. L. S. Da Fonseca 2013, Workflow Specification and Scheduling with Security Constraints in Hybrid Clouds, Cloud Computing and Communications (LatinCloud), 2nd IEEE Latin American Conference on, Maceio, pp. 29–34.
   Google Scholar
• Meena, J., M. Kumar, and M. Vardhan. 2016. “Cost Effective Genetic Algorithm for Workflow Scheduling in Cloud under Deadline Constraint.” IEEE Access 4: 5065–5082. doi:10.1109/ACCESS.2016.2593903.
   Web of Science ®Google Scholar
• Moser, O., F. Rosenberg, and S. Dustdar. 2012. “Domain-Specific Service Selection for Composite Services.” IEEE Transactions on Software Engineering 38 (4): 828–843. doi:10.1109/TSE.2011.43.
   Web of Science ®Google Scholar
• Mostarda, L., S. Marinovic, and N. Dulay 2010, Distributed Orchestration of Pervasive Services, 2010 24th IEEE International Conference on Advanced Information Networking and Applications (AINA), Perth, Australia, pp. 166–173.
   Google Scholar
• Paik, I., W. Chen, and M. N. Huhns. 2014. “A Scalable Architecture for Automatic Service Composition.” IEEE Transactions on Services Computing 7 (1): 82–95. doi:10.1109/TSC.2012.33.
   Web of Science ®Google Scholar
• Parashar, M., M. Abdelbarky, I. Rodero, and A. Devarakonda. 2015. “Cloud Paradigms and Practices for Computational and Data-Enabled Science and Engineering.” Computing in Science & Engineering 15 (4): 10–18. doi:10.1109/MCSE.2013.49.
   Web of Science ®Google Scholar
• Philips, E., R. van der Straeten, and V. Jonckers. 2011. “NOW: Orchestrating Services in a Nomadic Network Using a Dedicated Workflow Language.” Sciences Computation Program 78 (2): 1–27.
   Google Scholar
• Rehman, Z. U., F. K. Hussain, and O. K. Hussain 2011, Towards Multi-Criteria Cloud Service Selection, Innovative Mobile and Internet Services in Ubiquitous Computing (IMIS), 2011 Fifth International Conference on, Seoul, pp. 44–48.
   Google Scholar
• Rimal, B. P., and M. Maier. 2017. “Workflow Scheduling in Multi-Tenant Cloud Computing Environments.” IEEE Transactions on Parallel and Distributed Systems 28 (1): 290–304. doi:10.1109/TPDS.2016.2556668.
   Web of Science ®Google Scholar
• Rosenberg, F., F. Curbera, M. J. Duftler, and R. Khalaf. 2008. “Composing RESTful Services and Collaborative Workflow.” IEEE Internet Computing 12 (5): 24–31. doi:10.1109/MIC.2008.98.
   Web of Science ®Google Scholar
• Sandionigi, C., D. Ardagna, G. Cugola, and C. Ghezzi. 2013. “Optimizing Service Selection and Allocation in Situational Computing Applications.” IEEE Transactions on Services Computing 6 (3): 414–428. doi:10.1109/TSC.2012.18.
   Web of Science ®Google Scholar
• Schlapfer, R. C., and M. Koch. 2015. Industry 4.0 Challenges and Solutions for the Digital Transformation and Use of Exponential Technologies. Zurich: Deloitte.
   Google Scholar
• Tan, W., Y. Sun, L. X. Lo, G. Lu, and T. Wang. 2014. “A Trust Service-Oriented Scheduling Model for Workflow Applications in Cloud Computing.” IEEE Systems Journal 8 (3): 868–878. doi:10.1109/JSYST.2013.2260072.
   Web of Science ®Google Scholar
• Tan, W., Y. Xu, W. Xu, L. D. Xu, X. Zhao, L. Wang, and L. Fu. 2010. “A Methodology toward Manufacturing Grid-Based Virtual Enterprise Operation Platform.” Enterprise Information Systems 4 (3): 283–309. doi:10.1080/17517575.2010.504888.
   Web of Science ®Google Scholar
• Tan, W., and M. C. Zhou. 2013. Business and Scientific Workflows: A Service-Oriented Approach. Hoboken, NJ: Wiley-IEEE Press.
   Google Scholar
• Tao, F., Y. Cheng, L. D. Xu, L. Zhang, and B. H. Li. 2014. “CCIoT-CMfg: Cloud Computing and Internet of Things-Based Cloud Manufacturing Service System.” IEEE Transactions on Industrial Informatics 10 (2): 1435–1442. doi:10.1109/TII.2014.2306383.
   Web of Science ®Google Scholar
• Tiplea, F. L., and I. Leahu. 2016. “The Reversible Released Form of Petri Nets and Its Applications to Soundness of Workflow Nets.” IEEE Transactions on Systems, Man, and Cybernetics: Systems 46 (2): 303–312. doi:10.1109/TSMC.2015.2426147.
   Web of Science ®Google Scholar
• Tziviskou, C., M. Palmonari, M. Comerio, and F. De Paoli 2013, Sedl-C: A Language for Modeling Business Terms in Service Descriptions, Proc. of the Int. Conf. Web Services (ICWS), pp. 547–554.
   Google Scholar
• Viriyasitavat, W. 2013, A Framework of Trust in Service Workflows, D.Phill. dissertation, Dept. of Computer Science, University of Oxford, Oxford.
   Google Scholar
• Viriyasitavat, W. 2016. “Multi-Criteria Selection for Services Selection in Service Workflow.” Journal of Industrial Information Integration 1: 20–25. doi:10.1016/j.jii.2016.03.003.
   Web of Science ®Google Scholar
• Viriyasitavat, W., and A. Martin 2010, Formal Trust Specification in Service Workflows, In IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing (EUC) pp. 703–710.
   Google Scholar
• Viriyasitavat, W., and A. Martin. 2011. “In the Relation of Workflow and Trust Characteristics, and Requirements in Service Workflows.” Communicable Computation Information Sciences 251: 492–506.
   Google Scholar
• Viriyasitavat, W., and A. Martin. 2012. “A Survey of Trust in Workflows and Relevant Contexts.” IEEE Communications Surveys & Tutorials 14 (3): 911–940.
   Web of Science ®Google Scholar
• Viriyasitavat, W., and A. Martin. 2017. “The Reviews and Analysis of the State-Of-The-Art Service Workflow Specification Languages.” Journal of Industrial Information Integration 8: 1–7. doi:10.1016/j.jii.2017.07.002.
   Web of Science ®Google Scholar
• Viriyasitavat, W., L. Xu, and A. Martin. 2012. “SWSpec: The Requirement Specification Language in Service Workflow Environments.” IEEE Transactions on Industrial Informatics 8 (3): 631–638. doi:10.1109/TII.2011.2182519.
   Web of Science ®Google Scholar
• Viriyasitavat, W., L. Xu, and W. Viriyasitavat. 2014a. “A New Approach for Compliance Checking in Service Workflows.” IEEE Transactions on Industrial Informatics 10 (2): 1452–1460. doi:10.1109/TII.2014.2301143.
   Web of Science ®Google Scholar
• Viriyasitavat, W., L. Xu, and W. Viriyasitavat. 2014b. “Compliance Checking for Requirement-Oriented Service Workflow Interoperations.” IEEE Transactions on Industrial Informatics 10 (2): 1469–1477. doi:10.1109/TII.2014.2301132.
   Web of Science ®Google Scholar
• Wang, C., Z. M. Bi, and L. D. Xu. 2014a. “IoT and Cloud Computing in Automation of Assembly Modeling Systems.” IEEE Transactions on Industrial Informatics 10 (2): 1426–1434. doi:10.1109/TII.2014.2300346.
   Web of Science ®Google Scholar
• Wang, C., L. Xu, and W. Peng. 2007. “Conceptual Design of Remote Monitoring and Fault Diagnosis Systems.” Information Systems 32 (7): 996–1004. doi:10.1016/j.is.2006.10.004.
   Web of Science ®Google Scholar
• Wang, J., P. Korambath, I. Altintas, J. Davis, and D. Crawl. 2014b. “Workflow as a Service in the Cloud: Architecture and Scheduling Algorithms.” Procedia Computer Science 29: 546–556. doi:10.1016/j.procs.2014.05.049.
   PubMedGoogle Scholar
• Wang, S., W. Shen, and H. Q. Hao. 2006. “An Agent-Based Web Service Workflow Model for Inter-Enterprise Collaboration.” Expert Systems with Applications 31 (4): 787–799. doi:10.1016/j.eswa.2006.01.011.
   Web of Science ®Google Scholar
• Wei, Y., and B. Blake. 2010. “Service-Oriented Computing and Cloud Computing.” IEEE Internet Computing 14 (6): 72–75. doi:10.1109/MIC.2010.147.
   Web of Science ®Google Scholar
• Wikipedia 2017, Cloud Manufacturing, https://en.wikipedia.org/wiki/Cloud_manufacturing (accessed 12 December 2017).
   Google Scholar
• Wu, Y., C. Yan, Z. Ding, G. Liu, P. Wang, C. Jiang, and M. Zhou. 2013. “A Novel Method for Calculating Service Reputation.” IEEE Transactions on Automation Science and Engineering 10 (3): 634–642. doi:10.1109/TASE.2013.2238231.
   Web of Science ®Google Scholar
• Xu, B., L. Xu, H. Cai, L. Jiang, Y. Luo, and Y. Gu. 2017. “The Design of an M-Health Monitoring System Based on a Cloud Computing Platform.” Enterprise Information Systems 11 (1): 17–36. doi:10.1080/17517575.2015.1053416.
   Web of Science ®Google Scholar
• Xu, L. 2007. “Editorial: Inaugural Issue.” Enterprise Information Systems 1 (1): 1–2. doi:10.1080/17517570712331393320.
   Web of Science ®Google Scholar
• Xu, L., W. He, and S. Li. 2014. “Internet of Things in Industries: A Survey.” IEEE Transactions on Industrial Informatics 10 (4): 2233–2248. doi:10.1109/TII.2014.2300753.
   Web of Science ®Google Scholar
• Xu, L., W. Tan, H. Zhen, and W. Shen. 2008. “An Approach to Enterprise Process Dynamic Modeling Supporting Enterprise Process Evolution.” Information Systems Frontiers 10 (5): 611–624. doi:10.1007/s10796-008-9114-3.
   Web of Science ®Google Scholar
• Xu, L. D. 2011. “Enterprise Systems: State-of-the-Art and Future Trends.” IEEE Transactions on Industrial Informatics 7 (4): 630–640. doi:10.1109/TII.2011.2167156.
   Web of Science ®Google Scholar
• Xu, L. D. 2016. “Editorial Inaugural Issue.” Journal of Industrial Information Integration 1: 1–2. doi:10.1016/j.jii.2016.04.001.
   Web of Science ®Google Scholar
• Xu, L. D., H. Liu, S. Wang, and K. Wang. 2009. “Modelling and Analysis Techniques for Cross-Organizational Workflow Systems.” Systems Research and Behavioral Science 26 (3): 367–389. doi:10.1002/sres.v26:3.
   Web of Science ®Google Scholar
• Xu, L. D., W. Viriyasitavat, P. Ruchikachorn, and A. Martin. 2012. “Using Propositional Logic for Requirements Verification of Service Workflow.” IEEE Transactions on Industrial Informatics 8 (3): 639–646. doi:10.1109/TII.2012.2187908.
   Web of Science ®Google Scholar
• Yang, P., X. Xie, I. Ray, and S. Lu. 2014. “Satisfiability Analysis of Workflows with Control-Flow Patterns and Authorization Constraints.” IEEE Transactions on Services Computing 7 (2): 237–251. doi:10.1109/TSC.2013.31.
   Web of Science ®Google Scholar
• Yao, Y., J. Cao, Y. Jiang, and J. Wang 2016, An Optimal Engine Component Placement Strategy for Cloud Workflow Service, IEEE International Conference on Web Services, pp. 380–387.
   Google Scholar
• Zhang, F., K. Hwang, S. U. Khan, and Q. M. Malluhi. 2016. “Skyline Discovery and Composition of Multi-Cloud Mashup Services.” IEEE Transactions on Services Computing 9 (1): 72–83. doi:10.1109/TSC.2015.2449302.
   Web of Science ®Google Scholar
• Zhao, X., and C. Liu. 2010. “Steering Dynamic Collaborations between Business Processes.” IEEE Transactions on Systems, Man, and Cybernetics – Part A: Systems and Humans 40 (4): 743–757. doi:10.1109/TSMCA.2010.2044409.
   Web of Science ®Google Scholar
• Zhao, Y., Y. Li, L. Raicu, S. Lu, C. Lin, Y. Zhang, W. Tian, and R. Xue. 2015. “A Service Framework for Scientific Workflow Management in the Cloud.” IEEE Transactions on Service Computing 8 (6): 930–944. doi:10.1109/TSC.2014.2341235.
   Web of Science ®Google Scholar
• Zhou, A. C., B. He, and C. Liu. 2016. “Monetary Cost Optimizations for Hosting Workflow-As-A-Service in IaaS Clouds.” IEEE Transactions on Cloud Computing 4 (1): 34–48. doi:10.1109/TCC.2015.2404807.
   Web of Science ®Google Scholar
• Zou, G., Q. Lu, Y. Chen, R. Huang, Y. Xu, and Y. Xiang. 2014. “QoS-aware Dynamic Composition of Web Services Using Numerical Temporal Planning.” IEEE Transactions on Services Computing 7 (1): 1–14. doi:10.1109/TSC.2012.27.
   Web of Science ®Google Scholar