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
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
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
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
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.