An OCL GitHub action to validate models in your CI/CD pipelines
Automating the build pipeline of modeling projects, one Github action at a time. We start by automating the verification process that checks models are consistent with a set of OCL constraints
Managing Belief Uncertainty in Models
We show how domain experts can individually reason about their models and combine their opinions to reach a consensus on the models and objects they are modeling
Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams
Learn about MVM (Model Validator Mixer), a modeling tool for domain engineers that helps them locate, understand and fix consistency problems in UML/OCL class diagrams
KDM to UML model transformation for Quantum Software Modernization
Quantum computing is getting closer and closer to being embedded in commercial information systems. This post shows you how to modernize, via a KDM to UML transformation, “traditional systems” and them ready to become hybrid systems embedding quantum software components
Navigability of associations is NOT a conceptual modeling concern
Please do not define any direction in your associations when creating your domain models. This is part of a further refinement during the design phase.
Modeling: all you need to know
