Improving the definition of UML

Greg O'Keefe

doi:10.1007/11880240_4

Improving the definition of UML

Greg O'Keefe^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 Citations (Scopus)

Abstract

The literature on formal semantics for UML is huge and growing rapidly. Most contributions open with a brief remark motivating the work, then quickly move on to the technical detail. How do we decide whether more rigorous semantics are needed? Do we currently have an adequate definition of the syntax? How do we evaluate proposals to improve the definition? We provide criteria by which these and other questions can be answered. The growing role of UML is examined. We compare formal language definition techniques with those currently used in the definition of UML. We study this definition for both its content and form, and conclude that improvements are required. Finally, we briefly survey the UML formalisation literature, applying our criteria to determine which of the existing approaches show the most potential.

Original language	English
Title of host publication	Model Driven Engineering Languages and Systems - 9th International Conference, MoDELS 2006, Proceedings
Publisher	Springer Verlag
Pages	42-56
Number of pages	15
ISBN (Print)	3540457720, 9783540457725
DOIs	https://doi.org/10.1007/11880240_4
Publication status	Published - 2006
Event	9th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2006 - Genova, Italy Duration: 1 Oct 2006 → 6 Oct 2006

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4199 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2006
Country/Territory	Italy
City	Genova
Period	1/10/06 → 6/10/06

Access to Document

10.1007/11880240_4

Cite this

O'Keefe, G. (2006). Improving the definition of UML. In Model Driven Engineering Languages and Systems - 9th International Conference, MoDELS 2006, Proceedings (pp. 42-56). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4199 LNCS). Springer Verlag. https://doi.org/10.1007/11880240_4

@inproceedings{1ca26c833ff94b0ba636a28b562bf0ea,

title = "Improving the definition of UML",

abstract = "The literature on formal semantics for UML is huge and growing rapidly. Most contributions open with a brief remark motivating the work, then quickly move on to the technical detail. How do we decide whether more rigorous semantics are needed? Do we currently have an adequate definition of the syntax? How do we evaluate proposals to improve the definition? We provide criteria by which these and other questions can be answered. The growing role of UML is examined. We compare formal language definition techniques with those currently used in the definition of UML. We study this definition for both its content and form, and conclude that improvements are required. Finally, we briefly survey the UML formalisation literature, applying our criteria to determine which of the existing approaches show the most potential.",

author = "Greg O'Keefe",

year = "2006",

doi = "10.1007/11880240_4",

language = "English",

isbn = "3540457720",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "42--56",

booktitle = "Model Driven Engineering Languages and Systems - 9th International Conference, MoDELS 2006, Proceedings",

address = "Germany",

note = "9th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2006 ; Conference date: 01-10-2006 Through 06-10-2006",

}

O'Keefe, G 2006, Improving the definition of UML. in Model Driven Engineering Languages and Systems - 9th International Conference, MoDELS 2006, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4199 LNCS, Springer Verlag, pp. 42-56, 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2006, Genova, Italy, 1/10/06. https://doi.org/10.1007/11880240_4

Improving the definition of UML. / O'Keefe, Greg.
Model Driven Engineering Languages and Systems - 9th International Conference, MoDELS 2006, Proceedings. Springer Verlag, 2006. p. 42-56 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4199 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Improving the definition of UML

AU - O'Keefe, Greg

PY - 2006

Y1 - 2006

N2 - The literature on formal semantics for UML is huge and growing rapidly. Most contributions open with a brief remark motivating the work, then quickly move on to the technical detail. How do we decide whether more rigorous semantics are needed? Do we currently have an adequate definition of the syntax? How do we evaluate proposals to improve the definition? We provide criteria by which these and other questions can be answered. The growing role of UML is examined. We compare formal language definition techniques with those currently used in the definition of UML. We study this definition for both its content and form, and conclude that improvements are required. Finally, we briefly survey the UML formalisation literature, applying our criteria to determine which of the existing approaches show the most potential.

AB - The literature on formal semantics for UML is huge and growing rapidly. Most contributions open with a brief remark motivating the work, then quickly move on to the technical detail. How do we decide whether more rigorous semantics are needed? Do we currently have an adequate definition of the syntax? How do we evaluate proposals to improve the definition? We provide criteria by which these and other questions can be answered. The growing role of UML is examined. We compare formal language definition techniques with those currently used in the definition of UML. We study this definition for both its content and form, and conclude that improvements are required. Finally, we briefly survey the UML formalisation literature, applying our criteria to determine which of the existing approaches show the most potential.

UR - http://www.scopus.com/inward/record.url?scp=33750312271&partnerID=8YFLogxK

U2 - 10.1007/11880240_4

DO - 10.1007/11880240_4

M3 - Conference contribution

SN - 3540457720

SN - 9783540457725

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 42

EP - 56

BT - Model Driven Engineering Languages and Systems - 9th International Conference, MoDELS 2006, Proceedings

PB - Springer Verlag

T2 - 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2006

Y2 - 1 October 2006 through 6 October 2006

ER -

Improving the definition of UML

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this