Реактивные блоки
 |
| Разработчик(и) | Битреактивный АС |
|---|---|
| Первоначальный выпуск | 2011 |
| Стабильная версия | 2.7.0
/ 2016-09-16 |
| Операционная система | Windows , OS X , Linux |
| Платформа | Затмение / Ява |
| Лицензия | Коммерческое, бесплатное издание для сообщества |
| Веб-сайт | http://www.bitreactive.com/ |
Реактивные блоки [1] — это среда разработки на основе визуальных моделей, основанная на диаграммах действий , поддерживающая формальный анализ моделей, автоматическую генерацию кода, иерархическое моделирование и обширную библиотеку готовых к использованию компонентов для платформы Java.
Концепция
[ редактировать ]Основная технология возникла в результате исследований Норвежского университета науки и технологий и Института телематики . [2] Reactive Blocks — это среда разработки на основе визуальных моделей, поддерживающая анализ формальных моделей, автоматическую генерацию кода, иерархическое моделирование и обширную библиотеку готовых к использованию компонентов для платформы Java. Комбинируя повторно используемые блоки, разработчик может создавать сложные приложения графически.
Эти строительные блоки определяются комбинацией графических моделей и кода Java. Графическая модель основана на диаграммах активности UML и конечных автоматах. Существующая библиотека может быть расширена за счет реализуемых пользователем пользовательских блоков, которые могут включать в себя все возможности платформы Java. Каждый блок имеет расширенное описание интерфейса в виде входных и выходных пинов и контракта. Контракт указывает, какие состояния имеет блок и в каком состоянии с какими выводами можно взаимодействовать.
Reactive Blocks использует графическую модель вместе с информацией из контрактов для формального анализа приложения с целью обнаружения распространенных проблем, таких как взаимоблокировки или неправильное завершение. Если в результате анализа обнаруживается проблема, можно выделить соответствующее состояние приложения, чтобы определить причину. Среда разработки предлагает пошаговую анимацию цепочки переходов состояний, ведущих к проблеме.
Приложение, прошедшее проверку, может быть автоматически преобразовано в код Java. Поскольку применение строительного блока представляет собой правильное формальное определение, разработчик может преобразовать его логику в код. Сгенерированный код упаковывается в стандартный Java-проект Eclipse и поэтому может рассматриваться как любой другой код; экспорт работоспособных JAR-файлов, отладка и профилирование работают одинаково.
Поддерживаемые платформы
[ редактировать ]- Java (программная платформа)
- Инициатива Open Services Gateway [3]
- Eclipse Kura, проект совместимости с открытым исходным кодом для приложений M2M. [4]
- ESF, комплексная и целевая программная платформа Java OSGi для мультисервисных шлюзов M2M, интеллектуальных устройств и приложений IoT. [5]
Литература
[ редактировать ]- Кремер, Фрэнк Александр; Херрманн, Питер (2010). «Реактивная семантика для распределенных действий UML». Формальные методы для распределенных систем: совместная 12-я международная конференция IFIP WG 6.1 . Амстердам, Нидерланды: Springer Berlin Heidelberg. стр. 17–31. дои : 10.1007/978-3-642-13464-7_3 . 10.1007/978-3-642-13464-7_3.
- Кремер, Фрэнк Александр (9 апреля 2015 г.). «Поквартальный подход к приложениям Интернета вещей» (PDF) . Битреактивный . Проверено 26 сентября 2016 г.
Ссылки
[ редактировать ]- ^ Домашняя страница
- ^ Кремер, Фрэнк Александр (2008). Инженерные реактивные системы: композиционный и модельно-ориентированный метод, основанный на совместных строительных блоках (доктор философии). Факультет информационных технологий, математики и электротехники. hdl : 11250/261480 .
- ^ «Huawei, Bitreactive и Eurotech присоединяются к альянсу OSGi» (PDF) (пресс-релиз). США: Альянс OSGi. Изобретения. 03.11.2015 . Проверено 26 сентября 2016 г.
- ^ «Кура — платформа с открытым исходным кодом для Интернета вещей» . Фонд Эклипс . Проверено 25 сентября 2016 г.
- ^ «Программная платформа Everyware™ (ESF)» . Евротек . Проверено 25 сентября 2016 г.