UML and OCL Archive
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!
Leon Starr introduces a new Executable UML action language named Scrall: Starr's concise relational action language.This post focuses on hopping relationships
This week we begin taking a look at Scrall action language examples. Today, we’re just going