2009-06-23 112 views

回答

11

LePUS3被設計成是對其他建模語言的改進,並且專門設計爲對UML的增強。 LePUS3的優勢在the paper that introduced it中列出,您可以在鏈接上的科學論文展覽預覽中看到這些優勢的摘要。

我會在這裏重現紙的既定優勢:

  • 嚴謹。 LePUS3是一種邏輯視覺語言:圖表代表了經典一階謂詞演算公理化理論中的公式。
  • 簡約&可擴展性。 LePUS3提供了強大的抽象:圖表可以很好地擴展並且不會與程序大小混雜在一起。
  • 極簡。 LePUS3詞彙很少,由15個詞組組成。
  • 可判定性&可驗證性。可以通過單擊按鈕來驗證給定規範(圖表)和實現(Java程序)之間的一致性。
  • 程序可視化。建模Java程序的圖表可以通過源代碼進行反向工程。
3
  1. 您可以反向工程從源代碼LePUS3圖表,並得到有意義的結果
  2. LePUS3是一個正式的語言
  3. 可以在LePUS3模擬任何大小的程序
  4. 您還可以模擬設計patters在LePUS3中不是作爲程序而是作爲通用設計圖案
相關問題