Internetware (eBook)

Prof. Hong Mei received his Bachelor’s degree and Master’s degree in Computer Science from Nanjing University of Aeronautics & Astronautics (NUAA) in 1984 and 1987, respectively, and a PhD in Computer Science from Shanghai Jiao Tong University in 1992. From 1987 to 1989, he worked at NUAA as a research assistant. In 1992, he joined Peking University (PKU) as a post-doctoral research fellow. From 1994 to present, he has worked at the Department of Computer Science and Technology and the School of Electronics Engineering and Computer Science in PKU, becoming an associate professor in 1994 and full professor in 1997. In 2005, he became a "Chang Jiang Scholars Program" professor of the Ministry of Education. In 2011, he was elected as a member of the Chinese Academy of Sciences. In 2013, he was elected as a Fellow of the World Academy of Sciences for the advancement of science in developing countries. In 2014, he was named an IEEE Fellow. He served as Dean of the School of Electronics Engineering and Computer Science at PKU from 2006-2014, and is currently the Director of the Key Laboratory of High Confidence Software Technologies of Ministry of Education (MOE) at PKU.  He acted as the Chief Scientist for two projects sponsored by the National Basic Research Program of China (973 Program), i.e., "Research on theory and methodology of agent-based middleware on Internet Platform” (2002-2008) and “Research on the trustworthiness, quality-of-service, development methodologies, and runtime mechanisms of the network-based complex software systems” (2009-2013), respectively, where he was responsible for coordinating more than 100 scientists and researchers. His current research interests include software engineering and system software. In the past years, Prof. Mei has received numerous awards for his contributions to research and education.Jian Lü is a Full Professor and the Executive Vice President of Nanjing University, China. He received his BSc, MSc and PhD degrees from Nanjing University in 1982, 1985 and 1988, respectively. In 2000, he was selected into the "Chang-Jiang Scholars Program" of the Ministry of Education, and in 2013 elected as a member of the Chinese Academy of Sciences. He has been serving as the Director of the National Key Laboratory for Novel Software Technology since 1995, which has been recognized and ranked as a top IT laboratory in ongoing national evaluations. He has led the Innovative Research Group "Research for Software Methodology and Technology for the Internet", founded by the National Natural Science Foundation of China, since 2009. Prof. Lü’s research interests include various topics in software engineering, such as formal methods, software methodology and system software. He has published over 150 papers in refereed journals and conferences. In recognition of his research achievements, Prof. Lü has earned numerous prizes and awards, including two National Science and Technology Progress Awards and the Ho Leung Ho Lee Foundation’s Prize for Scientific and Technological Progress. He currently serves on the editorial boards of journals and technical committees of conferences, and was once a Board Member of the International Institute for Software Technology of United Nations University. Currently, he is also the Vice Chairman of the Council of China Computer Federation, where he works to promote the overall advancement of computer science research in China.

1. Internetware: A shift of software paradigm.- 2. Technical Framework for Internetware: An Architecture Centric Approach.- 3. On environment-driven software model for Internetware.- 4. A Software Architecture Centric Self-adaptation Approach for Internetware.- 5. Requirements Model Driven Adaption and Evolution of Internetware.- 6. Runtime Recovery and Manipulation of Software Architecture of Component-based Systems.- 7. Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach.- 8. Low-disruptive Dynamic Updating of Internetware Applications.- 9. Specification and Monitoring of Data-centric Temporal Properties for Service-based Internetware systems.- 10. Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments.- 11. A Software Architecture Centric Engineering Approach for Internetware.- 12. Toward Capability Specification of Internetware Entity Based on Environment Ontology.- 13. Feature-driven requirement dependency analysis and high-level software design.- 14. rCOS: A Refinement Calculus of Internetware Systems.- 15. Refactoring Android Java Code for On-Demand Computation Offloading.- 16. Towards Architecture-based Management of Platforms in Cloud.- 17. Golden Age: On Multi-Source Software Update Propagation in Pervasive Networking Environments.- 18. GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications.