KIV is a verification system that works on structured algebraic specifications. This article describes the sophisticated graphical user interface (GUI) of the KIV verification system. A number of inadequacies are also highlighted, where UML somehow still fails to express what we believe are important semantic issues. This problem is more serious than the outstanding inconsistencies and ambiguities which still exist in UML 1.3. This article shows how the biggest problem by far is cognitive misdirection, or the apparent ease with which the rush to build UML models may distract the developer from important perspectives on a system. Notwithstanding this, developers still seem to create inordinate problems for themselves by pursuing unproductive development strategies that are apparently fostered by UML. The catalogue is revised to reflect changes made between UML versions 1.1 and 1.3, in which a number of semantic inconsistencies in the notation were fixed. The authors offer a catalogue of problems experienced by developers, using various object modelling techniques brought into prominence by the widespread adoption of UML standard notations.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |