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.
The impact of introducing a modeling tool in a Requirement Engineering course
In numerous programming and software engineering courses, students are asked to program on paper, which has supporters and detractors. Supporters claim that, among its advantages, programming on paper allows students to focus on functionality, avoiding the...
OCL in JavaScript
The first tool that lets you integrate OCL expressions in your JavaScript code. Define and evaluate OCL expressions on JS objects
Designing Hierarchical State Machines Using Frame Notation
Discover Frame, a textual markdown language for system design that enables quickly specifying system behavior as automata.
Modeling: all you need to know
