UML and OCL Archive

xtUML 2015 Conference – A Good Start

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!

Incremental integrity checking in UML/OCL Conceptual Schemas

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

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!