LePUS3相对于UML有哪些优势?

发布于 2024-07-24 16:23:35 字数 180 浏览 6 评论 0原文

当在线搜索面向对象的概念时,例如复合设计模式,我经常发现它们在 LePUS3 中得到体现符号。 我对此不太熟悉 建模语言。

我应该更喜欢它而不是 UML 吗?

When searching online for object oriented concepts such as the composite design pattern I often found them represented in the LePUS3 notation. I am not really familiar with this
modeling language.

Is it something I should prefer over UML?

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(3

鹤仙姿 2024-07-31 16:23:35

LePUS3 旨在改进其他建模语言,并专门设计为 UML 的增强。 LePUS3的好处在介绍它的论文中列出,你可以看到一个总结这些好处可以在链接中的科学论文预览中看到。

我将在这里重现本文所述的优点:

  • 严谨。LePUS3 是一种逻辑视觉语言:图表代表经典一阶谓词演算中公理化理论中的公式。
  • 简约与简约 可扩展性。LePUS3 提供了强大的抽象:图表可以很好地扩展,并且不会因程序的大小而混乱。
  • 极简。LePUS3 词汇量极少,由 15 个标记组成。
  • 可判定性和可判定性 可验证性。 通过单击按钮即可验证给定规范(图表)和实现(Java 程序)之间的一致性。
  • 程序可视化。可以从源代码对 Java 程序进行建模的图表进行逆向工程。

LePUS3 was designed to be an improvement over other modeling languages and is specifically designed to be an enhancement to UML. The benefits of LePUS3 are laid out in the paper that introduced it, and you can see a summary of these benefits on the preview of the scientific paper show at the link.

I'll reproduce the paper's stated advantages here:

  • Rigour. LePUS3 is a logic visual language: a chart stands for a formula in an axiomatized theory in the classical first-order predicate calculus.
  • Parsimony & scalability. LePUS3 offers powerful abstractions: charts scale well and do not clutter with the size of the program.
  • Minimality. LePUS3 vocabulary is minimal, consisting of 15 tokens.
  • Decidability & verifiability. Consistency between a given specification (a chart) and an implementation (a Java program) can be verified by a button-click.
  • Program Visualization. Charts modeling Java programs can be reverse-engineered from source code.
坠似风落 2024-07-31 16:23:35
  1. 您可以从源代码对 LePUS3 图表进行逆向工程,并获得有意义的结果
  2. LePUS3 是一种形式语言
  3. 您可以在 LePUS3 中对任何大小的程序进行建模
  4. 您可以在 LePUS3 中将设计模式建模为通用设计主题,而不是程序
  1. You can reverse-engineer LePUS3 charts from source code and get meaningful results
  2. LePUS3 is a formal language
  3. You can model programs of any size in LePUS3
  4. You can model design patters in LePUS3 not as programs but as generic design motifs
半城柳色半声笛 2024-07-31 16:23:35

我想说,除了其他答案提到的 LePus3 的其他良好功能之外,在我看来,还有一个非常重要的功能:

在 UML 中,您可以制定 SW 计划
在LePus3中,你可以制定一个计划,或者计划的计划,或者计划的计划的计划,甚至是几个抽象级别的通用计划。

LePus3 是唯一一种形式化且同时适用于元思维的图表语言。

另一方面,使用 LePus3 需要更高的智力。 他们之间的水平差距很大。 如果您是 UML 的优秀用户,那确实意味着您可以使用 LePus3。 可惜他们之间没有任何仪器。

是的,我喜欢 LePus3!

I would say that apart from other good features of LePus3, mentioned by the other answers, there is one more, extremely important from my point of view:

In UML you can make a plan of SW
In LePus3 you can make a plan, or a plan of the plan, or a plan of the plan of the plan, or even the common plan for several levels of abstraction.

The LePus3 is the only diagram language that is formalized and simultaneously adapted for metathinking.

On the other hand, using of LePus3 requires very much greater intellect. The level difference between them is great. If you are a good user of UML, that does mean you can use LePus3. It is pity that there are no instruments between them.

And yes, I love LePus3!

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文