CoreASM

CoreASM — это проект с открытым исходным кодом (под лицензией Academic Free License версии 3.0), который фокусируется на разработке экономичного исполняемого языка ASM ( Абстрактные конечные автоматы ) в сочетании со вспомогательной инструментальной средой для высокоуровневого проектирования, экспериментальной проверки и формальных проверка (где это возможно) абстрактных системных моделей.

Абстрактные конечные автоматы известны своей универсальностью при моделировании алгоритмов, архитектур, языков, протоколов и практически всех видов последовательных, параллельных и распределенных систем. Формализм ASM широко изучается исследователями в академических кругах и промышленности более 15 лет с намерением преодолеть разрыв между формальным и прагматическим подходами.

Системное проектирование на основе моделей может извлечь выгоду из абстрактных исполняемых спецификаций в качестве инструмента для исследования конструкции и экспериментальной проверки посредством моделирования и тестирования. Опираясь на опыт работы с двумя поколениями инструментов ASM, разрабатывается новый исполняемый язык ASM, называемый CoreASM (см. домашнюю страницу CoreASM ).

Язык CoreASM подчеркивает свободу экспериментирования и поддерживает эволюционную природу дизайна как продукта творчества. Он особенно подходит для исследования проблемного пространства с целью написания первоначальной спецификации. Язык CoreASM позволяет писать очень абстрактные и краткие спецификации, сводя к минимуму необходимость кодирования при отображении проблемного пространства в формальную модель и позволяя явно объявлять части спецификации, которые намеренно оставлены абстрактными. Принцип минимальности в сочетании с надежностью базовой математической структуры улучшает модифицируемость спецификаций, эффективно поддерживая при этом высокоитеративный характер спецификации и проектирования.

Ссылки

Р. Фарахбод, В. Герваси, У. Глессер и М. Мемон. Исследование дизайна и экспериментальная проверка абстрактных требований , Материалы 12-й Международной рабочей конференции по разработке требований: Фонд качества программного обеспечения (REFSQ'06), июнь 2006 г., Люксембург, Великое Герцогство Люксембург, Essener Informatik Beitrage, ISBN 3-922602-26-6 .
Р. Фарахбод, В. Герваси, У. Глессер и М. Мемон. Проектирование и спецификация механизма выполнения CoreASM, часть 1: ядро . Технический отчет SFU-CMPT-TR-2006-09, Университет Саймона Фрейзера , май 2006 г.
Р. Фарахбод, В. Герваси и У. Глессер. CoreASM: расширяемый механизм выполнения ASM . В Д. Боке, Э. Бёргере и А. Слисенко (ред.), Proc. 12-й международный семинар по абстрактным государственным машинам, Париж, март 2005 г., страницы 153–165.
... дополнительные ссылки и документация

Внешние ссылки