Prof. Honghao Gao received the Ph.D. degree in Computer Science and started his academic career at Shanghai University in 2012. He is an IET Fellow(FIET), BCS Fellow(FBCS), EAI Fellow(FEAI), IEEE Senior Member(SMIEEE), CCF Senior Member(SMCCF), and CAAI Senior Member(SMCAAI). Dr. Gao is currently a Distinguished Professor with the Key Laboratory of Complex Systems Modeling and Simulation, Ministry of Education, China, is a Research Fellow with the Software Engineering Information Technology Institute of Central Michigan University (CMU), USA, and is also a Professor at Gachon University, South Korea. Dr. Gao's research interests include service computing, model checking-based software verification, wireless networks, and intelligent medical image processing. Prof. Yuyu Yin received the PhD in Computer Science from Zhejiang University in 2010. He is currently a Professor at the College of Computer in Hangzhou Dianzi University and is engaged as a Supervisor of Master Students with the School of Computer Engineering and Science of Shanghai University, Shanghai, China. His research interests include Service Computing, Cloud Computing, and Business Process Management. He is a IEEE Member, Member of the China Computer Federation (CCF), CCF Service Computing Technical Committee Member. During the past ten years, he has published more than 40 papers in journals and refereed conferences such as Sensors, Entropy, IJSEKE, Mobile Information Systems, ICWS, SEKE. He organized and more than 10 international conferences and workshops, such as FMSC2011-2017, DISA2012\2017-2018. Also He worked as guest editor for Journal of Information Science and Engineering and International Journal of Software Engineering and Knowledge Engineering, and as reviewers for IEEE transaction on Industry Informatics, Journal of Database Management, Future Generation Computer Systems, etc.

• Chapter 1. Cross Domain security model based on Internet of vehicles .- Chapter 2. A framework to improve performance and energy efficiency of Embedded Intelligence Service System.- Chapter 3. Formal verification, testing, inspection for intelligent services.- Chapter 4. QoS for 5G Mobile Services based on Intelligent Multi-Access Edge Computing.- Chapter 5. An Efficient Interpolation Method through Trends Prediction in Smart Power Grid.- Chapter 6. 2PC+: A High Performance Protocol for Distributed Transactions of Microservice Architecture.

Prof. Honghao Gao received the Ph.D. degree in Computer Science and started his academic career at Shanghai University in 2012. He is an IET Fellow(FIET), BCS Fellow(FBCS), EAI Fellow(FEAI), IEEE Senior Member(SMIEEE), CCF Senior Member(SMCCF), and CAAI Senior Member(SMCAAI). Dr. Gao is currently a Distinguished Professor with the Key Laboratory of Complex Systems Modeling and Simulation, Ministry of Education, China, is a Research Fellow with the Software Engineering Information Technology Institute of Central Michigan University (CMU), USA, and is also a Professor at Gachon University, South Korea. Dr. Gao's research interests include service computing, model checking-based software verification, wireless networks, and intelligent medical image processing. Prof. Yuyu Yin received the PhD in Computer Science from Zhejiang University in 2010. He is currently a Professor at the College of Computer in Hangzhou Dianzi University and is engaged as a Supervisor of Master Students with the School of Computer Engineering and Science of Shanghai University, Shanghai, China. His research interests include Service Computing, Cloud Computing, and Business Process Management. He is a IEEE Member, Member of the China Computer Federation (CCF), CCF Service Computing Technical Committee Member. During the past ten years, he has published more than 40 papers in journals and refereed conferences such as Sensors, Entropy, IJSEKE, Mobile Information Systems, ICWS, SEKE. He organized and more than 10 international conferences and workshops, such as FMSC2011-2017, DISA2012\2017-2018. Also He worked as guest editor for Journal of Information Science and Engineering and International Journal of Software Engineering and Knowledge Engineering, and as reviewers for IEEE transaction on Industry Informatics, Journal of Database Management, Future Generation Computer Systems, etc.

• Chapter 1. Cross Domain security model based on Internet of vehicles .- Chapter 2. A framework to improve performance and energy efficiency of Embedded Intelligence Service System.- Chapter 3. Formal verification, testing, inspection for intelligent services.- Chapter 4. QoS for 5G Mobile Services based on Intelligent Multi-Access Edge Computing.- Chapter 5. An Efficient Interpolation Method through Trends Prediction in Smart Power Grid.- Chapter 6. 2PC+: A High Performance Protocol for Distributed Transactions of Microservice Architecture.

Prof. Honghao Gao received the Ph.D. degree in Computer Science and started his academic career at Shanghai University in 2012. He is an IET Fellow(FIET), BCS Fellow(FBCS), EAI Fellow(FEAI), IEEE Senior Member(SMIEEE), CCF Senior Member(SMCCF), and CAAI Senior Member(SMCAAI). Dr. Gao is currently a Distinguished Professor with the Key Laboratory of Complex Systems Modeling and Simulation, Ministry of Education, China, is a Research Fellow with the Software Engineering Information Technology Institute of Central Michigan University (CMU), USA, and is also a Professor at Gachon University, South Korea. Dr. Gao's research interests include service computing, model checking-based software verification, wireless networks, and intelligent medical image processing. Prof. Yuyu Yin received the PhD in Computer Science from Zhejiang University in 2010. He is currently a Professor at the College of Computer in Hangzhou Dianzi University and is engaged as a Supervisor of Master Students with the School of Computer Engineering and Science of Shanghai University, Shanghai, China. His research interests include Service Computing, Cloud Computing, and Business Process Management. He is a IEEE Member, Member of the China Computer Federation (CCF), CCF Service Computing Technical Committee Member. During the past ten years, he has published more than 40 papers in journals and refereed conferences such as Sensors, Entropy, IJSEKE, Mobile Information Systems, ICWS, SEKE. He organized and more than 10 international conferences and workshops, such as FMSC2011-2017, DISA2012\2017-2018. Also He worked as guest editor for Journal of Information Science and Engineering and International Journal of Software Engineering and Knowledge Engineering, and as reviewers for IEEE transaction on Industry Informatics, Journal of Database Management, Future Generation Computer Systems, etc.

• Chapter 1. Cross Domain security model based on Internet of vehicles .- Chapter 2. A framework to improve performance and energy efficiency of Embedded Intelligence Service System.- Chapter 3. Formal verification, testing, inspection for intelligent services.- Chapter 4. QoS for 5G Mobile Services based on Intelligent Multi-Access Edge Computing.- Chapter 5. An Efficient Interpolation Method through Trends Prediction in Smart Power Grid.- Chapter 6. 2PC+: A High Performance Protocol for Distributed Transactions of Microservice Architecture.