Algebraic modeling language Algebraic Modeling Languages (AML) are high-level computer programming languages for describing and solving high complexity problems for large scale mathematical computation (i.e.
Algebraic Petri nets An algebraic Petri net (APN) is an evolution of the well known Petri net in which elements of user deﬁned data types (called algebraic abstract data types (AADT)) replace black...
ANSI/ISO C Specification Language The ANSI/ISO C Specification Language (ACSL) is a specification language for C programs, using Hoare style pre- and postconditions and invariants, that follows the design by contract paradigm.
BPEL script BPELscript is a language to specify BPEL processes.
BPEL4People BPEL4People is the WS-BPEL Extension for People as proposed in a joint white paper by IBM and SAP in July 2005.
Business Process Execution Language Business Process Execution Language (BPEL), short for Web Services Business Process Execution Language (WS-BPEL) is an OASIS standard executable language for specifying actions...
CO-OPN The CO-OPN specification language is based on both algebraic specifications and algebraic Petri nets formalisms.
ERIL ERIL (Entity-Relationship and Inheritance Language) is a visual language for representing the data structure of a computer system.
Flow Description Markup Language FDML (Flow Description Markup Language) is a now obsolete XML language from IBM used for making executable business process models for WebSphere Application Server (WAS).
Formal methods In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and ve...
Framework-specific modeling language A framework-specific modeling language (FSML) is a kind of domain-specific modeling language which is designed for an object-oriented application framework.
Franca IDL Franca Interface Definition Language (Franca IDL) is a formally defined, text-based interface description language.
General-purpose modeling General-purpose modelling (GPM) is the systematic use of a general-purpose modelling language to represent the various facets of an object or a system.
Goal-oriented Requirements Language Goal-oriented Requirements Language (GRL), an i*-based modeling language used in systems development, is designed to support goal-oriented modeling and reasoning about requirements especially th...
Hartmann pipeline A Hartmann pipeline is an extension of the Unix pipeline concept, providing for more complex paths, multiple input/output streams, and other features.
HOOD method HOOD (Hierarchic Object-Oriented Design) is a detailed software design method.
i* i* or i* framework is a modeling language suitable for an early phase of system modeling in order to understand the problem domain.
IDL specification language IDL is a software interface description language created by William Wulf and John Nestor of Carnegie Mellon University and David Lamb of Queen's University, Canada.
Interface description language An interface description language (or alternatively, interface definition language), or IDL for short, is a specification language used to describe a software component's interface.
KM3 KM3 or Kernel Meta Meta Model is a neutral computer language to write metamodels and to define Domain Specific Languages.
Shyster (expert system) SHYSTER is a legal expert system developed at the Australian National University in Canberra.
SoaML SoaML (Service oriented architecture Modeling Language) is an open source specification project from the Object Management Group (OMG), describing a UML profile and metamodel for the modeling an...
Specification language A specification language is a formal language in computer science used during systems analysis, requirements analysis and systems design to describe a system at a much higher level than a progra...
Tefkat Tefkat is a Model Transformation Language and a model transformation engine.
Type Description Language Type Description Language (henceforth TDL) is the name of a data type specification language defined in the book Implementing Typed Feature Structure Grammars.
Unified Modeling Language The Unified Modeling Language (UML) is a general-purpose modeling language in the field of software engineering.
Uninterpreted function In mathematical logic, an uninterpreted function is one that has no other property than its name and arity.
Web IDL Web IDL is a format for describing interfaces that are intended to be implemented in web browsers.