Publication Details

A Survey on Formal Representation of UML

RYŠAVÝ Ondřej. A Survey on Formal Represenation of UML. Brno, 2003.
Czech title
Přehled přístupů k formalizaci jazyka UML
Type
technical report
Language
english
Authors
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT)
URL
Keywords

UML diagrams, formal specification, formal language, reasoning, OCL, model validation, formal semantics

Abstract

Recognizing UML as a mainstream development technique for industrial application initiates strong interest of computer scientists dealing with application of formal methods to attempt providing formal foundation for UML. This activity has begun a decade ago, and brings a lot of promising results some of which are summarized in this survey. In this report we restrict the scope of the survey only to approaches that formalizes UML or OCL by developing their mathematical models or providing translation of UML language constructs to a formal language, such as Z, HOL, PVS-SL are considered.

Published
2003
Pages
22
Place
Brno, CZ
BibTeX 
@TECHREPORT{FITPUB7362,
   author = "Ond\v{r}ej Ry\v{s}av\'{y}",
   title = "A Survey on Formal Representation of UML",
   pages = 22,
   year = 2003,
   location = "Brno, CZ",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7362"
}
Back to top