X-1998-03: van Emde Boas, Peter (1998) Formalizing UML; Mission Impossible? [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
X-1998-03.text.ps.gz Download (55kB) |
|
Text (Abstract)
X-1998-03.abstract.txt Download (589B) |
Abstract
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 |
