讲座:Modeling and Verifying Connectors in Complex Systems

Modeling and Verifying Connectors in Complex Systems
 
摘要:
 
The complex interaction between system components makes coordination models and languages very important for the analysis, design and verification of complex systems. In this talk, I will introduce the coordination language Reo that has been successfully used for composition of Web services, modeling and analysis of long-running transactions in service-oriented systems, coordination of multi-agent systems, performance analysis of coordinated compositions, modeling of business processes and verification of their compliance, and modeling of biological systems. The following topics will be covered in this talk: modeling, synthesis, verification, and performance analysis for connectors in Reo.
 
主讲人简介:
 
孙猛于1999年和2005年分别在北京大学数学科学学院获得学士及博士学位。2002年3月至2003年7月在联合国大学国际软件技术研究所任客座研究员,2005到2006年在新加坡国立大学计算学院从事博士后研究,2006年至2010年在荷兰国家数学与计算机科学研究中心(CWI)任研究员,2008年在荷兰莱顿大学计算机系任兼职讲师。2010年6月到北京大学工作,现为北京大学数学科学学院信息科学系副主任,副教授,博士生导师。现主持国家自然科学基金和教育部博士点基金项目各一项,出版专著1部,主编国际会议文集2部,主编SCI期刊Science of Computer Programming关于组件软件的形式化主题专刊1期,在软件工程领域最顶级的国际会议ICSE、FSE等重要国际会议及专业期刊发表及录用论文近50篇,担任国际会议FACS’09、TTSS’11程序委员会主席及多个国际会议的程序委员会及指导委员会委员。