登录社区云，与社区用户共同成长
邀请您加入社区
摘要： 本项目开发了一款基于AI的在线UML协同设计工具，采用Vue3+SpringBoot技术栈，集成智谱AI实现自然语言转UML图功能。系统支持类图、时序图等四种UML图表，提供实时编辑预览、多项目管理及图片导出功能，通过DockerCompose实现一键部署。创新性地解决了传统UML工具学习成本高的问题，使开发者能通过自然语言描述快速生成专业图表。项目已部署至阿里云并开源，涵盖从需求分析到容
抽象类通过abstract关键字声明，可以包含抽象方法（无实现）和普通方法。抽象类不能被实例化，只能作为基类被继承。// 抽象方法，无实现set;抽象类可以包含抽象方法和非抽象方法。子类必须实现所有抽象方法（除非子类也是抽象类）。抽象类可以包含字段、属性、构造函数等。
Java UML
形式化方法（Formal Methods）是一种基于数学的软件和硬件系统开发技术，采用严格的形式化规约语言描述系统，并通过数学推理验证系统性质是否正确。计算机科学家Edsger Dijkstra曾指出：“程序测试只能表明错误的存在，而不能表明错误的不存在。”这一论断揭示了传统测试方法的根本局限——测试无法穷尽所有可能的输入状态。形式化方法正是解决这一局限的重要途径。本书并非一本简单的UML符号参考
2 GoF 的 23 种设计模式的分类和功能。10 合成复用原则 —— 面向对象设计原则。5 里氏替换原则 —— 面向对象设计原则。6 依赖倒置原则 —— 面向对象设计原则。7 单一职责原则 —— 面向对象设计原则。8接口隔离原则 —— 面向对象设计原则。9 迪米特法则 —— 面向对象设计原则。3 UML 中的类图及类图之间的关系。4 开闭原则 — 面向对象设计原则。1 软件设计模式概述。
优秀的 Java 工程师不仅要会写代码，更要会做设计和验证。UML 帮助我们从宏观上把握系统结构，形式化方法帮助我们从微观上保证关键模块的正确性。不要急于学习各种框架，先打好面向对象基础，认真阅读《大象 ——Thinking in UML》养成 "先设计后编码" 的习惯，尝试用 UML 图梳理复杂逻辑了解形式化方法的基础知识，重点关注并发验证和契约式设计在实际项目中尝试将两者结合使用，逐步提升软件
