6 个仓库
Verification processes that compare conceptual business rules against the actual implementation in the codebase.
Distinct from Domain Models: Distinct from Domain Models: focuses on the validation of logic against code rather than the representation of entities.
Explore 6 awesome GitHub repositories matching data & databases · Logic Validation. Refine with filters or upvote what's useful.
This project is an AI agent workflow framework and development toolkit designed for AI-driven software engineering. It provides a system of modular instructions, prompt libraries, and standardized routines to orchestrate complex engineering sequences and automate the decomposition of plans into technical tasks. The system differentiates itself through advanced context management and prompt engineering, using state compression and handoff documents to preserve conversation history between different AI sessions. It employs a structured library of prompt skills and high-signal trigger words to e
Compares stated business rules and conceptual relationships against the actual codebase to validate logic.
This project is a software engineering style guide and a curated collection of architectural patterns and coding standards. It provides a multi-language coding standard to ensure maintainable software across Ruby, Python, JavaScript, and Swift. The project establishes a development workflow specification for version control, continuous integration, and peer review to maintain a linear project history. It also includes a web accessibility framework based on ARIA and WCAG standards, using design tokens and semantic HTML patterns to build inclusive interfaces. The guides cover a broad range of
Defines architectural patterns for organizing business logic and associations within the model layer.
该项目提供了用于组织 Django 应用程序的架构标准和模式。它定义了一个项目架构指南,重点是通过服务层架构将业务逻辑与视图和模型解耦。 该指南建立了特定的设计模式,包括用于独立业务逻辑函数的服务层,以及用于隔离复杂数据库查询的数据选择器模式。它定义了单用途视图的标准,这些视图将逻辑委托给服务,并利用专用序列化程序进行数据输入和输出。 该框架涵盖了几个更广泛的功能领域,包括用于将环境覆盖与基础设置分离的模块化配置管理、用于领域驱动错误映射的自定义异常层次结构,以及用于协调后台任务和定期调度的系统。它还包括将数据库约束与模型和服务级验证相结合的标准。
Provides standards for organizing business logic by separating data writing services from data retrieval selectors.
This project is a Java microservices reference implementation that demonstrates the application of structural design patterns for distributed systems. It consists of a suite of containerized services and infrastructure dependencies designed to showcase how to coordinate multiple independent services into a functional system. The implementation focuses on several advanced architectural patterns, including a centralized API gateway for routing and aggregating responses, Command Query Responsibility Segregation to separate read and write operations, and event sourcing to persist the state of bus
Organizes business logic into cohesive domain aggregates to maintain internal consistency and define state boundaries.
This project serves as a comprehensive educational resource for implementing modular monoliths and microservices within .NET environments. It focuses on applying domain-driven design principles to manage complex business logic, providing a structured approach to building systems that can evolve alongside changing requirements. The architecture is defined by its emphasis on modularity and clear boundaries, utilizing vertical slices and bounded contexts to organize code by business process rather than technical layer. It distinguishes itself through a systematic migration framework that allows
Provides standards for organizing business logic, associations, and validations within the model layer.
Commanded is an Elixir framework designed for building event-sourced applications that utilize domain-driven design. It provides a structured environment for implementing command-query responsibility segregation, allowing developers to separate write-side command processing from read-side data projection. By treating state changes as an immutable sequence of events, the framework ensures a reliable audit trail and facilitates system recovery. The project distinguishes itself through its support for distributed process orchestration and event-driven middleware pipelines. It enables the managem
Encapsulates domain state and business logic within aggregate modules to ensure consistent state transitions.