Modeling language

modelling languageSoftware modelingsoftware modellinggraphical modeling languageModeling languagesgraphical languagelanguagemodellingThe quality of modelling languagesdesign processes
A modeling language is any artificial language that can be used to express information or knowledge or systems in a structure that is defined by a consistent set of rules.wikipedia
183 Related Articles

Behavior tree

Behavior Trees
Behavior trees are a formal, graphical modelling language used primarily in systems and software engineering.

EXPRESS (data modeling language)

EXPRESSExpress-GISO 10303-11
An example of a graphical modeling language and a corresponding textual modeling language is EXPRESS.
EXPRESS is a standard data modeling language for product data.


Drakon-chartdrakon-chartsDRAKON flowchart
DRAKON is an algorithmic visual programming and modeling language developed within the Buran space project following ergonomic design principles.


IDEF2Integrated DEFinitionIntegration DEFinition
IDEF, initially abbreviation of ICAM Definition, renamed in 1999 as Integration DEFinition, refers to a family of modeling languages in the field of systems and software engineering.

Extended Enterprise Modeling Language

Extended Enterprise Modeling Language (EEML) in software engineering is a modelling language used for Enterprise modelling across a number of layers.


IDEF1logical database design technique
Integration DEFinition for information modeling (IDEF1X) is a data modeling language for the development of semantic data models.


IDEF4, or Integrated DEFinition for Object-Oriented Design, is an object-oriented design modeling language for the design of component-based client/server systems.


IDEF0 diagram
IDEF0, a compound acronym ("Icam DEFinition for Function Modeling", where ICAM is an acronym for "Integrated Computer Aided Manufacturing"), is a function modeling methodology for describing manufacturing functions, which offers a functional modeling language for the analysis, development, reengineering, and integration of information systems; business processes; or software engineering analysis.


This method is part of the IDEF family of modeling languages in the field of systems and software engineering.

Petri net

Petri netsPetri net theoryconcurrent systems
A Petri net, also known as a place/transition (PT) net, is one of several mathematical modeling languages for the description of distributed systems.

Unified Modeling Language

UMLUnified Modelling Languageinteraction diagram
The Unified Modeling Language (UML) is a general-purpose, developmental, modeling language in the field of software engineering that is intended to provide a standard way to visualize the design of a system.


This standard is part of the IDEF family of modeling languages in the field of software engineering.

Domain-specific language

Domain Specific Languagedomain-specificdomain-specific programming language
It involves systematic use of a graphical domain-specific language (DSL) to represent the various facets of a system.
DSLs can be further subdivided by the kind of language, and include domain-specific markup languages, domain-specific modeling languages (more generally, specification languages), and domain-specific programming languages.

Service-oriented modeling

Service-oriented modeling framework (SOMF)Service-oriented analysis and designDiscipline-Specific Modeling
A discipline-specific modeling (DspM) language is focused on deliverables affiliated with a specific software development life cycle stage.
Any service-oriented modeling method typically includes a modeling language that can be employed by both the 'problem domain organization' (the Business), and 'solution domain organization' (the Information Technology Department), whose unique perspectives typically influence the service development life-cycle strategy and the projects implemented using that strategy.


PROMELA (Process or Protocol Meta Language) is a verification modeling language introduced by Gerard J. Holzmann.

Visual modeling

graphical block diagramming toolgraphical designvisual
Visual modeling is the graphic representation of objects and systems of interest using graphical languages.

Rebeca (programming language)

Rebeca Modeling Language
Rebeca (acronym for Reactive Objects Language) is an actor-based modeling language with a formal foundation, designed in an effort to bridge the gap between formal verification approaches and real applications.

General Algebraic Modeling System

One particular advantage of AMLs like AIMMS, AMPL, GAMS, LPL, Mosel, MiniZinc, MPL, OPL and OptimJ is the similarity of its syntax to the mathematical notation of optimization problems.
In the 1970s, TRW developed a system called PROSE that took the ideas of chemical engineers to compute point derivatives that were exact derivatives at a given point, and to embed them in a consistent, Fortran-style calculus modeling language.

SEQUAL framework

Sequalquality of models
Here language quality is stated in accordance with the SEQUAL framework for quality of models developed by Krogstie, Sindre and Lindland (2003), since this is a framework that connects the language quality to a framework for general model quality.
For additional detail, see the quality of modelling languages

Automatic programming

code generationSource code generationgenerative programming
Executable modeling languages applied with proper tool support, however, are expected to automate system verification and validation, simulation and code generation from the same representations.