This article presents an approach for model checking of UML class diagrams in combination with OCL constraints. UML/OCL models are automatically transformed into Formula models and then model checked. This kind of model checking can be seamlessly integrated with standard object-oriented analysis and design workflows, without the need of manual transformation to and from existing […]
Model Checking of UML Class Diagrams Read More »
This tutorial show how to define the layout, attributes, operations of a UML class model.
UML Class Modeling 6 – Layout, Attributes, Operations Read More »
UMLet is a free, open-source UML tool with a simple user interface. You can draw UML diagrams fast, produce sequence and activity diagrams from plain text, share diagrams using Eclipse and create custom UML elements. UMLet runs stand-alone or as Eclipse plug-in on Windows, OS X and Linux. This video shows how to use the
Introduction to the UMLet Eclipse Plugin Read More »
This tutorial explains how to refine the UML class model developed in the previous videos.
UML Class Modeling 5 – Refining the Model Read More »
This article proposes to automate the process of structural and behavior analysis of component-oriented software fully specified in UML. The structural specification uses component, class and deployment diagrams, and the behavior specification, state machine diagram. The produced structural analysis tool analyzes a connection between pairs of components at a time. The produced behavioral analysis tool
Component-Oriented Software Development with UML Read More »