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
On the lack of open-source low-code tools
This was supposed to be a post recommending great open source low-code tools. It ended up being a rant on why there are so few of them.
AI-based tools to transform interface design mockups into ready-to-use UI code
None of us enjoys wasting time aligning HTML/CSS elements. A tool able to take our rough handmade sketches and transform them into actual UI code is almost a dream come true. Let’s see how close we are to this goal.
A DSL to define UCON security policies
Model powerful security policies for your software designs with our DSL based on the UCON usage control model
A Modeling Editor and Code Generator for message-driven architectures with AsyncAPI
AsyncAPI allows you to define Message-Driven and event-driven APIs in a machine-readable format. Our AsyncAPI toolkit helps you to model and create AsyncAPI specifications and automatically generate code from them.
Modeling, verifying and generating embedded software with Dezyne
Our review of Dezyne, a great tool to quickly model, verify and generate component-based software.
Diverse scenario exploration in model finders using graph kernels and clustering
Clustering of model instances by using graph kernels. Make sure you test your models with the most diverse set of examples!
From informal to formal modeling
We propose an iterative modeling approach where designers can dynamically customize the level of formality required in each iteration in a visual and intuitive way
PAMELA, an annotation-based Java modeling framework
PAMELA proposes a shift in the modeling paradigm, in which models and code are developed together and at the same time in what we call a continuous modeling process.
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
(Not) Yet Another Metamodel for Traceability
Discover why we need a new traceability metamodel and the quality characteristics that enable ours to reason on the value of a trace
Modeling: all you need to know
