LePUS3 был разработан как улучшение по сравнению с другими языками моделирования и специально разработан как расширение UML. Преимущества LePUS3 изложены в статье, в которой он был представлен , и вы можете увидеть краткое изложение этих преимуществ в предварительном просмотре научной статьи, показанной по ссылке.
Я воспроизведу статью. указанные преимущества здесь:
- Строгость. LePUS3 - это логический визуальный язык: диаграмма обозначает формулу в аксиоматизированной теории в классическом исчислении предикатов первого порядка.
- Экономия и масштабируемость. LePUS3 предлагает мощные абстракции: диаграммы хорошо масштабируются и не загромождают размер программы.
- Минимальность. Словарь LePUS3 минимален, состоит из 15 токенов.
- Разрешимость и проверяемость. Согласованность между данной спецификацией (диаграммой) и реализацией (программой Java) можно проверить нажатием кнопки.
- Визуализация программы. Диаграммы, моделирующие программы Java, могут быть реконструированы из исходного кода.
ответ дан 2 December 2019 в 21:04
поделиться