editor@inter-nauka.com
Personal cabinetComparative analysis of deterministic and probabilistic methods for verifying architectural constraints in microservice systems
Bibliographic description of the article for the citation:
Жумік Владислав. Comparative analysis of deterministic and probabilistic methods for verifying architectural constraints in microservice systems//Science online: International Scientific e-zine - 2025. - №12. - https://nauka-online.com/en/publications/technical-sciences/2025/12/05-37/
Annotation: The article addresses the challenge of automating architectural quality control in microservice systems designed using Domain-Driven Design methodology. A comparative analysis of the effectiveness of deterministic methods and probabilistic methods was conducted. Using a simulated e-commerce system with a controlled set of defects, a quantitative assessment of Precision and Recall metrics was performed for both approaches. The experiment confirmed that deterministic methods ensure absolute precision in detecting structural boundary violations but exhibit "semantic blindness" regarding complex DDD patterns. Conversely, probabilistic methods demonstrated high effectiveness in identifying semantic defects, such as anemic domain models and context leakage, with an acceptable level of false positives. Based on the results, the necessity of implementing a hybrid verification strategy is substantiated, where static analysis acts as a rigid gatekeeper in CI/CD pipelines, while AI tools serve as an intelligent architect's assistant.