How to Write Tests For Your Enterprise Architect Model

Introducing the Enterprise Architect Model checker

Robert Pagel
Tuesday, September 22, 2015

An illustration of how you can test your models using our Model Checker for Enterprise Architect

Introducing The Enterprise Architect Model Checker

In this post, I would like to show you one of our tools, the ModelChecker, and invite you to use it for free. It currently only supports Enterprise Architect models and you have to write a bit of Java code to use it but it is really fast and has an intuitive GUI.

In general, we like to create models to document, discuss or simulate systems. Often we use them as a baseline to generate specifications. We find them very useful to organize information in a structured manner.

Systems can be modeled using UML, the widely used “unified modeling language”. It covers both structural and behavioral aspects of a system and can be extended to cover specific domains.

SysML for example was created to model systems engineering applications, while BPMN covers business processes modeling. One of the many tools to create UML models is Enterprise Architect.

Depending on the scope and depth of your project, your model may become quite large. You may choose to parallelize the work, but this comes with its own set of problems. One is that everybody understands modeling a bit differently, so you might end up with inconsistencies. These inconsistencies not only make the model less understandable to a new reader but also impair the automated generation of documents from the model. To save a model from descending into chaos, we like to define a metamodel. Read more about metamodels here.

To validate your model against its metamodel you can apply automated tests. One of the tools we use for this is the Model Checker I above mentioned. It works like this:

You design the metamodel
You derive the rules you want automatically checked
You implement these rules
You end up with an executable, that checks your model and displays a list of all found violations

When you run the Model Checker it looks like this:

Introducing The Enterprise Architect Model Checker

Upcoming Events
Prototyping Business Models And Market Strategies
2 hours - 2022-06-09
Go to event overview

Recent Blogposts
Even More Management Power For 2022
Oliver Grasl - 2022-01-31
Play Our New Beer Distribution Game
Oliver Grasl - 2021-12-16
Simulating The Beer Distribution Game
Oliver Grasl - 2021-11-16
Go to blog overview

Email newsletter

Subscribe to our newsletter and stay up to date about the latest trends and news.

Name

Email