uml标签_AtomGit开源社区

uml

2026年6月全球企业建站工具汇总测评！7大工具含AI、SAAS、定制

如果我是现在在迪拜、阿布扎比或者沙迦做生意的老板，我看官网这件事，先看一条：能不能快点上线，能不能别把团队拖进无休止沟通里。BBWEYY适合的就是这种场景。BBWEYY秒建网站，企业专用。BBWEYY 的一个很强的点，在于它走的不是单纯模板路线，也不是单纯 AI 路线，而是AI+SAAS模式。这套模式的价值，是把前期效率和后期稳定性放在一起。前面用 AI 提速，后面靠 SaaS 去承接、管理和持续

 bbweyy008
2026-06-18 10:04:33

 270

 5

#人工智能 #sql #windows +4
形式化方法与 UML 建模学习笔记

形式化方法是一种以数学为基础的软件开发与验证方法，它的核心目标是消除自然语言描述中的歧义，通过精确的逻辑与模型来保证软件系统的正确性与可靠性。通过本次学习，我认识到：形式化方法是软件工程中保证系统正确性的重要手段，其数学基础与严谨性，对高可靠系统开发至关重要。UML 建模不是简单的符号堆砌，而是面向对象思维的可视化表达，核心是抽象与建模能力。后续我会继续阅读《大象 ——Thinking in UM

Salvia.S
2026-06-14 15:00:00

 237

 4

#uml #学习
形式化方法初探与《大象 ——Thinking in UML》阅读分享

形式化方法是软件工程领域中，一种基于严格数学理论的软件开发与验证技术。它的核心思想，是用数学语言、逻辑符号和形式化模型来精确描述软件系统的需求、设计与行为，从而消除自然语言描述中固有的歧义，为软件的正确性、可靠性提供可验证的保障。不同于传统软件工程依赖人工评审、测试用例来发现缺陷，形式化方法通过构建系统的数学模型，再借助定理证明、模型检测等技术，对系统的关键属性（如安全性、一致性、死锁避免）进行系

 2601_95806650
2026-06-13 21:39:23

 279

 6

#uml
形式化方法学习与《大象：Thinking in UML》读书总结

本文探讨了形式化方法与UML建模在软件开发中的结合应用。形式化方法通过数学符号和逻辑推演确保系统可靠性，适用于高安全领域，包括形式化规格、验证和开发三个核心分类。而《大象：Thinking in UML》强调UML是业务抽象工具而非简单绘图，贯穿软件全生命周期。文章指出，UML作为半形式化建模语言可与形式化方法互补：UML提供易懂的模型表达，形式化方法则进行严格验证。二者结合既能保证业务模型清晰落

 ghsihsg
2026-06-13 18:45:15

 290

 8

#学习 #uml
破局“伪敏捷”：UML诊断视角下的微服务转型与架构重构——以EcoStream为例

本文以EcoStream公司的微服务转型为案例，深入剖析了企业在面临高压商业目标时容易陷入的“伪敏捷”、沟通孤岛、架构债务与“英雄文化”等系统性困境。文章创新性地提出将UML（如用例图、序列图和状态机图）作为客观的诊断工具，精准揭示团队在流程治理、跨部门透明度与状态流转中的断裂点；同时结合Visual Paradigm的AI驱动建模生态，展示了如何通过自动化工作流打破壁垒，实现需求、架构与代码的实

 Warren2Lynch
2026-06-08 10:06:09

 343

 7

#架构 #uml #微服务
形式化方法入门笔记 & 《大象 ——Thinking in UML》阅读分享

比如一个 “用户下单” 的场景，用自然语言描述，十个人可能有十种理解，但用 UML 时序图画出来，谁调用谁、谁和谁交互，一眼就能看明白，这和形式化方法 “消除歧义” 的目标是完全一致的，只是 UML 更偏向业务建模，形式化方法更偏向数学验证。用户需要系统帮他做什么？很多人以为模型是 “一次性画好，之后照着写代码就行”，但书里说，模型是从高层到低层逐步细化的：需求阶段的用例模型、分析阶段的交互模型、

lone0510
2026-06-07 17:33:44

 181

 7

#uml #java
PlantUML、Mermaid、SQL ER、OpenAPI 在线预览工具整理

