ORFEAS: A Formal Framework for Gradual CRUD-to-Event Sourcing Migration

Replication package for the IEEE Transactions on Software Engineering paper: "ORFEAS: A Formal Framework for Gradual CRUD-to-Event Sourcing Migration" by Michail Pantelelis and Christos Kalloniatis, University of the Aegean, Greece. Contents This archive contains all artifacts needed to reproduce the paper's results: - source/lib/lyra/ - Lyra framework: Ruby gem implementing the ORFEAS migration architecture with five operational modes (Disabled, Monitor, Hijack, ES-Sync, ES-Async, ES-NoProj) - source/gems/petri_flow/ - PetriFlow: Petri net verification toolkit for formal model analysis - source/examples/aegean_epay_testbed/ - Primary case study (greenfield): University payment system with full benchmark suite - source/examples/solidus_case_study/ - Replication case study (brownfield): Solidus e-commerce platform integration - source/formal_model/ - Formal CRUD-to-Event mapping model implementation - reports/ - Pre-generated benchmark results, performance figures, and verification outputs Quick Start cd source/examples/aegean_epay_testbedbundle installRAILS_ENV=test rails db:create db:migrate db:seedbundle exec rake petri_flow:verifyRAILS_ENV=test ruby perf/run_concurrent_benchmark.rb --threads=1,4,8,16,32,64 Requirements - Ruby 4.0.0+ - PostgreSQL 16+ - Docker (optional, for PostgreSQL container) Paper Results Reproduction - Table V (Performance): Run concurrent benchmark or see reports/benchmarks/ - Table IV (Test Coverage): Run bundle exec rake test in source/ - Figure 2 (Petri Net): See figures/ or run PetriFlow verification - Figures 3-7 (Performance Charts): Generated with benchmark results in reports/benchmarks/*/ See SUPPLEMENTARY_MATERIALS.md for detailed reproduction instructions (Appendices A-E).