无忧文档

浅谈基于BIP的AADL行为模型验证方法论文.doc

名称,可用于端口同步。

连接件:用于描述原子构件端口之间可能的交互模式。

优先级关系:用于在几种可能的交互方式中做选择,这种选择需要根据条件来判断。条件和原子构件整体的状态有关。下面详细阐述这个语言的主要特征。

2.1 优先权

在包含多个构件交互的系统里,优先权可以根据条件来确定所有执行交互的优先级。因此优先权可以通过设置执行迁移约束条件来减少系统的非确定性。这些条件是一套规则,每条规则都由和条件交互有关的命令对组成。条件是一个与构件交互变量有关的布尔表达式。当条件满足,所有交互都可执行,则优先级高的先执行。对于静态优先级,条件可以忽略。规则也可以扩展为交互组合。例如规则P1 的优先权高于p 有着比p1|q更高的优先权。此外,优先权和交互是兼容的,p|q

3 AADL行为模型到BIP模型的转换规则

AADL 模型转换主要是建立AADL 模型与目标模型元素的转换规则。本文从AADL模型的行为模型出发,建立其到BIP 模型的转换规则。AADL 行为模型用于描述构件内部的详细行为模式,与其他构件通过端口连接等方式形成的流(包括数据流和时间流)进行交互。AADL 模型中每个构件内的行为模型相对对立,可以直接映射成BIP 描述的原子构件,多个构件交互的行为可以映射为BIP 复合构件里多个原子构件的交互,从而避免了构造自动机的积的复杂过程。

相关文档
热门文档
评论