摘要：作者开发了DiagramPreview工具（https://diagrampreview.com），用于解决AI生成技术图表后的预览与导出问题。该工具支持Mermaid、PlantUML等图表代码的在线渲染、语法校验及SVG/PNG/PDF导出，填补了AI输出与正式文档间的关键环节。主要功能包括实时预览、错误修复和多格式导出，适用于技术文档、博客等场景，同时兼容Grafana仪表板JSON编

 lipengxs
2026-06-07 11:22:37

 237

 7

#编辑器 #AI #uml +1
UML建模在软件生命周期中的应用

本文系统介绍了软件生命周期各阶段的UML建模应用方法。在需求分析阶段，通过用例图获取业务需求，利用活动图分解系统用例，并建立业务领域类图和状态图；设计阶段通过实现类图构建系统静态结构，配合时序图描述动态交互；实施阶段采用部署图指导系统部署。文章以CMS系统为例，详细演示了从业务用例图到系统用例图的转换过程，以及登录功能的用例规约编写方法，强调业务模型与系统实现的区分。最后指出不同开发阶段应选用合适

 lsyeei
2026-06-05 22:09:19

 552

 12

#uml #软件工程
从形式化方法到 UML 建模：软件工程的严谨与艺术

摘要：形式化方法是一种基于数学的严谨技术，通过形式语言描述和验证系统，确保高安全关键系统的可靠性。它分为多种类型，如面向模型、属性和逻辑的方法，能发现需求不一致性并支持自动代码生成和验证。尽管学习难度大且成本高，但对安全关键系统至关重要。《大象——Thinking in UML》则强调UML建模应从业务本质出发，通过多视角拆解构建系统模型，指导开发并促进团队协作。

我邻居家wifi没密码98
2026-05-23 21:43:57

 550

 7

#uml #软件工程
实测2026年7款UML类图工具，推荐这几款！

2026年主流UML类图工具测评：7款工具深度对比本文从开发者角度测评了7款主流UML类图工具，重点考察符号规范性、易用性、协作能力等5个维度。Lucidchart凭借全平台协作和Atlassian集成成为团队首选，draw.io作为免费开源工具适合个人使用，NuromBoard创新性地融合AI白板与UML绘图。其他工具如Miro、ProcessOn等各有特色，适用于不同场景。文章提供了详细的选

 Sun
2026-05-21 09:16:03

 574

 9

#uml
数据流图和活动图

本文对比分析了数据流图(DFD)与活动图两种系统建模工具。DFD以数据为中心，通过外部实体、加工、数据流和数据存储四种构件，构建系统的逻辑模型；活动图则以行为为核心，利用活动、决策节点、泳道等元素描述动态执行流程。两者在建模视角、抽象层次和并发表达等方面存在显著差异：DFD适合需求分析和逻辑建模，活动图更适用于业务流程和并发任务设计。文章指出二者并非对立而是互补关系，并通过电商订单系统实例展示了如

 探索未知的自己
2026-05-18 06:07:58

 533

 3

#数据库 #uml
一次真刀真枪的工程化改造实录

很多同学觉得软件构造这门课就是学学设计模式、背背 UML 图，实验随便糊弄就能过。但当我真正拿到 CogmAIt 这个项目的源码——一个基于 FastAPI 的 AI 模型管理平台后端——试图 pip install 的那一刻，我就知道这门课想教的东西，远比课本上的定义深刻得多。这篇博客记录的，是我如何把一个"装不上、跑不起来、没测试"的项目，改造成"依赖可复现、服务能启动、96% 覆盖率兜底"的

 zhendele221
2026-05-16 00:02:57

 403

 9

#python #git #github +3
UML 类图与组件图对比：何时使用哪种图？

摘要：本文系统介绍了UML中类图与组件图的区别与应用。类图用于描述系统内部结构，展示类、属性、方法及其关系，适用于代码级设计；组件图则描述系统模块化架构，展示组件间的交互与部署关系。文章详细解析了两者的表示方法、关系类型及建模场景，并提供了Visual Paradigm工具的AI辅助建模方案。类图适合面向对象设计和API规范，组件图则适用于微服务架构和系统集成规划。通过理解两者的互补性，开发团队可

 Warren2Lynch
2026-05-04 10:53:49

 436

 8

#uml #人工智能
基于变时域（Np）的MPC超车路径规划控制探索

