Методологія формальних специфікацій процесу генерації коду

Abstract

Об’єкт дослідження: процес розробки та генерації коду програмного забезпечення з використанням доменно-специфічних мов моделювання. Мета роботи: розробка та верифікація методології формальних специфікацій процесу генерації коду, яка базується на доменно-специфічних моделях, для підвищення узгодженості та коректності процесу розробки програмного забезпечення. Предмет дослідження: методи та методологія формальних специфікацій процесу генерації коду за допомогою доменно-специфічної мови DMDSL та інструментів верифікації. Результати дослідження В роботі проведена розробка формальної методології генерації коду на основі доменно-специфічних моделей з використанням мови Alloy. Запропонований підхід дозволяє перевіряти коректність виконання CRUD операцій і забезпечувати узгодженість моделі з вимогами системи. Висновок Результати проведеного дослідження підтвердили, що використання формальних методів, зокрема мови Alloy, для опису процесу генерації коду дозволяє покращити надійність і точність моделей, що використовуються в сучасних програмних системах.