SysML V1.2 Model Elements

news2024/7/30 16:30:23

一、概述

SysML的ModelElements包定义了可以显示在多种SysML图类型上的通用构造。这些包括包、模型、各种类型的依赖(例如,导入、访问、细化、实现)、约束和注释。本章中定义的包图用于通过将模型元素划分为可打包的元素并在包内建立包和(/或)包中的模型元素之间建立依赖关系来组织模型。该ModelElements包为可打包元素定义了一个命名空间。一个包中的模型元素可以被另一个包导入和/或访问。这个组织原则旨在帮助建立模型元素的唯一命名,并避免重载特定的模型元素名称。包也可以显示在其他图上,比如块定义图、需求图和行为图。

Constraints用于捕获与一个或多个模型元素相关联的简单约束,并且可以在几个SysML图中表示。约束可以表示逻辑约束,如异或、决策分支上的条件或数学表达式。

Comments可以与任何模型元素相关联,并且作为记录模型的非正式方法非常有用。SysML引入了一个名为“rationale”的注释扩展,以方便系统建模人员捕获决策。rationale可以附加到任何实体上,例如系统元素(块),或者附加到任何关系上,例如设计元素和需求之间的满足关系。在后一种情况下,它可用于获取设计决策的基础,并可参考分析报告或贸易研究,以进一步阐述决策。此外,SysML包括注释的扩展,以反映可以附加到任何其他模型元素的问题或问题。

SysML从UML扩展了view和viewpoint的概念,以与IEEE 1471标准保持一致。特别地,viewpoint是用于构造视图的规则规范,以处理stakeholders关注的一组问题,view旨在从该viewpoint表示系统。这使得stakeholders能够从他们的角度指定系统模型中对他们重要的方面,然后在一个特定的视图中表示系统的那些方面。典型的例子可能包括操作、制造或安全view/viewpoint。

Diagram Elements

定义的图元素
Graphical nodes defined by ModelElements package 1
Graphical nodes defined by ModelElements package 2
Graphical nodes defined by ModelElements package 3

三、UML Extensions

(一)UML Diagram Elements not Included in SysML

SysML中不包含包之间的“合并”依赖,它在虚线箭头上使用«merge»关键字。UML在它自己的元模型的定义中使用包合并,SysML在此基础上构建,但是SysML不支持用户级模型的此功能。

Note:组合具有相同命名的元素的包,会导致相同名称的定义合并,从而使得用户模型混乱,也没有添加固有的建模功能,因此被SysML排除。

(二)Stereotypes

Stereotypes defined in package ModelElements

1.Conform

概念:

  • Conform关系是view和 viewpoint之间的依赖关系。view符合viewpoint中详细说明的指定规则和约定。遵从是UML依赖关系的专门化,并且与其他依赖关系一样,箭头方向从(客户/源)指向(供应商/目标)。

约束条件:
(1)supplier/target必须是由«viewpoint»构造的元素。
(2)client/source必须是由«view»构造的元素

2.Problem

概念:

  • Problem记录了一个或多个模型元素的缺陷、限制或失败,以满足需求或需要,或其他不期望的结果。它可以用于捕获在分析、设计、验证或制造过程中识别的问题,并将问题与相关的模型元素关联起来。Problem是注释的原型,并且可以以与注释相同的方式附加到任何其他模型元素上。

3.Rationale

概念:

  • Rationale记录了对决策、需求、设计和其他决策的论证。Rationale可以附加到任何模型元素,包括关系。例如,它允许用户指定可能引用更详细文档(如贸易研究或分析报告)的基本原理。Rationale是注释的原型,并且可以以与注释相同的方式附加到任何其他模型元素上。

4.View

概念:

  • 视图是从单个视点的角度对整个系统或子系统的表示。视图可以导入其他元素,包括其他包和符合该视点的其他视图。

属性:

  • /viewpoint: Viewpoint
      The viewpoint for this View, derived from the supplier of the «conform» dependency whose client is this View.

限制:
(1)视图只能有自己的元素导入、包导入、评论和约束元素。
(2)视图是根据作为viewpoint一部分指定的方法和语言构建的。SysML 没有定义具体方法。这个约束的精确语义是一个语义变化点。

