Anatoly Levenchuk (ailev) wrote,
Anatoly Levenchuk
ailev

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

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

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

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 2 comments