UML and OCL Archive

Fixing defects in integrity constraints via constraint mutation

Defining the right constraints for any system is a challenging task that risks over-constraining or under-constraining

Sismic: An open source Python API for statechart execution, validation and testing

Sismic is a lightweight approach for defining, validating and executing statecharts thanks to an open source

Introducing Continuity: Drawing + Modelling

Continuity is a drawing and a modeling tool at the same time and tries to combine

Executable UML Tutorial 4: Class/Logic Modeling

Learn how to model classes (and their logic) in this next chapter of our Executable UML

The OCL repository (updated)

Check (and contribute to) the OCL repository in GitHub

OpenAPItoUML: a Tool to Generate UML Models from OpenAPI Definitions

We present our new tool OpenAPItoUML to generate UML models from OpenAPI definitions, thus offering a

Model-driven Development of OData Services

OData is a protocol to facilitate the publication and consumption of queryable and interoperable data-driven services.

Executable UML Tutorial 3: Domain Analysis (Part 2)

How to partition the system into a set of domain models and decide the best language

Over 65.000 views for the OCL tutorial slides

Slides and full chapter for our introductory tutorial to the OCL language, now with more than

Executable UML Tutorial 2: Domain Analysis (Part 1)

In this second part of our executable UML tutorial we look at the key role of

Introduction to a new Executable UML Tutorial Series and Case Study

First in a new series of articles to take you step by step through the construction

Text to UML tools – Fastest way to create your models

Sometimes the easiest way to draw a model is to "write" it down. These tools will

Smart bounded verification for UML / OCL models

Correctness of UML diagrams annotated with OCL constraints can be checked using bounded verification. We show

I will model your software for 5 USD

Well, I will NOT but Fiverr has plenty of people willing to take modeling gigs for

ZenUML makes drawing sequence diagrams easier and faster

A new textual UML tool (to generate graphical sequence diagrams from a textual DSL definition) is

The secret life of rules in Software Engineering

Summary of my invited talk at the RuleML+RR conference where I discussed why rules are not

From Models to code with no mysterious gaps – interview with Leon Starr

Leon Starr giving plenty of wisdom pearls on the benefits and optimal application of executable models

OCL Monads – Functional Interpretation for the Object Constraint Language

The introduction of new functional-like features (like lambda expressions) in the OCL suggests a functional interpretation

UML to GraphQL (with some help from IFML)

Our approach to automatically generate GraphQL schemas from UML class diagrams (and IFML interaction models)

A UML Profile for OData Web APIs

Details of our UML Profile to model OData Web APIs. Once you have your UML model

Pin It on Pinterest