UML and OCL Archive
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 is a lightweight approach for defining, validating and executing statecharts thanks to an open source API implemented in Python 3
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
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.
Check (and contribute to) the OCL repository in GitHub
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.
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
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.
Slides and full chapter for our introductory tutorial to the OCL language, now with more than 65.000 views on slideshare
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
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.
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.
Correctness of UML diagrams annotated with OCL constraints can be checked using bounded verification. We show an automatic technique to choose the best bounds
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?
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?
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.
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
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.
Our approach to automatically generate GraphQL schemas from UML class diagrams (and IFML interaction models)
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.