基于变时域（Np）的MPC（模型预测控制）的超车路径规划控制Carsim是8.1版本。有安装教程内附有相关论文可进行参考在自动驾驶领域，超车路径规划控制是一个关键且极具挑战的任务。今天咱就唠唠基于变时域（Np）的MPC（模型预测控制）在这方面的应用，顺便还会提及8.1版本的Carsim，以及给大家分享下安装教程，文末附上参考论文，方便大家深入研究。

QQ:487739278
2026-05-01 14:15:00

 549

 17

#uml
UML统一建模语言指南

UML（Unified Modeling Language，统一建模语言）是一种基于面向对象的可视化建模语言。📊 采用一组形象化的图形符号（如类图）作为建模语言🎯 使用这些符号可以形象地描述系统的各个方面🔗 通过建立图形之间的各种关系（如类与类之间的关系）来描述模型用例图（Use Case Diagram）也称为用户模型图，是从软件需求分析到最终实现的第一步，它是从客户的角度来描述系统功能。

不才小强
2026-04-27 21:15:00

 496

 4

#uml
[特殊字符]️ 综合指南：结合使用 C4 模型与 UML

摘要：C4模型与UML结合提供了一种分层的软件架构可视化方法，从系统上下文到代码细节实现多级缩放。C4负责战略级架构沟通，UML提供战术级详细设计。VisualParadigm工具支持两者无缝集成，提供AI辅助建模、团队协作和自动文档生成等功能。实施时建议自上而下分层构建，保持"一图一视角"原则，适用于需要架构资产沉淀和跨团队沟通的场景。这种组合能建立持续维护的架构文档体系，为

 Warren2Lynch
2026-04-27 15:59:01

 417

 8

#uml
Visual Paradigm UML 平台 6 个月深度使用的真实评测

VisualParadigm深度评测：一款值得软件架构师投入的建模工具经过六个月在三个项目中的实际使用，VisualParadigm展现出强大的综合建模能力。该工具在UML图表创建（支持14种UML2.x类型）、敏捷工作流集成和数据库设计方面表现突出，特别是其智能连接器和自动布局功能显著提升了工作效率。AI辅助的图表生成功能可将原型设计时间缩短40%，而云端协作方案VPository实现了真正的

 Warren2Lynch
2026-04-20 09:07:53

 510

 9

#uml
48 多源动态最优潮流分布式鲁棒优化：应对风光不确定性

48多源动态最优潮流分布式鲁棒优化关键词：分布式鲁棒优化风光不确定性最优潮流 Wasserstein距离仿真软件：matlab+yalmip+cplex参考文档：《多源动态最优潮流的分布鲁棒优化方法》主要内容：针对大规模清洁能源接入电网引起的系统鲁棒性和经济性协调问题，提出含风–光–水–火多种能源的分布鲁棒动态最优潮流模型采用分布鲁棒优化方法将风光不确定性描述为包含概率分布信息的模糊不确定集。

lARlaVgpYLZ
2026-04-20 08:45:13

 355

 7

#uml
架构设计与UML建模：关联、关系与深度实践

架构设计与UML建模实践摘要核心关联 UML作为可视化建模语言，是表达软件架构设计的主要工具。架构设计关注系统高层结构，UML则提供多种视图（类图、组件图、时序图等）来展现这些设计决策。关键异同相同点：都用于系统抽象表达，支持多视图分析不同点：架构设计是设计过程与产物，UML是表达工具；架构设计包含非功能性决策，UML侧重功能性建模实例分析：在线书店系统采用微服务架构，通过UML多视图

 千江明月
2026-04-12 16:29:19

 466

 10

#uml
UML 之旅：一位从业者对 Visual Paradigm 可视化建模的评测

摘要：本文分享了软件架构师十余年实战经验，揭示UML从"文档工具"到核心设计手段的认知转变。通过微服务迁移项目的实践案例，阐述UML作为通用视觉语言的价值——减少40%需求误解，支持4+1架构视图建模。重点分析14种UML图中最实用的类图、序列图等，并评测VisualParadigm工具在AI辅助建模、代码工程等方面的优势。核心观点：专业UML工具不是成本而是效率倍增器，建议

 Warren2Lynch
2026-04-10 10:10:56

 496

 9

#uml
AI 驱动的 UML 图表支持全景指南

VisualParadigm通过深度集成AI技术重塑UML建模流程，提供从自然语言到专业模型的智能转换。其生态系统包含：AI聊天机器人实现对话式图表生成与优化；Online平台支持10步类图向导和文档转换；Desktop专业版提供高级编辑工具；OpenDocs实现知识管理。支持全部14种UML图表类型，并构建"聊天机器人→Desktop→OpenDocs"的智能工作流，通过中央

 Warren2Lynch
