Welcome to DEPS’s documentation 1.0 !

DEPS is a powerful problem modeling language designed to pose and solve system design problems with DEPS Studio IDE. DEPS addresses problems of sizing, configuration, resource allocation and of architecture generation for systems. It is a native language, declarative, structured and property based, offering the possibility to describe an ontology of physical quantities and enabling the representation of variables and properties in discrete and continuous domains.

Some key features of DEPS:

• A language, not a library: No need to know any programming language.

• A pure problem modeling language, not a programming language.

• A declarative language in which the problem is expressed, not the way to solve it.

• A high level structure and property based language and not a flat modeling language.

• A capability of using physical quantities, not numerical representations.

• A guaranted mix solver for generating one or several admissible or optimal solutions.

Note

This documentation is constantly evolving

This documentation is structured in three main parts:

• The DEPS tutorial where you can learn how to use DEPS and DEPS Studio through a progressive example.

• The DEPS reference manual where you can fin the description of the features of the language.

• The DEPS Studio user manual where you can find a description of the main functionalities of the IDE.

A set of Examples and References are added to this documentation to go deeper inside DEPS language.

• DEPS Tutorial
  • Building a first flat problem
    • Using Quantities
    • Structure of a Problem
    • Defining constants
    • Declaring Variables
    • Posting properties inside the problem
    • Compiling and solving the problem
  • Using models
    • Structure of a model
    • Modeling a parametrised resistor component
    • Modeling the problem
    • Compiling and solving the problem
  • Using model hierarchies
    • More generic and reusable components
    • Modeling the problem
    • Compiling and solving the problem
  • Factoring expressions
  • Serial circuit problem
    • Modeling the resistor component
    • Modeling the problem
    • Improving the problem representation by modeling a binary node
    • Compiling and solving the problem
  • A more complicated problem: serial and parallel circuit
    • Modeling ternary node
    • Modeling generators
    • Modeling the problem
    • Compiling and solving
  • A final well structured problem: the Wheatstone bridge
    • Modeling the Wheatstone bridge system
    • Modeling the Wheatstone bridge problem
    • Compiling and solving the problem
  • Modelling and using a catalogue of possible batteries
    • Modeling a data table
    • Posting a Catalog property on a data table
    • Modeling the problem
    • Compiling and Solving the problem
  • Modeling an electrical non-linear problem
    • Modeling a diode
    • Modeling a non linear system
    • Modeling the problem
    • Compiling and solving
  • Minimizing an objective
    • Compiling and solving
  • Connecting the components together
  • Modeling a nary node
  • To go further with DEPS
• DEPS Reference Manual
  • Model
    • Syntax
    • Abstract model
    • Extended model
    • Examples
  • Problem
    • Syntax
    • Examples
  • Quantity and QuantityKind
    • Data types
    • QuantityKind
    • Quantity
    • Examples
  • Tables
    • Syntax
    • Examples
  • Constants
    • Defined Constants
    • Declared constants
    • Examples
  • Variables
    • Syntax
    • Examples
  • Element
    • Defined element
    • Declared element
    • Model signature
    • Access Path
    • Examples
  • Collections
    • Define a Collection
    • Instanciate a Collection
    • Operators and properties on Collections
    • Example
  • Operators and expressions
    • Expressions
      • Numerical expressions
      • Boolean expressions
      • Named Expressions
      • Optimization criterion
      • Example
    • Operators
      • Algebraic operators
      • Boolean operators
      • Piecewise operators
  • Properties
    • Algebraïc Properties
      • Equations
      • Inequalities
      • Difference
      • Example
    • Specialized properties
      • In extension properties
      • Example
    • Meta Properties
      • Formulas
      • Conditional properties
      • Set of properties
      • Example
• DEPS Studio user manual
  • Installing DEPS Studio
    • Windows
  • Managing a project
    • Structure of a project
    • Opening, saving and closing an existing project
    • Opening and closing a new project
  • Editing the models
  • Compiling a project
  • Solving the problem
    • How the solver works
    • Setting the solver options
    • Running the solver
    • Dealing with the results
  • Using external solvers
    • By using a flat modeling language: the AMPL example
    • By using a library : the JuMP example
• Examples
• References