UML and OCL Archive

Programming & Modeling links of the week (11/11/2015)

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!

Smart bounded verification for UML / OCL models

Correctness of UML diagrams annotated with OCL constraints can be checked using bounded verification. We show an automatic technique to choose the best bound

Backwards reasoning for model transformations: Method and applications

We show how the concept of weakest precondition applied to model transformations helps to solve plenty of verification, validation and testing challenges

Q: OCL to SQL tools

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

Q: Accessible modeling tools for the blind

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)

Writing business logic in UML with Cloudfier

Cloudfier implements executability on top of the UML standard. Code generators in Cloudfier share a common interpretation of UML, eliminating the ambiguity

Objects and Relations in Scrall

Today is the day that we address the R in Scrall. And this week’s blog is

What is Cloudfier and why you may want to use it

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!

Hopping lithely across relationships in Scrall

Leon Starr introduces a new Executable UML action language named Scrall: Starr's concise relational action language.This post focuses on hopping relationships

Grabbing objects with Scrall

This week we begin taking a look at Scrall action language examples. Today, we’re just going