Viewpoint

概念:

  • Viewpoint是构造和使用视图的约定和规则的规范,目的是处理涉众关注的一组问题。用于指定视图的语言和方法可能引用参考另一个viewpoint中的语言和方法。它们指定了期望在视图中表示的元素,可以是正式的或非正式的定义。例如,安全观点可能需要安全需求、安全功能和物理架构,以及安全测试用例。

属性:
• stakeholders: String [*]
  Set of stakeholders.
• purpose: String
  The purpose addresses the stakeholder concerns.
• concerns: String [*]
  The interest of the stakeholders.
• languages: String [*]
  The languages used to construct the viewpoint.
• methods: String [*]
  The methods used to construct the views for this viewpoint.

限制:
[1] Viewpoint不能是实例规范的分类器
[2] ownedOperation 属性必须为空
[3] ownedAttribute 属性必须为空

四、Usage Examples

Rationale and Problem元素示例
Rationale and Problem examples

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/865920.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

【启明智显分享】基于开阳ARK630HV100的车规开发板

基于开阳ARK630HV100的车规开发板 专用HMI芯片:5寸智能液晶摩托车仪表采用专用的HMI芯片,确保高效的数据处理和显示性能。这种芯片专为摩托车仪表设计,具有更快的响应速度和更稳定的性能,可以提供流畅的用户体验。高分辨率液晶显…

nodejs+vue+elementui社区流浪猫狗救助救援网站_4a4i2

基于此背景,本研究结合管理员即时发布流浪猫狗救助救援信息与用户的需求,设计并实现了流浪猫狗救助救援网站。系统采用B/S架构,java语言作为主要开发语言,MySQL技术创建和管理数据库。系统主要分为管理员和用户两大功能模块。通过…

安装ubuntu22.04系统,配置国内源以及ssh远程登录

一、安装ubuntu22.04系统 原文连接:Ubuntu操作系统22.04版本安装教程-VMware虚拟机_wx63f86e949a470的技术博客_51CTO博客 1.点击界面左侧的开启此虚拟机,即可进入Ubuntu操作系统安装界面,点击​​Try or Install Ubuntu ​​即可开始安装 …

【解密算法:时间与空间的博弈】

本章重点 ​​什么是数据结构? 什么是算法? 算法效率 时间复杂度 空间复杂度 常见时间复杂度以及复杂度oj练习 1. 什么是数据结构? 数据结构(Data Structure)是计算机存储、组织数据的方式,指相互之间存在一种或多种特定关系…

【2023 华数杯全国大学生数学建模竞赛】 C题 母亲身心健康对婴儿成长的影响 45页论文及python代码

【2023 华数杯全国大学生数学建模竞赛】 C题 母亲身心健康对婴儿成长的影响 45页论文及python代码 1 题目 母亲是婴儿生命中最重要的人之一,她不仅为婴儿提供营养物质和身体保护, 还为婴儿提供情感支持和安全感。母亲心理健康状态的不良状况&#xff0c…

七、dokcer-compose部署springboot的jar

1、准备 打包后包名为 ruoyi-admin.jar 增加接口 httpL//{ip}:{port}/common/test/han #环境变量预application.yml 中REDIS_HOSTt的值,去环境变量去找;如果找不到REDIS_HOST就用myredis 1、Dockerfile FROM hlw/java:8-jreRUN ln -sf /usr/share/z…

简单入门seleniumUI自动化测试

目录 一、selenium的介绍 二、selenium的原理 三、selenium的八种元素定位的方法 1、ID定位: 2 、name定位: 3、class定位: 4、tag定位: 5、link_text定位: 6、partial_link_text定位: 7、css定位…

【Spring中MySQL连接错误】Cannot load driver class: com.mysql.cj.jdbc.Driver

Caused by: Failed to instantiate [com.zaxxer.hikari.HikariDataSource]: Factory method ‘dataSource’ threw exception; nested exception is java.lang.IllegalStateException: Cannot load driver class: com.mysql.cj.jdbc.Driver Caused by: java.lang.IllegalState…

嵌入式开发自学的话有什么建议嘛?

