TESTING PROCESS OF FUNCTIONAL MODELS TRANSFORMATION BASED ON HYBRID METHODS
Аннотация:
Task of transformation of IDEF0 formal models into UML class diagrams based on hybrid methods including translation rules’ ontological design is discussed. Mechanism of transformation rules’ creation and equivalence testing of source and derived models is examined.
Ключевые слова:
Постоянный URL
Статьи в номере
- ЯЗЫК ОПИСАНИЯ МНОГОАГЕНТНЫХ СИСТЕМ
- ИСПОЛЬЗОВАНИЕ АГЕНТСКОГО ПОДХОДА ПРИ КОНФИГУРИРОВАНИИ ВИРТУАЛЬНЫХ ПРЕДПРИЯТИЙ
- ПОСТРОЕНИЕ КООПЕРАТИВНЫХ САМООРГАНИЗУЮЩИХСЯ СЕТЕЙ: ОСНОВНЫЕ ЗАДАЧИ И ТЕХНОЛОГИИ
- АНАЛИЗ МЕХАНИЗМА ОБНАРУЖЕНИЯ И СДЕРЖИВАНИЯ ЭПИДЕМИЙ СЕТЕВЫХ ЧЕРВЕЙ НА ОСНОВЕ „КРЕДИТОВ ДОВЕРИЯ“
- МОДЕЛЬ ЗАЩИТЫ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА ОСНОВЕ МЕХАНИЗМА „УДАЛЕННОГО ДОВЕРИЯ“
- ВЕРИФИКАЦИЯ ПОЛИТИК ФИЛЬТРАЦИИ С ПОМОЩЬЮ ИСЧИСЛЕНИЯ СОБЫТИЙ И АБДУКТИВНОГО ВЫВОДА
- ТЕСТИРОВАНИЕ ПРОЦЕССА ТРАНСФОРМАЦИИ ФУНКЦИОНАЛЬНЫХ МОДЕЛЕЙ НА ОСНОВЕ ГИБРИДНЫХ МЕТОДОВ
- СРАВНЕНИЕ МЕТОДОВ ЛОКАЛИЗАЦИИ ПОЛЬЗОВАТЕЛЯ МНОГОМОДАЛЬНОЙ СИСТЕМЫ ПО ЕГО РЕЧИ
- АВТОМАТИЧЕСКИЙ СИНТАКСИЧЕСКИЙ АНАЛИЗ РУССКИХ ТЕКСТОВ НА ОСНОВЕ ГРАММАТИКИ СОСТАВЛЯЮЩИХ
- УЧЕТ ОСОБЕННОСТЕЙ СПОНТАННОЙ РЕЧИ ПРИ СОЗДАНИИ СИСТЕМ АВТОМАТИЧЕСКОГО РАСПОЗНАВАНИЯ
- ВЫБОР МОДЕЛИ ФУНКЦИОНИРОВАНИЯ ТЕХНИЧЕСКОЙ СИСТЕМЫ ИЗ МНОЖЕСТВА ЕЕ АЛЬТЕРНАТИВНЫХ МОДЕЛЬНЫХ ПРЕДСТАВЛЕНИЙ
- ДИНАМИЧЕСКАЯ МОДЕЛЬ КОМПЛЕКСНОГО ПЛАНИРОВАНИЯ МОДЕРНИЗАЦИИ И ФУНКЦИОНИРОВАНИЯ ИНФОРМАЦИОННОЙ СИСТЕМЫ
- ИСПОЛЬЗОВАНИЕ МУЛЬТИАГЕНТНОГО СИМУЛЯТОРА ПРИ МОДЕЛИРОВАНИИ РАСПРЕДЕЛЕННЫХ СИСТЕМ
- ИНТЕЛЛЕКТУАЛЬНАЯ СИСТЕМА МОНИТОРИНГА ОСОБО ОПАСНЫХ ДИНАМИЧЕСКИХ ПРОЦЕССОВ