返回首页
CCF长沙活动预告：互联网软件的机遇与挑战论坛
中国计算机学会中国计算机大会
CCF 长沙、YOCSEF 长沙 联合论坛
互联网软件的机遇与挑战
2014年 06月 06日 (星期五) 上午 8:30 - 11:45
湖南.长沙 国防科技大学计算机学院 后楼学术厅
当前互联网尤其是移动互联网正以前所未有的速度在快速发展，越来越多的计算机软件部署和运行在互联网之上，并为互联网用户提供各种服务，极大地改变了人们的学习、工作、生活、娱乐和社交等方式。由于互联网本身的开放性、动态性和不可预测性，以及受云计算、服务计算和大数据处理等一系列新型计算范型以及应用需求的驱动， 互联网软件的特征正发生深刻的变化，软件系统中的个体具有自主、自适应、自治、自组织等方面的特征，整个系统呈现出社会技术系统、超大规模系统、系统联盟或者系统之系统的特点；围绕这些变化，近年来出现了诸多的软件工程技术与方法，如面向云计算的软件工程、群体软件开发方法、自适应软件工程、网构软件技术等等。随着移动互联网、个人终端以及以云计算为代表的新型计算等的快速发展，互联网软件将给我们带来什么样的机遇？这些机遇将给计算机软件技术尤其是软件工程提出什么样的挑战等等，本次论坛将邀请国际上在该领域具有突出贡献的一组专家展开研讨。
会 议 程 序
特邀讲者：朱 鸿 英国牛津布鲁克斯大学(Oxford Brookes University)教授
演讲题目： From Design Patterns to Cyberpatterns: Towards a Formal Methodology for Research on Big Data
特邀讲者：徐 洁 英国利兹大学(University of Leeds)教授
演讲题目：Architectural Challenges: Trusted Services and Internet Scale
特邀讲者：蔡维德 美国亚利桑那州立大学(Arizona State University)教授
演讲题目 Software Engineering Processes for SaaS Application Development
特邀讲者：Jerry Gao 圣何塞州立大学(San Jose State University)教授
演讲题目：Mobile Cloud Computing-Infrastructures, research issues, and challenges
执行主席：王怀民 国防科学技术大学计算机学院教授 CCF长沙主席
执行主席：毛新军 国防科学技术大学计算机学院教授 CCF长沙执行委员
特邀报告人和报告内容简介
特邀讲者：朱鸿
Hong Zhu is a full professor of computer science at the Oxford Brookes University, UK, where he chairs the Applied Formal Methods research group. He received a BSc, MSc and PhD degree in Computer Science from Nanjing University, China, in 1982, 1984 and 1987, respectively. He was with Nanjing University from August 1987 to November 1998 and joined Oxford Brookes University in Nov. 1998. His main research interests are in software engineering, including software testing, modeling, design and development methodologies. He currently researches on formal methods and automated tools for service-oriented and cloud computing and agent oriented software development. Prof. Zhu has published two books and more than 170 research papers in journals and international conferences and chapters in peer reviewed edited books. He is a senior member of IEEE and a member of ACM and BCS. He is one of the co-founders of the IEEE/ACM International workshops on Automation of Software Test (AST) and its steering committee chair since the establishment of the workshop series in 2006. He has been the PC chair for other workshops and conferences, which include QSIC 2008, IEEE SOSE 2011, and general chair of IEEE SOSE 2013, IEEE MobileCloud 2014 etc. He is a member of editorial boards of the journal of Software Testing, Verification and Reliability (STVR), Software Quality Journal (SQJ), etc.
报告提要：
A pattern represents a discernible regularity in the world or in manmade designs. In the prescriptive point of view, a pattern is a template from which instances can be created; while in the descriptive point of view, the elements of a pattern that repeat in a predictable manner can be observed and recognised. Similar to theories in sciences, patterns explain and predict regularities in a subject domain. In a complicated subject domain like cyberspace, there are usually a large number of patterns that each describes and predicts a subset of recurring phenomena, yet these patterns can interact with each other and be interrelated and composed with each other. The pattern-oriented research method studies a subject domain by identifying the patterns, classifying and categorising them, organising them into pattern languages, investigating the interactions between them, devising mechanisms and operations for detecting and predicting their occurrences, and facilitating their instantiations. The past two decades has seen a great amount of research on software design patterns as reusable design knowledge. A large number of design patterns have been recognised, documented, catalogued, and widely used in practice. This talk illustrates this research methodology through a review of the research on software design patterns as an example of successful application of the methodology. It then discusses its possible applications to the research on cyberpatterns, i.e. patterns in cyberspace, especially the research on Big Data.
特邀讲者：徐洁
Jie Xu is Chair of Computing and Head of the Institute for Computational and Systems Science at the University of Leeds, UK, and Director of the UK EPSRC WRG e-Science Centre involving the three White Rose Universities of Leeds, York and Sheffield. He is also a guest professor at Beihang University and NUDT, China. He joined the University of Newcastle upon Tyne in 1990 where he received a PhD in advanced fault-tolerant software. He then moved to the University of Durham in 1998 as the head founder of the Durham Distributed Systems Engineering group. He was a full professor at Durham before he joined the Multidisciplinary Informatics Institute at Leeds. He has worked in the field of Distributed Computing for over thirty years and has had industrial experience in building large-scale networked computer systems. Professor Xu now leads a collaborative research team at Leeds studying Clouds and Internet technologies with a focus on complex system engineering, energy-efficient computing, dependability and security, and evolving software architectures. He is the recipient of the BCS/AT&T Brendan Murphy Prize 2001 for the best work in the area of distributed systems and networks. He has led or co-led many key research projects worth a total of over £25M and is the PI of an EPSRC Platform grant. He has published more than 300 academic papers, and given keynote speeches at, and served as General Chair/Program Chair/Steering Committee member of, numerous international conferences.
报告提要：
With a focus on architectural challenges in large-scale software, my talk will summarise and discuss our experience and lessons learnt from two industrial production applications: 1) Rolls-Royce’s STRAPP system, and 2) Alibaba’s Fuxi system. The STRAPP’s loosely coupled and service-oriented architecture enables effectively the trust to be placed by users in Rolls-Royce’s Engine Health Management through provenance-based risk assessment and dependability enhancement. In order to achieve a high degree of scalability, resource utilization, and fault tolerance, the Fuxi system de-couples resource management from job scheduling and allows resources to be shared between various job frameworks in AliCloud. The Fuxi architecture is so efficient that its average scheduling time for a job request takes only 0.88ms and its data processing throughput reaches 2.364TB per min (while running the GraySort benchmark over 5000+ processing nodes).
特邀讲者：蔡维德
Prof. W. T. Tsai received his Ph.D. and M.S. in Computer Science from University of California at Berkeley. He has been a professor of Computer Science at University of Minnesota before joining Arizona State University. His recent work is related SaaS and service-oriented computing.
报告提要：
SaaS (Software-as-a-Service) a part of cloud computing is a new way of software design and delivery model, and it introduced many design features including customization, multi-tenancy architecture, scalability with automated migration, metadata-driven design, fault-tolerant computing with automated redundancy management, and sub-tenancy architecture. While most of these features are related to software design, these new features also introduced new software engineering processes such as SaaS-oriented requirement engineering and testing processes. These processes are different from traditional software development processes such as Waterfall, Spiral or Agile as these processes will be based on an underlying SaaS infrastructure with existing components. This talk will illustrate some of these processes and highlight their unique features.
特邀讲者：Jerry Gao
Jerry Gao is a professor at the Department of Computer Engineering at San Jose State University. He had over 15 years of academic research and teaching experience and over10 years of industry working and management experience on software engineering and IT development applications. He has over hundreds publications in IEEE/ACM journals, magazines, International conferences and workshops. He has co-authored three published technical books and edited numerous books in software engineering, software testing, and mobile computing. His current research areas include cloud computing, mobile computing and mobile cloud
services, TaaS, software engineering, and test automation. Dr. Gao has published numerous book chapters, edited a number of international conference proceedings, special issues for archived journals. In addition, he has served as an editorial board member and an associate editor for several international journals. Furthermore, he has provided his technical consultant and training services for large IT business and telecommunication companies, such as Fujitsu Network, Intuit, eBay, HP, IBM, Haiwei, Cisco, and UT-StartCom. In recent years, Dr. Gao has played an active role in organizing numerous international conferences and workshops. He has served as a conference co-chair, program co-chair, and workshop co-chair for SEKE06-2011, IEEE MobileCloud2013-2014, IEEE SOSE2011-2013, ICYCS'05, AST2014, TQACBS2005-2006, WMCS2004-2010, IEEE EMOBS07-08, TEST'07, and EECC2006.
报告提要：
With the rapid advance of mobile computing technology and wireless networking, there is a significant increase of mobile subscriptions. Mobile cloud computing has been listed by IEEE Computer Community as the top one emergency technology in 2014. This causes a strong demand on mobile cloud applications and services for mobile users, and brings out a great business and research opportunity in mobile cloud computing (MCC). What is a mobile cloud? Why do we need mobile clouds? Where are the mobile clouds? This presentation shares a vision and a road map on mobile cloud computing and infrastructures by beginning with the market trend and basic concepts on mobile cloud computing and services. This special discussion will be given to mobile cloud infrastructure evolution and its diversity. Moreover, research issues, challenges, and opportunities will be touched on.
执行主席 王怀民
教育部长江学者，国家杰出青年基金获得者，入选国家和军队科技领军人才工程、教育部“跨世纪优秀人才培养计划” ，计算机学会会士。长期从事以网络为中心的软件技术研究，在可信软件大规模协同环境、分布对象中间件、网络资源聚合与协同机理、等方面取得了丰硕成果，主持国家 863 计划、国家 973 计划、国家自然科学基金、国防预研等 20 多项科研课题。主持研制成功遵循国际 CORBA 标准的“面向对象的分布计算软件平台 StarBus” ，在国家和军队信息化建设中得到广泛应用，产生了十分显著的经济效益和社会效益；主持研制的“面向互联网计算的虚拟计算环境”在国际学术界获得关注；主持研制的“可信的国家软件资源共享与协同生产环境 Trustie”被科技部列为十年来我国 5 项代表性软件成果之一。先后获国家科技进步二等奖 2 项、特等奖 1 项（参研单位代表） 、湖南省自然科学一等奖 1 项、技术发明奖 1 项、科技进步一等奖 1 项、军队科技进步一等奖 2 项，发表 SCI/EI 收录论文 150 余篇，申请国家发明专利 37 项（授权 12 项） 。
执行主席 毛新军
中国计算机学会CCF长沙执行委员， CCF YOCSEF委员， CCF理论计算机、软件工程专业委员会委员，霍英东基金、军队专业技术二类岗获得者，入选教育部新世纪优秀人才、湖南省121人才工程；感兴趣研究方向包括：软件工程、自主Agent和多Agent系统、自适应和自组织系统、自治计算等等，担任多个相关国际期刊的编委以及学术会议的程序委员会主席和委员，包括Agent 2010, PRIMA 2014, IEEE SMC 2014等，主持和参与国家863、国家973、NSFC、霍英东基金、装备预研及基金、教育部博士点基金等课题十余项；出版学术著作和教材各1部，获军队科技进步二等奖和湖南自然科学一等奖各1项，在国内外期刊和会议上发表学术论文120余篇。
京公网安备 11010802032778号
所有评论仅代表网友意见