[发明专利]一种基于扩展的UML2序列图的中断驱动系统建模方法

摘要

一种基于扩展的UML2序列图的中断驱动系统建模方法，步骤如下：步骤1：扩展UML2序列图，新增中断交互操作类型用于描述中断的发生和响应处理；步骤2：将中断驱动系统的执行流程划分为一个中断外交互和若干个中断内交互；步骤3：根据UML2序列图规范对中断外的流程进行建模；步骤4：根据步骤1中定义的中断组合片段对中断的发生和响应处理进行建模；步骤5：对中断驱动系统的时间约束进行建模；本发明扩展了UML2序列图，使之能够描述中断驱动系统，为中断驱动系统设计人员提供了直观形象、易于理解的建模方法；有利于中断驱动系统的建模设计、以及相关的模型验证、模型转换以及模型到代码的生成。

主权项

1.一种基于扩展的UML2序列图的中断驱动系统建模方法，其特征是，包括如下步骤：步骤1：扩展UML2序列图，新增中断交互操作类型用于描述中断的发生和响应处理；步骤2：将中断驱动系统的执行流程划分为一个中断外交互和若干个中断内交互；步骤3：根据UML2序列图规范对中断外的流程进行建模；步骤4：根据步骤1中定义的中断组合片段对中断的发生和响应处理进行建模；步骤5：对中断驱动系统的时间约束进行建模；步骤1中的UML2序列图由交互对象、生命线、消息、组合片段元素构成，为一个二维图；横向轴依次列出交互对象；纵向是时间轴；时间沿竖线向下延伸，用于描述对象交互发生的时间先后顺序；交互对象用生命线来表示，图形为一个矩形加底部的一条垂直虚线；矩形内标注对象名，垂直线既表示对象的生命周期也表示时间轴；对象之间的交互用消息描述；消息是对象间的一种通信机制，由发送对象向另一个或其他几个接收对象发送信号；其图形描述为一条带箭头的线，起点在发送对象的生命线上，终点即箭头端在接收对象的生命线上；消息名放置在带箭头的线上面，消息的发送和接收事件都有唯一的事件名，分别放置在带箭头的线的起点和终点；在UML2序列图中选择和迭代复杂的控制流用组合片段表示；不同的组合片段的功能由其交互操作类型决定；在UML2规范中，已定义的组合片段的交互操作类型片段有表示循环的loop、表示控制流的分支中二选一的alt和表示该片段内控制流为可选的opt，交互操作类型片段的图形描绘方式符合UML2规范；扩展UML2序列图，新增中断交互操作类型用于定义一种新的中断组合片段；中断组合片段的语法遵循UML2组合片段的描述规范：由一个矩形方框表示组合片段的边界；在矩形方框的左上角五边形中，字符串int表示该组合片段的交互操作类型是中断；p表示中断优先级、为非负整数；id为可选内容，描述了该中断组合片段的名称；位于方框左上角五边形下方的condition为条件表达式，是可选内容，其值为布尔型；UML2序列图中对象交互所产生的消息收发事件在时间上具有先后关系，这种时间上的先后关系构成时间上的偏序关系；在序列图中基于以下两条规则确定事件发生的偏序关系：1)同一条消息的发送事件先于接收事件；2)在同一条生命线上且同处于某一中断组合片段内或都处于中断组合片段外的两个事件，位于生命线上方的事件先于下方的事件；由于中断的发生和处理在时间上具有不确定性，为了表达这种不确定性，规定发生在中断组合片段内的事件与中断组合片段之外的事件不存在时间上的偏序关系，即规则3)发生在中断组合片段内的事件与中断组合片段之外的事件不存在偏序关系；对于中断优先级，规定高优先级的中断片段的执行可以打断低优先级的中断的执行，但低优先级的中断的执行不可打断高优先级中断的执行，这样就能对中断优先级进行建模，并能描述中断嵌套；对于中断响应的禁止和使能则使用变量赋值和条件表达式来建模；允许为消息的接收和发送事件绑定变量赋值操作，表示在消息的接收和发送时刻执行该变量赋值操作；变量赋值操作是可选的，在需要绑定变量赋值操作的事件名称后添加一对大括号，括号内为相应的变量赋值语句；如果有多个赋值语句则在括号内用逗号分隔依次列出；变量对应于中断屏蔽字，它的赋值用于控制中断响应的开启和关闭；条件表达式用于判断中断响应的开启与关闭；若条件表达式为真则表示中断组合片段所描述的中断可以被响应和处理，反之则不可；条件表达式的表示格式为：变量名二元关系操作符变量值；支持的二元关系操作符有，等于(＝)、不等于(！＝)、大于(>)、大于等于(>＝)、小于(<)和小于等于(<＝)；若条件表达式省略，则默认值为真，即默认中断服务处于开启状态；步骤3具体化，根据UML2序列图规范对中断外的流程进行建模，其方法为，根据交互的控制流类型和先后顺序，顺序执行的对象交互用消息按时间轴从上到下表示，复杂的控制流用UML2序列图规范中定义的组合片段表示；对系统中的循环控制流，在循环发生的位置添加loop组合片段；然后在loop组合片段方框内添加循环体，循环体内的交互可能是顺序的对象交互也有可能是其他复杂的交互，如果是顺序交互则在loop组合片段的方框内直接建模，如果有嵌套的复杂控制流，则在loop组合片段的方框内嵌套地添加其他组合片段；对系统中的选择控制流可以在发生选择的位置使用alt组合片段、控制流二选一或者opt组合片段、opt组合片段内的控制流为可选；alt组合片段和opt组合片段内的控制流如果是顺序交互则在片段方框内直接建模，如果有嵌套的复杂控制流，则在片段的方框内嵌套地添加其他组合片段；最后添加变量赋值操作的交互事件，即根据步骤1定义的方法在事件名后添加赋值语句；步骤4具体化：根据步骤1中定义的根据中断组合片段对中断的发生和响应处理进行建模，其方法为：对步骤2得到的若干个中断内交互、具体数量取决于系统内中断的数量，对每个中断，依次按下面的步骤处理：1)在经步骤3所得的UML2序列图中，选择该中断发生的位置，如果发生的位置不止一个，建模者根据对系统的理解，判断最为可能的位置；或在几个发生的位置中任意选择一个；然后在该选择的位置中添加中断组合片段的框体，标出组合片段的操作类型int和名称；2)设置中断优先级，如有中断使能条件则在相应的位置添加条件表达式；3)中断内部的交互与系统中其他的交互不存在时间上的偏序关系，因此将中断内的交互序列看作是一个在时间上相对独立的子系统；在中断组合方框内部，根据步骤3中对中断外的流程进行建模的方法，对中断内交互流程进行建模；步骤5具体过程：对中断驱动系统的时间约束进行建模；中断驱动系统中的交互通常具有时间约束；时间约束描述，首先给出两种时间约束模板：普通时间约束和投影时间约束；a≤e1–e2≤b为普通时间约束表达模板，其中e1和e2为两个事件的名称，代表事件发生的时间点，并且e2先于e1发生；a和b为实数并且0≤a≤b，b能取值到∞；e1–e2表示从事件e2发生的时间点到事件e1发生的时间点之间的时间间隔，如果期间发生中断，它包含中断执行的时间；a≤e1–e2≤b表达的语义为：系统在从发生事件e1到发生事件e2所经历的时间不允许少于a个时间单位，不允许超过b个时间单位；a≤(e1–e2)↑≤b为投影时间约束表达模板，其中e1和e2为两个事件的名称，代表事件发生的时间点，并且e1和e2必须是同一个中断组合片段的事件，或者e1和e2不属于任何中断组合片段，e2先于e1发生；a和b为实数并且0≤a≤b，b能取值到∞；(e1–e2)↑表示的含义为，若e1和e2不属于任何中断组合片段，(e1–e2)↑则表示从事件e2发生的时间点到事件e1发生的时间点中系统用于执行非中断任务所用的时间间隔；如果在事件e1和e2中间，有中断事件的发生，那么中断任务的执行所用的时间不计入内；若e1和e2是同一个中断组合片段的事件，(e1–e2)↑则表示从事件e2发生的时间点到事件e1发生的时间点中系统用于处理e1和e2所在的中断组合片段对应的中断任务所用的时间间隔；如果在事件e1和e2中间，有高优先级的中断事件发生，那么高优先级中断任务的执行所用的时间不计入内；a≤(e1–e2)↑≤b表达的语义为：(e1–e2)↑表示的时间间隔不允许少于a个时间单位，不允许超过b个时间单位；时间约束在模型中的描述方法是在序列图的右下方添加UML标注框，在标注框内依次列出对系统的时间约束；多条时间约束之间用换行符分割。