Integrated Resource
EXPRESS ist die formale Modellierungssprache, die zur Beschreibung der Integrierten Ressourcen und der Anwendungsprotokolle entwickelt wurde.
EXPRESS wurde 1994 als Part 11 von STEP genormt.
www.prostep.orgIntegrated Resource
EXPRESS is the formal modeling language which has been developed to describe the Integrated Resources and the Application Protocols.
EXPRESS has been published in 1994 as Part 11 of STEP.
www.prostep.orgModeliosoft versorgt Werkzeuge, die UML unterstützen und XMI durchführen.
Der UML-Standard - Eine von der OMG definierte Modellierungssprache
Suchen
www.modeliosoft.comModeliosoft provides tools supporting it and implementing XMI.
The UML standard - a modeling language defined by the OMG
Search
www.modeliosoft.comZudem kann bei komplexen Systemen durch eine frühzeitige formale Modellierung schon früh deren Konsistenz geprüft und ggf. das Systemdesign geändert werden, statt dies erst später ( und damit aufwändiger und teurer ) zu tun.
Aktuell wird diese Methodik auf die Modellierungssprache UML übertragen.
Eine heterogene formale Semantik kann dabei die Spezifika der verschiedenen UML-Diagramme besser berücksichtigen als bisherige formale Semnatiken.
theo.cs.uni-magdeburg.deMoreover, for complex systems, an early formal model can checked early for consistency, resulting in possible design changes – instead of doing this later ( which means more involved and costly ) in the development.
Currently, this method is being transferred to the modeling language UML.
A heterogeneous formal semantics will respect the specifics of the different UML diagram types in a better way that existing formal semantics of UML.
theo.cs.uni-magdeburg.deΘέλετε να προσθέσετε μια λέξη, φράση ή μετάφραση?
Καταχωρίστε νέο λήμμα.