Modeling language: Difference between revisions

Revision as of 01:22, 29 October 2005

Revision as of 09:51, 29 October 2005

Line 7:

A large number of modeling languages appear in the literature, however, the most notable languages are ones having the most extensive tool support. As of 2005 these include:

* [[Unified Modeling Language]] '''(UML)''' incorporates a wide variety of diagramming techniques and topologies. Its extensive underlying tool support enables specifications written using one technique or 'view' to be transparently converted and rendered in another view, eventually resulting in executable artifacts.

* [[Petri net]]s use variations on exactly one diagramming technique and topology, namely the [[bipartite graph]]. The simplicity of its basic user interface easily enabled extensive tool support over the years, particularly in the areas of model checking, graphically-oriented simulation, and software verification.

* [[IDEF]] is a family of modeling languages, the most notable of which include IDEF0, for functional modeling, and IDEF1 for information modeling .

* [[SysML]] is a modeling language, based on UML, that address the need of [[System Engineering]].