2026-04-08 12:12:20

 516

 6

#人工智能 #uml #架构
12槽10极平板型永磁同步直线电机仿真研究：涵盖复现工作、制动力仿真模型构建及空载反电动势波形...

12槽10极平板型永磁同步直线电机仿真，12槽10极平板型永磁同步直线电机仿真，包括:1.复现一份2.直线电机制动力仿真模型一份3.直线电机空载反电动势波形和推力输出模型一份12槽10极平板型永磁同步直线电机，绝对是直线电机里的“国民款”——短距配合天生齿槽转矩低，推力波动小，不管是练手仿真还是实际项目都好使。今天咱就把复现、制动力、空载反电动势+推力这三个仿真模块唠明白，代码和分析都给你们扒得明

 kUhzIPVBnE
2026-04-05 10:45:00

 139

 2

#uml
文章_907095991232

starccm+里的时间窗口和采样频率：刚才说了，别忘减平均压力，别忘采样频率是最高频率的2倍以上，别忘前一半时间步是过渡，别导出进去。Vaone里的面关联：一定要把导入的starccm+声源面和Vaone的板块一一对应，不然声源会加在错误的地方，结果全错。Vaone里的材料属性：别随便改材料库的参数，小白先用默认的，等入门了再自己调损耗因子、阻尼系数这些。简化模型的重要性：一开始别搞复杂的整车模

 jFWTpMJfJjq
2026-04-04 20:00:00

 352

 4

#uml
不做井中蛙——供应链核心单据模型梳理，你都认识吗？

单据所属系统职责创建来源交易单OMS记录用户下单信息（商品、金额、地址等），按仓库拆分后生成履约单用户下单履约单OMS履约确定从哪个仓发货，进行库存预占，一个履约单对应一个仓库的一次发货交易单拆分出库单WMS仓库作业指令单，驱动拣货→打包→出库全流程履约单推送波次WMS将多个出库单按规则聚合，减少拣货员往返次数出库单聚合拣货任务WMS指导拣货员去哪个库位、拣多少货波次生成分拣容器WMS对应分拣墙上

 Charlie阿静
2026-04-02 00:42:20

 362

 6

#java #后端 #架构 +2
系统架构设计师-案例分析-软件系统设计

它是一种特殊的状态图，展现了在系统内从一个活动到另一个活动的流程，对于系统的功能建模特别重要，并强调对象间的控制流程。3.泛化关系：当多个用例共同拥有一种雷瑟的结构和行为的时候，可以将它们的共性抽象成父用例，其他的用例作为泛化关系钟的子用例。描述一个项目中任务和任务之间的关系，顶点表示里程碑，连接顶点的边表示活动，边上的权重表示完成该活动所需要的事件。E-R模型，就是实体-联系模型，用来描述现实世

 小李的便利店
2026-03-29 13:48:38

 434

 3

#系统架构 #uml
BIT-TSP：关于实验二按 UML 落地资源管理子系统的详细解释（万字）

第二周的主题是：对象的生与死——资源管理、RAII 与契约设计，明明第二周但是根本看不懂一点，现在我们就来琢磨琢磨。

2401_87663701
2026-03-19 14:45:17

 427

 8

#uml #c++
UML核心概念与关系全解析

本文系统梳理了UML建模语言的核心概念与应用。首先介绍了UML的4种事物分类（结构、行为、分组、注释）和4种核心关系（泛化、依赖、关联、实现），重点解析了用例图、类图等常见图示及其元素关系。其次阐述了软件工程的面向对象方法，包括类与对象、抽象、封装、多态等核心特性。最后详细说明了UML的4+1视图模型（逻辑、开发、进程、物理视图及用例视图）及其对应的UML图示。全文以知识点罗列的方式，全面涵盖了U

2401_88780316
2026-03-17 11:36:38

 563

 4

#uml
手把手玩转COMSOL+MATLAB生成多孔介质模型

COMSOL with MATLAB代码随机分布球/圆模型及代码。包含二维三维，打包。用于模拟多孔介质二维COMSOL with MATLAB 接口代码多孔介质生成以及互不相交小球生成程序说明：本模型可以生成固定数目的互不相交的随机小球；

cvcNYgAdnd
2026-03-16 08:30:00

 814

 15

#uml