汇报内容

1、上周老师说了可以看看法国的BIP，然后我看了一篇关于BIP整体框架的论文，了解了一些较为基础的知识。2、这篇论文是使用BIP框架进行设计严格的组件系统，由于缺乏从一个给定系统的应用软件和平台模型中能严格推导出全局模型的技术，因此作者使用了BIP框架进行构造。3、它主要是用来保证系统的基本属性（因为现在都是对一个特定的编程模型给一个指定的执行模型进行相关联），并设计了这样一个通用的表示框架。4、例如实时一般用周期任务调度、同步用单处理顺序实现，这些都没有一定的通用性，5、而BIP统一语义模型能确保基本系统设计的正确性。6、BIP是指 behavior、interaction、priority，主要分为三块内容，一个是model-based，根据单一语义模型保证n+1步的性质满足n步的性质，一个是compoent-based，提供一系列操作符（一元和二元）、还有一个是tractable，通过构造避免单一的后验。总的来说，它的大致分为几块内容，7、定义了一个Architecture，8、包含原子组件（仅有interaction和priortes构成）和复杂组件（原子+原子或者原子+复杂+connector）、D-Finder用于验证安全，一个计算不变量的验证（原文说主要验证死锁）9、还有一个engine，它是访问connector和优先级模型（组件）的。然后这边我理解就是说原子组件之间不会直接交流，需要通过这个engine，然后这个connector是关联guard和数据转化函数，也就是说一个interaction可以成功执行分为两种情况，一个是原子组件，它就没有connector，自己执行就不需要交互，直接使用自身的priority进行执行，还有一种是复合组件，它的执行就是需要同时成立的interaction，首先需要engine去访问各个的connector，当每一个组件的guard为true的时候，他们就可以执行数据转化，然后是通知各个参与交互的组件（这边应该是原子组件），然后再使用原子组件的priority进行区分先后的执行。10、总的来说，对BIP的初步认识是感觉就是把东西划分为最小进行执行，然后进行构造（也就是软件理论基础老师说的最小概念集和结构归纳法）将系统模型和平台模型通用化的构造模型方法，并保证了通用模型的一定的安全性。

导师反馈内容

可以看一下Reo，只讲connector，还有一个Orc编程工程软件平台。