Modelleertaal

Een modelleertaal is een artificiële formele taal, die gebruikt kan worden om informatie, kennis of een systeem weer te geven in een structuur, die is gedefinieerd door een consistente verzameling van regels. Deze regels worden ook gebruikt voor de interpretatie van de betekenis van de componenten van de structuur. Modelleertalen zijn grafische en/of textueel opgebouwd, en worden voornamelijk gebruikt in de informatica, informatiemanagement en de systeemkunde.

Inhoud

[bewerk] Algemeen

Een modelleertaal kan grafisch of texueel zijn.^[1]

Grafische modelleertalen gebruiken diagram technieken met benoemde symbolen, die concepten voorstellen; en lijnen, die de symbolen verbinden en de relaties voorstellen; en gevraieerde andere grafische notities, die andere voorwaarden voorstellen.
Textuele modelleertalen gebruiken specifieke gestandaardiseerde sleutelbegrippen, vergezeld met parameters of computer interpreteerbare uitdrukkingen te creëren.

Een voorbeeld van een grafische modelleertaal en een corresponderende textuele modelleertaal zijn EXPRESS-G and EXPRESS (ISO 10303-11).

[bewerk] Voorbeelden

Een groot aantal modelleertalen verschijnelen tegenwoordig in de vakliteratuur. Voorbeelden van modelleertalen zijn:

EXPRESS and EXPRESS-G (ISO 10303-11) is een internationale standaard voor een algemeen toepasbare data modeling taal. Het wordt met anderen gebruikt om enige ISO standaard data modellen te specificeren, zoals de toepassing protocols van ISO 10303 (STEP), ISO 13584, ISO 15926 en anderen.
Unified Modeling Language (UML) is een modelleertaal, dat een industrie standaard is voor de specificatie van software-intensieve systemen. UML 2.0, de huidige versie, ondersteunt dertien verschillende diagramtechnieken, en heeft een breed arsenaal aan ondersteunende gereedschappen.
Petrinets gebruikt een variatie van een enkele diagramtechniek en topologie, bipartiete graaf. De eenvoud van de basis user-interface maakt deze uitstekend geschikt voor toepassingen in het gebied van model controle, graaftheoretisch georiënteerde simulatie en software verificatie.
IDEF is een familie van modelleertalen, waarvan de bekendste IDEF0 is voor functioneel modelleren, en IDEF1 is voor informatie modellering.
SysML is een domein-specifieke modelleertaal voor systems engineering, dat in de vorm van UML profielen is aangepast.
Energy Systems Language (ESL), een taal ontwikkeld voor modelvorming van ecologische energetica en globale economie.
Business Process Modeling Notation (BPMN) en (XML voor BPML) is een voorbeeld van een Business Process Modeling modelleertaal.
Fundamental Modeling Concepts (FMC) modelleertaal voor software-intensieve systemen.

[bewerk] Toepassingen

Verschillende soorten modelleertalen hebben toepassingen in met name de informatica, informatiemanagement, Business Process Modeling, software engineering en systems engineering.

Modelleertalen kunnen gebruikt worden voor de specificatie van systeem benodigdheden, stucturen en gedrag. Modelleertalen zijn ontwikkeld om een exacte specificatie van systemen te maken, zodat allerlei betrokkenen als klanten, operators, analisten en ontwerpens een beter begrip kunnen krijgen van de gemodelleerde systemen.

Informele diagramtechnieken kunnen ook gebruikt worden om incidenteel visuele representatie tegen geven van systeembenodigdheden, structuren en gedrag. Volwaardige modelleertalen bieden echter grotere precisie, consistentie en toepasbaarheid. Ondersteund met de juiste gereedschappen bieden deze modelleertalen soms ook de mogelijkheid tot geautomatiseerde verificatie, validatie, simulatie en code generatie vanuit een en dezelfde representatie.

Bepaalde modelleertalen zijn in zekere mate geautomatiseerd, maken progammeurs niet automatisch overbodig. Het is meer, dat automitische modelleertalen juist bedoeld zijn om de productiviteit van bekwame programmeurs te bevorderen, zodat deze zich ook kunnen richten om meer uitdagende problemen, zoals parallele berekening en gedistribueerde systemen.

[bewerk] Zie ook

[bewerk] Referenties

^ Xiao He ea., A metamodel for the notation of graphical modeling languages, in: Computer Software and Applications Conference, 2007. COMPSAC 2007 - Vol. 1. 31st Annual International, Volume 1, Issue , 24-27 July 2007 Page(s):219 - 224.