Anatoly Levenchuk (ailev) wrote,
Anatoly Levenchuk
ailev

Category:

Международный семинар по формализации языков моделирования

Словения, 21 или 22 июня 2010, International workshop on formalization of modeling languages -- http://www.cis.uab.edu/FML2010/

Темы точно соответствуют тренду сближения ранее разошедшихся линий программирования, имитационного моделирования, концептуального (порождение) моделирования (и онтологизирования, как одного из видов концептуального моделирования). Вот пять проблем формализации языков моделирования, которые планируется обсудить на этом семинаре:
1. изобретение формализма поведенческой семантики, который проще использовать, чем существующие формализмы и поддающегося дальнейшей обработке с целью автоматизированного порождения инструментов моделирования (например, редакторов, отладчиков и имитаторов
2. расширение не только моделей, но и метамоделей, семантикой.
3. автоматическое порождение различных инструментов моделирования, которое требует инструменто-специфичной информации и различных алгоритмов порождения, чтобы эти инструменты сконструировать.
4. отображение (mapping) к существующим низкоуровневым формализмам/инструментам должно быть автоматическим и прозрачным для конечного пользователя языка моделирования.
5. разработка новых инструментов, которые невозможны без формальной семантики (например, проверщик модели, который может верифицировать свойства, специфичные для предметной области).
Subscribe

  • Если учишь логике на материалах фантастики, то получишь вместо рассуждений фантазии

    В стане учителей AI откровение: качество обучения, оказывается, зависит от качества использованного материала! Если учите на материалах с ошибками,…

  • lytdybr

    Переписано 25% образования для образованных. Пока основные изменения -- это обновление примеров в главе по стратегировании (ох, как в мире всё быстро…

  • lytdybr

    Выпускники курса "Системный менеджмент и стратегирование" сегодня активно обсуждали партисипативное архитектурное моделирование предприятия. Это…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 2 comments