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 the data. Our method helps designers to find the proper constraints by automatically mutating them to fit the sample data

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 API implemented in Python 3

Introducing Continuity: Drawing + Modelling

Continuity is a drawing and a modeling tool at the same time and tries to combine the best of both worlds to help you create beautiful formal models

Executable UML Tutorial 4: Class/Logic Modeling

Learn how to model classes (and their logic) in this next chapter of our Executable UML tutorial. Via an illustrative example, you'll learn all the trade-offs you must consider when identifying, naming and modeling the main concepts of your system.

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 better visualization of the data model and operations of REST APIs. OpenAPItoUML is available as an open source Eclipse plugin.

Model-driven Development of OData Services

OData is a protocol to facilitate the publication and consumption of queryable and interoperable data-driven services. OData is based on the use of RESTful APIs derived from a data model. We present a model-driven approach to automate the generation of OData services from data sources

Executable UML Tutorial 3: Domain Analysis (Part 2)

How to partition the system into a set of domain models and decide the best language for each domain. Plus the need to choose the model platform that best fits your project.

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 65.000 views on slideshare

Executable UML Tutorial 2: Domain Analysis (Part 1)

In this second part of our executable UML tutorial we look at the key role of modeling domains to partition the system to be built

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 of a complete set of Executable UML (xUML) models. Presented with an initial set of fuzzy requirements, we will transform them into an unambiguous, detailed, constrained and executable statement of the desired system.

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 render nicely looking UML diagrams from a few lines of text.

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 bounds

I will model your software for 5 USD

Well, I will NOT but Fiverr has plenty of people willing to take modeling gigs for as low as five dollars. Should I be happy that UML is getting popular enough to generate interest in Fiverr?

ZenUML makes drawing sequence diagrams easier and faster

A new textual UML tool (to generate graphical sequence diagrams from a textual DSL definition) is now in the market. How does it fare against PlantUML and other competitors?

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 first-class citizens in software engineering and why this has to change to keep up with the demands of big data and open data.

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 while presenting his new book on the transition from models to code

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 of the language as an optimal way to exploit such features.

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 annotated with OData stereotypes you could automate the generation of your OData definition files.

Pin It on Pinterest