[发明专利]一种软件组件系统组件间协作行为分析方法

权利要求书

1.一种软件组件系统组件间协作行为分析方法，其特征在于包括以下步骤：

步骤1：分析组件行为，建立组件的行为模型；

分析组件与其它组件的外部交互，确定组件与指定组件交互所接收和发送的消息，建立组件的UML状态图，通过状态图进一步了解了组件的行为；

步骤2：对各组件进行基于Pi演算的行为描述；

针对组件行为分析结果，以组件与其它组件协作情况下的UML状态图为主，并将组件收发的消息作为附加信息，按所定义的抽取规则对组件状态图进行Pi演算语义的抽取，得到各组件基于Pi演算的行为描述；

步骤3：生成协作路径集合；

利用Pi演算操作语义推演组件间的协作路径，生成协作路径集合，将该集合作为组件间协作行为的一部分；

步骤4：分析协作路径上的时间约束，生成带时间约束的协作路径集；

构造系统的时序图，根据所生成的协作路径从所构造的时序图中抽取所需的时间约束，生成带时间约束的协作路径集。

2.根据权利要求1所述的一种软件组件系统组件间协作行为分析方法，其特征在于，步骤2所述的抽取规则包括以下内容：

规则1.一个组件可以作为Pi演算中的一个进程；

规则2.一个组件可以通过消息的接收与发送与其它组件交互，当一个消息被传递时，假定存在一个传递该消息的通道与Pi演算中的传递该消息的通道相对应；

规则3.在状态图中，状态的迁移是由事件的触发引起的，事件的触发由消息的收发引起，因此一个状态迁移可以由基本进程表达式表达；从S1状态迁移到S2状态，由通道a接收消息x，这一迁移可以表示为a<x>；

规则4.在状态图中，没有通过接收或发送消息而被触发的事件所造成的状态变迁不进行Pi演算语义抽取；

规则5.在状态图中，互斥的条件分支借助Pi演算中的和式表达式表示；

规则6.在状态图中，由一系列状态迁移构成的可行流程用Pi演算的进程表达式来表达。

3.根据权利要求1所述的一种软件组件系统组件间协作行为分析方法，其特征在于，步骤3所述的协作路径是各组件协作完成某项任务的过程中进行消息传递形成的协作消息链；组件间的协作路径可以表示为p_i=<m_i1m_i2…m_ij>，其中m_ij是所传递的消息，可以用一个三元组表示为m_ij=（sender，name，receiver），其中，i>0，j>0；sender为消息发送者的标识；name为所传递消息的标识；receiver为消息接收者的标识；所述协作路径集合可以表示为集合P={p_k}，其中p_k为组件间的协作路径，k>0。

4.根据权利要求1所述的一种软件组件系统组件间协作行为分析方法，其特征在于，步骤4所述的时序图用于显示系统内各个实体处于某种特定状态的时间，以及触发这些状态发生变化的消息；其主要元素包括参与者、状态、状态线、事件与消息以及时间约束；其中，

参与者：参与者是交互所涉及的所有实体；

状态：状态是实体在交互过程中自身的所有状态；

状态线：是用来显示系统中的实体在任何特定时间下所处的状态，系统中实体的状态线与系统中实体的某个状态是一致的；

事件与消息：将事件与消息显示在时序图上，用于表示触发实体的状态改变；

时间约束：描述交互中的特定部分应该花费多长时间；通常应用于特定状态的时间量，或者应该花费多长时间调用及接收事件。