基本建模概念

基本建模概念FMC )提供了描述软件密集型系统的框架。它通过使用可以轻松理解的半正式图形符号来强调有关软件密集型系统的沟通。

介绍

FMC区分了三个观察软件系统的观点:

  • 系统结构
  • 系统中的过程
  • 系统的价值域

FMC为每个透视图定义了专用图类型。 FMC图使用简单而精简的符号。 FMC图的目的是促进有关软件系统的沟通,不仅在技术专家之间,而且在技术专家与业务或领域专家之间。 FMC图的可理解性使它们在支持者中闻名。

使用FMC时的常见方法是从系统的组成结构的高级图开始。此“大图”图是与项目的所有涉及利益相关者的通信中的参考。后来,高级图被迭代精制以建模系统的技术细节。根据需要引入系统或系统中的值域中观察到的过程的互补图。

图类型

FMC使用三种图类型来建模系统的不同方面:

  • 组成结构图描述了系统的静态结构。该图类型也称为FMC框图
  • 动态结构图描述了可以在系统中观察到的过程。该图类型也称为FMC Petri-net
  • 值范围结构图描述了系统中发现的值的结构。该图类型也称为FMC E/R图

所有FMC图都是两分图。每个两分图由两个不相交的顶点组成,条件是没有顶点连接到同一集的另一个顶点。在FMC图中,一组成员由角形表示,另一组成员由曲面形状表示。 FMC图中的每个元素可以通过同一类型的另一个图来完善,前提是组合图也是两部分。这种机制允许对所有相关的抽象层进行建模,以相同的符号进行建模。

组成结构图

FMC组成结构图的示例

组成结构图描述了系统的静态结构以及系统组件之间的关系。系统组件可以是有效的或被动的。代理是主动系统组件。他们在系统中执行活动。存储频道是存储或传输信息的被动组件。

右图是组成结构图的一个示例。它包含代理商订单处理器供应商经理供应商在线商店和未命名的人类代理商。代理由矩形表示。代理供应商的点和阴影表明该代理有多个实例,即供应商经理与一个或多个供应商进行通信。所谓的人类代理代表与系统交互的用户。

该图包含存储订单采购订单产品目录。存货由弯曲形状表示。代理可以从存储中读取,写入存储或修改存储内容。箭头的说明表示代理执行了哪个操作。在图中,供应商管理器可以修改产品目录的内容,而订单处理器只能读取产品目录的内容。

代理通过渠道进行交流。信息流的方向由箭头(图中未显示)表示,请求响应 - 符号(例如供应商管理器供应商之间)或省略(例如订单处理器供应商管理器之间)。

动态结构图

动态结构源自培养皿网

“它们被用来表达随着时间的流逝,描绘了代理商执行的动作。因此,他们澄清了系统的工作原理以及不同代理之间的沟通方式。”

价值范围结构图

值范围结构图(也称为FMC实体关系图)可以与实体关系模型进行比较。

“ [它们]用于将价值范围结构或主题描述为数学结构。值范围结构描述了系统内部位置可观察的值,而主题图则允许使用更广泛的用法,以涵盖有趣点之间的所有相关性。”