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
3/9/2018
0
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
13/8/2018
2
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
2/8/2018
4
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.
2/8/2018
1
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.
24/5/2018
2
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
24/4/2018
0
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.
29/3/2018
11
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
22/3/2018
0
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
8/2/2018
5
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.
8/1/2018
0
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.
28/12/2017
4
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
18/12/2017
0
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?
20/11/2017
0
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?
2/11/2017
0
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.
20/7/2017
2
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
5/7/2017
2
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.
28/6/2017
3
UML to GraphQL (with some help from IFML)
Our approach to automatically generate GraphQL schemas from UML class diagrams (and IFML interaction models)
17/5/2017
0
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.
11/4/2017
0