学习路线 1、C语言C语言向来都是各大公司的笔试重点内容,可以考察学生在编程方面的基本素养。C语言的内容比较少,包含这么几块内容: 数据类型控制结构数组函数指针内存管理C语言是后面所有模块的基础,打好了基础,其他…

Apipost接口测试断言

常用断言直接点右边栏 断言list: // 断言json数组长度 apt.assert(response.json.data.data.length20); // 断言json数组中的某个对象 apt.assert(response.json.data.data[0].docid1482);

独家域内安全解决方案!CACTER邮件安全网关V7.0全新发布

近期,Coremail举办了邮件安全网关V7.0直播发布会,Coremail CTO林延中和清华大学马云龙老师莅临直播间,为大家分享讲解域内安全问题和域内互发需求与挑战,直播更有Coremail邮件安全网关产品经理为大家详细介绍网关V7.0的功能亮点。…

基于vue3+webpack5+qiankun实现微前端

一 主应用改造(又称基座改造) 1 在主应用中安装qiankun(npm i qiankun -S) 2 在src下新建micro-app.js文件,用于存放所有子应用。 const microApps [// 当匹配到activeRule 的时候,请求获取entry资源,渲染到containe…

基于CentOS 7 配置nginx负载均衡

搭建负载均衡服务的需求如下: 1 ) 把单台计算机无法承受的大规模并发访问或数据流量分担到多台节点设备上,分别进行处理, 减少用户等待响应的时间, 提升用户体验。 2 ) 单个重负载的运算分担到多台节点设备上做并行处理&#xff…

基于k8s job设计与实现CI/CD系统

方案一:Jenkinsk8sCICD 方案二:kanikok8s jobCICD CICD 基于K8s Job设计流水线 CI方案 工具镜像 云原生镜像打包工具 kaniko的使用 与Jenkins对比 可用性与易用性

深入篇【C++】基于面向对象特性之<多态>总结->分析底层实现原理附代码案例

深入篇【C】基于面向对象特性之<多态>总结->分析底层实现原理附代码案例 Ⅰ.多态概念理解Ⅱ.多态实现条件Ⅲ.多态实现原理①.虚表概念②.虚表继承③.虚表位置 Ⅳ.单继承和多继承关系的虚表 Ⅰ.多态概念理解 1.多态就是多种状态,当…

Vue电商项目--个人中心

个人中心二级路由搭建 配置路由 界面如上 我们现在要实现一种方式就是点击右侧的&#xff0c;左侧发生变化 <div class"order-right"><div class"order-content"><div class"title"><h3>我的订单</h3></di…

《贫穷的本质》阅读笔记

《贫穷的本质》阅读笔记 2023年8月11日在杭州小屋读完&#xff0c;对于穷&#xff0c;我可有太多想说的了。可以说自己活这么大以来&#xff0c;一直在摆脱贫穷&#xff0c;也将会穷尽一生去避免贫穷。作为一个穷人该如何去摆脱贫穷&#xff0c;我觉得没有一个确切的答案&#…

SQL | 使用通配符进行过滤

6-使用通配符进行过滤 6.1-LIKE操作符 前面介绍的所有操作符都是通过已知的值进行过滤&#xff0c;或者检查某个范围的值。但是如果我们想要查找产品名字中含有bag的数据&#xff0c;就不能使用前面那种过滤情况。 利用通配符&#xff0c;可以创建比较特定数据的搜索模式。 …

SpringSpringBoot常用注解

目录 一、核心注解二、Spring Bean 相关2.1 Autowired2.2 Component, Repository, Service, Controller2.3 RestController 与 Controller2.4 Configuration 与 Component2.5 Scope 三、处理常见的 HTTP 请求类型3.1 GET 请求3.2 POST 请求3.3 PUT 请求3.4 DELETE 请求3.5 PATC…

Mybatis查询

返回实体类&#xff0c;必须指定返回类型&#xff0c; resultType不能省略&#xff0c;并且数据库字段名与实体类不一致会填充NULL&#xff0c;实体类我们一般都是驼峰&#xff0c;数据库字段一般都是下划线&#xff0c;所以在查询的时候可以起别名解决,属性填充本质上调用的是…