一种基于扩展的UML2序列图的中断驱动系统建模方法技术方案

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

An interrupt driven system modeling method based on extended UML2 sequence diagram

A step to interrupt the extended UML2 sequence diagram of the drive system modeling method, based on the following: Step 1: extended UML2 sequence diagram is used to describe the occurrence of new interruption and response processing interactive operation type interrupt; step 2: will interrupt the execution process of dividing drive system for an interrupt and a plurality of interrupt in foreign mutual interaction; step 3: model according to the UML2 sequence diagram to regulate the external interrupt process; step 4: according to the 1 steps defined in the interrupt combined fragments to the disruption and response model; step 5: modeling the interrupt driven system time constraints; the invention extends the UML2 sequence diagram to describe interrupt driven system for interrupt driven system designer provides intuitive and easy to understand modeling method; modeling design, drive system and related to interrupt Model verification, model transformation and model to code generation.

【技术实现步骤摘要】

本专利技术涉及基于扩展的UML2序列图的中断驱动系统建模方法。中断驱动系统设计人员可以采用该方法简单直观地描述中断驱动系统。本专利技术属于软件工程，系统设计领域。
技术介绍
统一建模语言(UML，UnifiedModelingLanguage)是一个支持模型化和软件系统开发的图形化语言，为软件开发的所有阶段提供模型化和可视化支持，是面向对象软件的标准化建模语言。因其简单、统一的特点，而且能清晰地表达软件系统设计相关的信息，目前已成为可视化建模语言的工业标准。UML2序列图(UML2SequenceDiagram)是一种UML行为图，它通过描述对象之间发送消息的时间顺序来描述多个对象之间的动态协作。利用UML2序列图可以形象、具体地描述系统的交互行为。中断驱动系统被广泛应用于汽车电子、航天电子、环境工程等多个领域中。在中断驱动系统中，实时控制、故障自动处理、设备与设备间的数据传送往往采用中断驱动的方式实现。这主要是因为：(1)中断开销小，能够适应系统硬件资源相对有限的条件；(2)中断响应快，能够满足许多系统的实时性需求。但是对于复杂多样的中断驱动系统，目前没有简单易用的可视化图形建模方法。
技术实现思路
本专利技术目的是，提出一种基于UML2序列图，通过扩展UML2序列图的描述能力，使之能够描述中断驱动系统。为中断驱动系统设计人员提供了直观形象、易于理解的建模方法；清晰简洁的表达系统设计的相关信息，利于中断驱动系统的建模与设计以及相关的模型验证、模型转换以及模型到代码的生成。本专利技术技术方案是：一种基于扩展的UML2序列图的中断驱动系统建模方法，其特征包括如下步骤：步骤1：扩展UML2序列图，新增中断交互操作类型用于描述中断的发生和响应处理；步骤2：将中断驱动系统的执行流程划分为一个中断外交互和若干个中断内交互；步骤3：根据UML2序列图规范对中断外的流程进行建模；步骤4：根据步骤1中定义的中断组合片段对中断的发生和响应处理进行建模；步骤5：对中断驱动系统的时间约束进行建模；步骤1中的UML2序列图由交互对象、生命线、消息、组合片段等元素构成，为一个二维图；横向轴依次列出交互对象；纵向是时间轴；时间沿竖线向下延伸，用于描述对象交互发生的时间先后顺序；交互对象用生命线来表示，图形为一个矩形加底部的一条垂直虚线。矩形内标注对象名，垂直线既表示对象的生命周期也表示时间轴；对象之间的交互用消息描述；消息是对象间的一种通信机制，由发送对象向另一个或其他几个接收对象发送信号；其图形描述为一条带箭头的线，起点在发送对象的生命线上，终点即箭头端在接收对象的生命线上；消息名放置在带箭头的线上面，消息的发送和接收事件都有唯一的事件名，分别放置在带箭头的线的起点和终点；在UML2序列图中选择和迭代复杂的控制流用组合片段表示；不同的组合片段的功能由其交互操作类型决定；在UML2规范中，已定义的组合片段的交互操作类型片段有表示循环的loop、表示控制流的分支中二选一的alt和表示该片段内控制流为可选的opt，交互操作类型片段的图形描绘方式符合UML2规范；扩展UML2序列图，新增中断交互操作类型用于定义一种新的中断组合片段；中断组合片段的语法遵循UML2组合片段的描述规范：如图1所示，由一个矩形方框表示组合片段的边界；在矩形方框的左上角五边形中，字符串int表示该组合片段的交互操作类型是中断；p表示中断优先级、为非负整数；id为可选内容，描述了该中断组合片段的名称；位于方框左上角五边形下方的condition为条件表达式，是可选内容，其值为布尔型；UML2序列图中对象交互所产生的消息收发事件在时间上具有先后关系，这种时间上的先后关系构成时间上的偏序关系；在序列图中基于以下两条规则确定事件发生的偏序关系：1)同一条消息的发送事件先于接收事件；2)在同一条生命线上且同处于某一中断组合片段内或都处于中断组合片段外的两个事件，位于生命线上方的事件先于下方的事件。由于中断的发生和处理在时间上具有不确定性，为了表达这种不确定性，规定发生在中断组合片段内的事件与中断组合片段之外的事件不存在时间上的偏序关系，即规则3)发生在中断组合片段内的事件与中断组合片段之外的事件不存在偏序关系。以图2为例，根据规则1，容易得到e1<e2、e2<e3等。根据规则2有e2<e6、e1<e12等，但因为e11处于中断IRQ1内而e2处于中断外，不能得到e2<e11；根据规则3，可以知道e11和e1,e2,...,e10都没有偏序关系。。对于中断优先级，规定高优先级的中断片段的执行可以打断低优先级的中断的执行，但低优先级的中断的执行不可打断高优先级中断的执行，这样就可以对中断优先级进行建模，并可以描述中断嵌套。对于中断响应的禁止和使能则使用变量赋值和条件表达式来建模。允许为消息的接收和发送事件绑定变量赋值操作，表示在消息的接收和发送时刻执行该变量赋值操作。变量赋值操作是可选的，在需要绑定变量赋值操作的事件名称后添加一对大括号，括号内为相应的变量赋值语句。如果有多个赋值语句则在括号内用逗号分隔依次列出。变量对应于中断屏蔽字，它的赋值用于控制中断响应的开启和关闭。条件表达式用于判断中断响应的开启与关闭。若条件表达式为真则表示中断组合片段所描述的中断可以被响应和处理，反之则不可。条件表达式的表示格式为：变量名二元关系操作符变量值。支持的二元关系操作符有，等于(＝)、不等于(！＝)、大于(>)、大于等于(>＝)、小于(<)和小于等于(<＝)。若条件表达式省略，则默认值为真(即默认中断服务处于开启状态)。步骤3具体化，根据UML2序列图规范对中断外的流程进行建模，其方法为，根据交互的控制流类型和先后顺序，顺序执行的对象交互用消息按时间轴从上到下表示，复杂的控制流用UML2序列图规范中定义的组合片段表示；对系统中的循环控制流，在循环发生的位置添加loop组合片段；然后在loop组合片段方框内添加循环体，循环体内的交互可能是顺序的对象交互也有可能是其他复杂的交互，如果是顺序交互则在loop组合片段的方框内直接建模，如果有嵌套的复杂控制流，则在loop组合片段的方框内嵌套地添加其他组合片段。对系统中的选择控制流可以在发生选择的位置使用alt组合片段(控制流二选一)或者opt组合片段(opt组合片段内的控制流为可选)。alt组合片段和opt组合片段内的控制流如果是顺序交互则在片段方框内直接建模，如果有嵌套的复杂控制流，则在片段的方框内嵌套地添加其他组合片段。最后添加变量赋值操作的交互事件，即根据步骤1定义的方法在事件名后添加赋值语句。对于图2所表示的中断驱动系统，完成步骤3后得到的中断外流程模型如图3所示。步骤4具体化：根据步骤1中定义的根据中断组合片段对中断的发生和响应处理进行建模，其方法为：对步骤2得到的若干个中断内交互(具体数量取决于系统内中断的数量)，对每个中断，依次按下面的步骤处理：4)在经步骤3所得的UML2序列图中，选择该中断(可能)发生的位置，如果(可能)发生的位置不止一个，建模者根据对系统的理解，判断最为可能的位置；或在几个(可能)发生的位置中任意选择一个。然后在该选择的位置中添加中断组合片段的框体，标出组合片段本文档来自技高网...

【技术保护点】
一种基于扩展的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中定义的根据中断组合片段对中断的发生和响应处理进行建模，其方法为：...

【技术特征摘要】
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具体化，根...

【专利技术属性】
技术研发人员：潘敏学，张天，陆一飞，李宣东，
申请(专利权)人：南京大学，
类型：发明
国别省市：江苏;32