UML and OCL Archive
Summary of a two-day conference to strengthen the xtUML community, covering its OSS tool for Executable UML modeling, xtUML syntax and methodology and more!
How to analyze the OCL expressions in your UML models to optimize the evaluation strategy to follow when evaluating your data consistency at run-time
Some links to tools/posts/news I've found interesting these past few days, including the models for the martian movie, a model api from Mendix and more!
Correctness of UML diagrams annotated with OCL constraints can be checked using bounded verification. We show an automatic technique to choose the best bound
We show how the concept of weakest precondition applied to model transformations helps to solve plenty of verification, validation and testing challenges
Do you know modeling tools with an OCL to SQL code generation feature?. The list of OCL tools is small, and few of them include code-generation for OCL. Let's review what we have
What's the best way for a visually impaired person to use a software modeling tool? Here we try to answer this question (or discuss why we can't provide one)
Cloudfier implements executability on top of the UML standard. Code generators in Cloudfier share a common interpretation of UML, eliminating the ambiguity
Today is the day that we address the R in Scrall. And this week’s blog is
Ever heard of Cloudfier? It is a tool for developing business applications based on executable models. But why would you want to do that? Keep reading!
Your feedback has been received.