主 题: Structure and Behavior (关键词:共代数,共归纳,进程,面向对象,组件)
报告人: Prof. Luis Barbosa (葡萄牙Minho大学)
时 间: 2006-09-25(9.25-9.29每天上午10:00-12;00)
地 点: 理科一号楼 1479
This course is an introduction to coinduction, both as a modelling and
reasoning tool, and to its application to the development of models and
calculi for dynamic computational structures. We will consider, in particular,
? processes (understood as specifications of observable behaviours),
? and (state-based) software components (taken as the building blocks of
modern software design).
From a methodological point of view, the main focus of this course is
placed on reasoning principles for such structures, developing an entirely
calculational approach to coinduction which avoids the explicit construction
of bisimulations, and, therefore, promotes a reasoning style closer to the
actual program construction practice.
Plan
1. Introduction: modelling is for reasoning
2. Coinductive reasoning: a calculational perspective
3. Applications: models and calculi for processes and components
(a) Generic process algebra (a reconstruction of CCS)
(b) A calculus of software components
(c) Componentware: from composition to coordination