Lyra

CRUD to Event Sourcing Transformation Engine

Part of the ORFEAS (Object-Relational to Event-Sourcing Architecture) Framework

A simpler example for learning Lyra basics is in examples/blog_app/:

cd examples/blog_app
bundle install
rails db:create db:migrate db:seed
rails console

Explore the blog example →

• Orthogonal Analysis: Compare static vs. dynamic views of system state
• Behavioral Analysis: Understand system evolution over time
• Migration Patterns: Study CRUD-to-ES transformation strategies
• Formal Verification: Prove correctness using Petri net theory
• Privacy Compliance: Research privacy-preserving event sourcing patterns

• Zero Downtime Migration: Gradually transition to event sourcing
• Audit Trail: Complete history of all state changes
• Temporal Queries: Query state at any point in time
• Debugging: Replay events to understand issues
• CQRS Support: Natural separation of commands and queries

• Non-intrusive: Deploy without code changes
• Rollback Safety: Keep CRUD as safety net during transition
• Real-time Monitoring: Compare CRUD vs event-sourced state
• Validation: Verify event sourcing correctness before full migration
• Performance Analysis: Measure overhead before committing

• Getting Started Guide - Installation and first steps
• Architecture Overview - System design and components
• Monorepo Structure - Repository organization

• ORFEAS Framework Overview - Complete framework description
• Petri Nets Model - P/T nets for verification, CPNs for data modeling
• Matrix Analysis Model - Linear algebra approach

• PAM DSL Integration - Privacy policy DSL guide
• Privacy Compliance - GDPR compliance details

• PetriFlow Export - Export formats and integration
• PetriFlow Gem - Petri net library documentation
• PAM DSL Gem - Privacy DSL documentation

• Testing Guide - Testing strategy and setup

ORFEAS and Lyra are grounded in peer-reviewed research:

Pantelelis, M., & Kalloniatis, C. (2022). Mapping CRUD to Events: Towards an object to event-sourcing framework. 26th Pan-Hellenic Conference on Informatics (PCI 2022). DOI: 10.1145/3575879.3576006

• Event Sourcing Patterns: Formal models for CRUD-to-event transformation
• Privacy-Preserving Systems: GDPR compliance in event-driven architectures
• Petri Net Theory: P/T nets for workflow verification, CPNs for advanced data modeling
• Matrix Analysis: Linear algebra approaches to causation and lineage
• Software Architecture: Gradual migration strategies for legacy systems

This proof-of-concept was developed using AI-assisted code generation to accelerate implementation while maintaining focus on theoretical contributions.

• Claude Code (Anthropic's agentic coding tool) - Primary development assistant for code implementation, testing, and documentation
• Claude (Anthropic) - For architectural discussions and design decisions

Important: All architectural decisions, design patterns, and theoretical foundations were specified by the researcher. AI assistance was used for:

• Code implementation following defined specifications
• Test generation based on requirements
• Documentation formatting and organization
• Code review and refactoring

This methodology enabled rapid prototyping while ensuring the theoretical rigor required for academic research.

Lyra is research software for the ORFEAS framework. Contributions and feedback are welcome!

• Bug Reports: Submit issues on GitHub
• Feature Requests: Suggest improvements or new features
• Research Collaboration: Collaborate on research extensions
• Documentation: Improve documentation and examples
• Testing: Add test cases and improve coverage

# Clone the repository
git clone https://github.com/mpantel/lyra-engine.git lyra
cd lyra

# Install dependencies
bundle install

# Run tests
rake test

# Build gems
cd gems/petri_flow && rake build
cd gems/pam_dsl && rake build

If you use this software in academic research, please cite:

@software{lyra2026,
  title={Lyra: CRUD to Event Sourcing Transformation Engine},
  author={Pantelelis, Michail},
  year={2026},
  note={Part of ORFEAS Framework},
  url={https://github.com/mpantel/lyra-engine}
}

@inproceedings{pantelelis2022mapping,
  title={Mapping CRUD to Events: Towards an object to event-sourcing framework},
  author={Pantelelis, Michail and Kalloniatis, Christos},
  booktitle={26th Pan-Hellenic Conference on Informatics (PCI 2022)},
  year={2022},
  doi={10.1145/3575879.3576006}
}

• Rails Event Store - Event Store implementation
• Event Sourcing Pattern - Martin Fowler
• CQRS - Command Query Responsibility Segregation
• Petri Net Theory - Formal foundation
• GDPR Compliance - Privacy regulation

For questions, issues, and collaboration:

• Email: mpantel@aegean.gr
• GitHub Issues: Repository Issues
• Institution: University of the Aegean, Department of Information and Communication Systems Engineering

MIT License - see LICENSE file for details.

Built with Ruby, Petri Net Theory, and Formal Methods Part of the ORFEAS PhD Research Project