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程序委员会主席及多个国际会议的程序委员会及指导委员会委员。