Object Constraint Language (OCL)




В теме 3 ответа, и 4 участника, последнее обновление сделано пользователем Аватар (Николай Киреев) Николай Киреев 13 г, 8 мес. назад.

Показано 4 ответа - от 1 до 4 (всего 4)
  • Автор
    Сообщения
  • 23.02.2010 в 13:47 # 5422
    Аватар (Belle Morte)
    Belle Morte
    Участник
    Читая книгу по UML наткнулась на упоминание языка объектных ограничений (Object Constraint Language) . К своему стыду, раньше никогда с ним не встречалась. Может, кто-нибудь поделиться информацией о том, что это и с чем его едят?
    Поделиться:

    Цитировать

    23.02.2010 в 15:44 # 5423
    Раньше только видел упоминание, и как-то не уделял сам внимания особого. Сейчас просмотрел вики и немного гугл. Интересный язык.. Как мне кажется, подходит для пущей формализации и последующей автоматизации построенных моделей. Но он уж какой-то мега-технический. Опять же, сугубое имхо, скорее для разработчиков / архитекторов, работающих с UML.
    Вот тут я смотрел примеры http://www.uni-koblenz.de/~beckert/Lehre/Verification/10OCL.pdf
    Поделиться:

    Цитировать

    01.03.2010 в 14:34 # 5424
    Аватар (Dimon)
    Dimon
    Подписчик
    Суровый какой-то язык, по-моему, для формализации требований. Соглашусь с Юрой, мне тоже кажется, что это скорее для разработчиков и/или архитекторов нежели для аналитов.
    Интересно было бы узнать насколько он распространен и эффективен.
    На данный момент вижу следующие недостатки/достоинства использования данного языка в своей работе:
    Недостатки:
    1) необходимость учить/изучать синтаксис языка для корректного восприятия и передачи информации
    Достоинства:
    1) возможность описать pre и post conditions на более формальном языке.

    До сих пор у меня не возникало проблем в описании pre и post conditions, поэтому на данном этапе лично для меня польза от использования OCL выглядит весьма сомнительной.

    Поделиться:

    Цитировать

    09.07.2010 в 10:59 # 5425
    Аватар (Николай Киреев)
    Николай Киреев
    Участник
    Уважаемые коллеги, не пугайтесь, OCL — это составная часть UML, фактически, скрипты, чтобы отображать определенные ограничения или "исключения из правил". Он больше используется проектировщиками, нежели аналитиками, т.к. последние эти ограничения и исключения могут написать обычным человеческим языком.
    Поделиться:

    Цитировать

Показано 4 ответа - от 1 до 4 (всего 4)

Вы должны авторизироваться для ответа в этой теме.