Editing Software design (section)

== Modeling language ==

A [[modeling language]] can be used to express information, knowledge or systems in a structure that is defined by a consistent set of rules. These rules are used for interpretation of the components within the structure. A modeling language can be graphical or textual. Examples of graphical modeling languages for software design include:
* [[Architecture description language]] (ADL) is a language used to describe and represent the [[software architecture]] of a [[software system]].
* [[Business Process Modeling Notation]] (BPMN) is an example of a [[Process Modeling]] language.
* [[EXPRESS (data modeling language)|EXPRESS]] and EXPRESS-G (ISO 10303-11) is an international standard general-purpose [[data modeling]] language.
* [[Extended Enterprise Modeling Language]] (EEML) is commonly used for business process modeling across a number of layers.
* [[Flowchart]]s are schematic representations of algorithms or other step-wise processes.
* [[Fundamental Modeling Concepts]] (FMC) is modeling language for software-intensive systems.
* [[IDEF]] is a family of modeling languages, the most notable of which include [[IDEF0]] for functional modeling, [[IDEF1X]] for information modeling, and [[IDEF5]] for modeling [[Ontology (information science)|ontologies]].
* [[Jackson Structured Programming]] (JSP) is a method for structured programming based on correspondences between data stream structure and program structure.
* [[Lepus3|LePUS3]] is an [[object-oriented]] visual Design Description Language and a [[formal specification]] language that is suitable primarily for modeling large object-oriented ([[Java (programming language)|Java]], [[C++]], [[C Sharp (programming language)|C#]]) programs and [[design patterns]].
* [[Unified Modeling Language]] (UML) is a general modeling language to describe software both structurally and behaviorally.  It has a graphical notation and allows for extension with a [[Profile (UML)]].
* [[Alloy (specification language)]] is a general purpose specification language for expressing complex structural constraints and behavior in a software system. It provides a concise language base on first-order relational logic.
* [[Systems Modeling Language]] (SysML) is a new [[general-purpose modeling]] language for systems engineering.
* [[service-oriented modeling#Service-oriented modeling framework|Service-oriented modeling framework (SOMF)]]<ref name="Bell">{{cite book |last=Bell |first=Michael|title=Service-Oriented Modeling: Service Analysis, Design, and Architecture|year= 2008 |publisher=Wiley & Sons|isbn=978-0-470-14111-3 |chapter=Introduction to Service-Oriented Modeling}}</ref>