X-1998-03: Formalizing UML; Mission Impossible?

X-1998-03: van Emde Boas, Peter (1998) Formalizing UML; Mission Impossible? [Report]

[thumbnail of Full Text] Text (Full Text)

Download (55kB)
[thumbnail of Abstract] Text (Abstract)

Download (589B)


Formalizing UML will lead to problems much larger than those
encountered in formalizing ordinary computer related languages.
These problems concern not primarily the syntax. In fact that part is
most likely to be formalizable at all. Instead I expect major
problems with specifying a semantics as long as its purpose is
undecided. Also the fact that UML is a hybrid of languages rather than
a single one will make life difficult. Finally the fact that UML is
visual yields unusual problems in the pragmatics of the language.

Item Type: Report
Report Nr: X-1998-03
Series Name: Technical Notes (X) Series
Year: 1998
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/638

Actions (login required)

View Item View Item