Welcome to the cDMN documentation!¶
1. What is cDMN?¶
The Constraint Decision Modeling and Notation language (or cDMN for short) is an extension to the DMN standard, which is managed by the Object Management Group (OMG). An explanation summary of DMN is listed below.
From the DMN website:
DMN is a modeling language and notation for the precise specification of business decisions and business rules. DMN is easily readable by the different types of people involved in decision management. These include: business people who specify the rules and monitor their application; business analysts.
DMN models are created by chaining together decisions. Every decision is defined by a decision table. For example, the table below shows how to decide the dish to cook based on the season and the amount of guests. Every decision table has input variables, and an output variable. Each row of a table signifies a possible combination of input variables, which define one or more outputs. This way, decisions can be represented in a readable manner. If for example Season is Winter and there are 10 guests, row 2 dictates that the Dish is Pasta.
|Decide what to eat|
|3||Summer||> 10||Light Salad|
|4||Summer||≤ 10||Beans Salad|
cDMN extends standard DMN by adding constraint reasoning, variable quantification, more expressive data representations, and more. Because of these additions, cDMN has a couple advantages over DMN.
- Constraints increase expressivity and flexibility.
- Models scale better with input size.
- Models are more compact and straightforward.
- Modelling complex systems becomes possible.
cDMN is part of ongoing research by Bram Aerts, Simon Vandevelde and Joost Vennekens at the EAVISE group. If you are interested in learning more about how cDMN could help you and/or your company, contact us.
For those who want to read more about the theoretical side of cDMN, you can read our paper titled “Tackling the DMN Challenges with cDMN: a Tight Integration of DMN and constraint reasoning”, which won the Best Paper award at the RuleML+RR2020 conference.
2. How do I use it?¶
The cDMN Notation page details all cDMN features and how to use them. If you are interested in learning cDMN, it is recommended to read/skim through this page, and then view the concrete cDMN examples to see cDMN in action.
Using the notation is straightforward: models can be created in any spreadsheet editing software you like.
If you wish to execute your models, you can use our cDMN solver.
Although, keep in mind that our solver currently only supports cDMN models in the
The cDMN solver consists of a converter written in Python 3, and a knowledge reasoning engine called the IDP system. Information on the installation of the cDMN solver can be found here: cDMN Solver. The solver fully works on Windows, Mac and Linux. Furthermore, we are also planning on creating a browser-based tool, which everyone could run, regardless of OS.
3. Can I also use it as a tool for standard DMN?¶
Yes you can! The cDMN solver supports everything in the normal DMN standard, besides boxed expressions and tables with the C hit policy. All other hit policies (U, A, F, C#, …) are supported. The DMN can be either be in the form of a spreadsheet, or in the XML format as specified in the standard. Explanation on how to do this is given at the 2. Usage page.
On top of our cDMN tool, we now bundle a Python DMN API. This API allows for querying the DMN specification for information (such as input names, output names, …). On top of this, it also allows you to set values, and propagate them throughout the system. A guide on the usage of the API can be found at Python DMN API.
We also have a tool which integrates a DMN editor with an IDP-based user-friendly interface, called DMN-IDP. You can try it out for yourself at the online DMN-IDP demo.
4. How to contribute¶
- cDMN Notation
- cDMN Solver
- cDMN implementations of DMCommunity Challenges
- Other DMCommunity Challenges
- Full implementations
- Python DMN API
- cDMN to FO(·) conversion
- The cDMN developer reference