UML Spezifikationen werden schnell sehr gross und komplex. Hinzu kommt die Schwierigkeit, das Modell immer aktuell gegenüber der tatsächlich implementierten Software zu halten. Neben eiserner Diszplin gehört auch ein sinnvoller Umgang mit UML und der verfügbaren Arbeitszeit zu einer erfolgreichen Spezifikation.

In [Moh00] habe ich bereits eine formale Semantik für UML auf Basis von Petrinetzen präsentiert. Dort habe ich mein Augenmerk unter anderem darauf gerichtet, wie man unvollständige bzw. fehlerhafte Spezifikationen erkennen kann. Hier möchte ich nun mit der eingeführten Formalisierung im Hinterkopf vorschlagen, wie man Unvollständigkeiten in UML Spezifkationen nutzen kann, um kleinere und dadurch zeitsparende und lesbarere Modelle entwerfen zu können.   Am Ende steht dann ein UML Generator, der aus UML Fragmenten vollständige Spezifikationen vervollständigt.

Immer noch im Aufbau :-((

UML specifications quickly become large and complex. There is also the difficulty in keeping the the modell up to date with respect to the implemented software. Apart from iron discipline also sensible dealing with the UML and the available working hours belongs to successful specifications.

In [Moh00] I have already presented a formal semantics the UML based on Petrinets. There I have directed my attention inter alia on how to detect erronous or incomplete specifications. Here I would like to propose with the introduced formalization in the back of the mind, how incompleteness in UML specifications can be used to design smaller and hence time saving and more readable models. At the end we have a UML generator that creates complete specifications from UML fragments.

Still under construction :-((

Specificazioni di UML diventano grandi e complessi velocemente. Si aggiunge la difficoltà di tenere il modello sempre attuale in rispetto alla software implementata. A parte di disciplina ferreo anche un  uso riflettato con UML e il disponibile orario di lavoro fanno parte di una specificazione fruttuosa.

In  [Moh00]  ho già presentato un semantica formale per UML basata su rete di Petri. Lì ho preso di mira fra l` altro, come riconoscere specificazioni icompleti o difettosi. Qua vorrei proporre con la semantica introdotta enl occipite in quale modo si puo utilizzare incompletezza in specificazioni di UML per elaborare modelli piu piccoli e allora piu legibili e risparmiando tempo. Alla fine abbiamo un generatore UML che crea delle specifcazioni intere da frammenti di UML.

[Moh00]     B. Mohan, A Formal Customizable Semantics for the UML, diploma thesis

Last Update: 12.06.00