CoreASM - CoreASM
CoreASM является Открытый исходный код проект (под лицензией Академическая бесплатная лицензия версия 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. У Д. Бокье, Э. Бёргер and A. Slissenko (Eds.), Proc. 12-й Международный семинар по абстрактным государственным машинам, Париж, март 2005 г., стр. 153–165.
- ... дальнейшие ссылки и документация