Specification languages

Allgemeine Modellierung ( GPM ) ist die systematische Verwendung einer allgemeinen Modellierungssprache zur Darstellung der verschiedenen Aspekte eines Objekts oder eines Systems . Beispiele für GPM-Sprachen sind:

Business Process Model and Notation ( BPMN ) ist eine grafische Darstellung zur Spezifizierung von Geschäftsprozessen in einem Geschäftsprozessmodell .

Eine Mensch-Maschine-Sprache ( MML ) ist eine Spezifikationssprache . MMLs werden typischerweise definiert, um die Schnittstellen für die Verwaltung eines Telekommunikations- oder Netzwerkgeräts über eine Konsole zu

Die Topology and Orchestration Specification for Cloud Applications ( TOSCA ) ist eine OASIS- Standardsprache, die ursprünglich zur Beschreibung der Topologie cloudbasierter Webdienste, ihrer Komponenten, Beziehungen und

Eine Schnittstellenbeschreibungssprache (auch Schnittstellendefinitionssprache genannt ) ist ein Oberbegriff für eine Sprache , die es einem in einer Programmiersprache geschriebenen Programm oder Objekt ermöglicht, mit

Eine Spezifikationssprache ist eine formale Sprache in der Informatik, die bei der Systemanalyse , der Anforderungsanalyse und dem Systementwurf verwendet wird , um ein System auf einer viel höheren Ebene zu beschreiben

Tefkat ist eine Modelltransformationssprache und eine Modelltransformations-Engine. Die Sprache basiert auf F-Logik und der Theorie geschichteter Logikprogramme.

Das Knowledge Based Software Assistant (KBSA) war ein von der US-Luftwaffe finanziertes Forschungsprogramm .

Die Z-Notation / ˈ z ɛ d / ist eine formale Spezifikationssprache zur Beschreibung und Modellierung von Computersystemen.