Home

IDLReasoner

What is IDLReasoner?

IDLReasoner is a CSP-based Java library that allows to programmatically analyze IDL documents. Specifically, IDLReasoner translates input IDL specifications to CSPs using MiniZinc, a constraints solving language designed for modeling optimization problems in a high-level, solver-independent way. The IDLReasoner architecture is:

The library comprises three main components:

• MiniZincMapper: Which translates variables from the API specification and dependencies from IDL to MiniZinc, and manipulates the resulting MiniZinc file accordingly for each analysis operation.
• Resolutor: Which performs the calls to the selected CSP solver.
• Solver: Which leverages the MiniZincMapper and the Resolutor components to execute the nine analysis operations.

How can I use it?

You can check on our User Guide to implements in your Java Project.

What is IDL?

IDL (Inter-parameter Dependency Language) is a textual domain-specific language for the specification of dependencies among input parameters in web APIs

How can I program in IDL?

You can check our IDL Language section to learn more about IDL.