Publication detail

A Survey on Formal Representation of UML

RYŠAVÝ, O.

Original Title

A Survey on Formal Representation of UML

Type

report

Language

English

Original 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.

Keywords

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

Authors

RYŠAVÝ, O.

Released

16. 11. 2003

Location

Brno

Pages count

22

URL

BibTex

@techreport{BUT193902,
  author="Ondřej {Ryšavý}",
  title="A Survey on Formal Representation of UML",
  year="2003",
  address="Brno",
  pages="22",
  url="https://www.fit.vut.cz/research/publication/7362/"
}