ФУНДАМЕНТАЛЬНІ АБСТРАКЦІЇ БАЗОВИХ СУТНОСТЕЙ ТА МЕХАНІЗМІВ ЗАПИТІВ У ПОДІЄ-ОРІЄНТОВАНИХ СИСТЕМАХ

Анотація

Подієво-орієнтовані системи подають стан застосунку як детерміновану функцію незмінної історії подій, тому запити виконуються над подіями та похідними представленнями, а не над єдиним агрегатом поточного стану. Відсутність спільних, незалежних від реалізації визначень і семантичних контрактів робить номінально подібні запити непорівнюваними та перешкоджає обґрунтуванню вартості. Метою дослідження є розробка незалежного від реалізації формального підґрунтя для базових сутностей і механізмів запитів у подієво-орієнтованих системах, що дає змогу здійснювати аналіз вартості на рівні механізмів незалежно від конкретних технологій. Запропоновано теоретичну методологію, засновану на формалізації та аналізі на рівні механізмів. Дослідження визначає мінімальний набір абстракцій базових сутностей, які задають представлення та інтерпретацію в подієво-орієнтованих системах. На основі цих сутностей, запити формалізовано як детерміноване обчислення з контрактами, що визначено над незмінними історіями та впорядковано у чотири групи механізмів: реконструкції, часові запити, запити, що поєднують потоки та ретроактивне відтворення; кожну групу задано через явні правила області видимості та зрізу, із задекларованими політиками впорядкування/злиття, кореляції та нормалізації версій. Оцінки вартості отримано шляхом вираження вартості вибору подій та обчислення через розмір вибраних доказів і амортизовану обробку подій, включно з застосуванням політик нормалізації та скороченням реконструкції завдяки збереженим станам. У роботі формалізовано базові абстракції, що не залежать від реалізації, та визначені контрактами механізми запитів для подієво-орієнтованих систем і виведено оцінки вартості. Теоретичний експеримент на штучному банківському наборі подій підтвердив внутрішню узгодженість, еквівалентність відтворення та повторюваність за умови збереження семантичних перетворень. Запропонована формалізація фіксує семантичні ступені свободи, необхідні для відтворюваних та порівнюваних запитів над незмінними історіями подій, і надає основу для оцінки вартості на рівні механізмів у різних реалізаціях. Подальші дослідження мають розширити формалізацію у бік семантики, що буде орієнтована на практику, шляхом формалізації сутностей та запитів за умов невизначеності або застарілості даних в умовах тимчасової неузгодженості даних.