软件建模与分析作业（五）

最新推荐文章于 2022-06-30 11:31:45 发布

PURE★

最新推荐文章于 2022-06-30 11:31:45 发布

阅读量839

点赞数

CC 4.0 BY-SA版权

分类专栏：软件工程建模与分析

本文链接：https://blog.csdn.net/weixin_47234994/article/details/110359895

软件工程建模与分析专栏收录该内容

6 篇文章

订阅专栏

本文概述了SysML中的关键模型，如CompositeRequirementHierarchy（需求层次结构）、SimpleStateMachine（状态机图）、SimpleUseCaseModel（基本用例模型）和模块定义图（BlockDefinitionDiagram），着重展示了需求跟踪、行为描述与模块结构的重要性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

GA006-181-19

1、Composite Requirement Hierarchy : SysML Requirements diagram(需求图)

在这里插入图片描述
可追踪性：
显示需求和模型中其他元素之间的关系，包含一个需求层次结构，该层次结构包含许多其他元素，包括：涉众、块和测试用例。
其目的是允许系统工程师创建一个图表，其中模型元素和它们相关的需求之间的关系可以可视化，包括其他需求。通常在开发模型和定义诸如块、用例和测试用例等元素并与其满足的需求相关时使用。然而，图的形式可以在模型演化的任何阶段使用。

2、Simple State Machine : StateMachine diagram(状态机图)

在这里插入图片描述
简单状态机：
简单状态机模式从实体显示的重要状态的角度描述了一个实体（例如块、参与者、用例或测试用例）。当进入一个状态时，一个进入动作可以被触发，而在这个状态下一个执行动作可以被触发，离开状态时可以触发一个退出动作。
描述了状态相关的行为，显示了元素如何从一个状态转换到另一个状态，以及在元素处于该状态期间调用了哪些活动。它们通常用于分析系统某些部分的行为，通常是因为难以理解或其行为复杂。

3、Simple Use Case Model : Use Case diagram(用例图)

在这里插入图片描述
基本用例模型：
基本用例模型模式创建元素和用例图，描述用户角色希望从系统中实现的目标。用例都包含在系统边界内，参与者都在边界之外。其中包含参与者和系统边界中包含的多个用例。一个参与者表示一个系统，并使用矩形表示法。
其目的是允许业务分析师和其他涉众描述参与者（用户扮演的角色）在与系统交互时想要实现的价值。
该模式通常用于计划的分析阶段，可用于实现任意数量的需求，并作为为实现团队提供规范的一种方式

4、Internal Block Diagram : SysML Internal Block diagram(内部框图)

在这里插入图片描述

定义：
块：块（表示法：带有关键字=“块”的矩形）代表一个系统组件，是一个模块化的结构单元，封装了其内容（属性，行为，约束）并支持一流的（即可以在其中绘制和直接操作）模型存储库）接口。块封装的行为包括：操作，信号和状态机。用于连接和连接（“布线”）模块接口的唯一交互点称为端口。

块可以指定软件，硬件，机械和湿件（人员，组织，设施）组件。
块同时支持信息和物理流的提供（实现或实现）和必需（使用）接口。
块可以递归分解为零件，其中每个零件也必须由一个块定义。（请参阅下面的使用说明。）
内部方框图（ibd）：内部方框图是特定方框所拥有的静态结构图，它显示其封装的结构内容：零件，属性，连接器，端口和接口。换句话说，IBD是封装的（“黑盒子”）块的“白盒子”透视图。

可以通过在块定义图（BDD）定义和内部块图（IBD）用法之间交替来将块递归分解（嵌套）为零件（请参见下面的用法说明）。
行为可以由块（例如，操作，信号和状态机）封装，也可以直接（或通过接口）间接（通过“ allocate”依赖）分配给块（例如，活动/动作）。
可以通过约束块对块进行数学约束，以生成数学上可模拟的参数图。
比较和对比：UML 2类和组件图；SA / SD系统上下文和结构图图; IDEF IDEF1X图表。
目的
内部框图（IBD）的目的是显示模块的封装结构内容（零件，属性，连接器，端口，接口），以便可以使用基于接口的设计技术对其进行递归分解和“连线”。如果使用得当，BDD + IBD可以递归扩展，并且可以在数学上（参数上）模拟。

5、Block with Properties : SysML Block Definition diagram(模块定义图)

在这里插入图片描述
SysML中的模块定义图，英文为 “Block Definition Diagram”，简称BDD，是系统建模过程中最为常见的图之一，BDD是一种结构图，它主要对系统的结构组成以及组成元素间的关系进行描述。

BDD中可以包含包、模型、模型库、视图、模块和约束模块。其中最为重要和常见的是模块和约束模块。约束模块是SysML中的一种定义元素，常见情况下在约束模块中定义约束表达式。约束模块一般用于搭配参数图构建系统的数学模型。

模块时SysML中的基本单元，其对应于系统中的任意实体，我们可以使用模块对系统中的实体进行建模。通过带有<>标识的矩形框表示，其后带有模块的名称（用户自定义），另外，还可以通过可选的其他分隔框，用来标识模块的其他组成。
BDD属性包含行为属性和结构属性。顾名思义，结构属性表达了实体的结构组成该部分，而行为属性则表达了实体所具有的行为特征。结构特性包含值属性、组成属性、引用属性、约束属性、端口共 5 种类型。行为属性是对系统或结构的行为的表达，在SysML中包括操作（operations ）和接收（receptions）。操作表示一种调用后执行的行为，也就说operations是基于调用事件触发的。一般情况下，operations代表一种同步行为，但SysML并没有对其做严格限制，设计者可以把任何行为定义为操作。