Detail výsledku

A Survey on Formal Representation of UML

RYŠAVÝ, O. A Survey on Formal Representation of UML. Brno: 2003. 22 p.
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Ryšavý Ondřej, doc. Ing., Ph.D.
Abstrakt

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.

Klíčová slova

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

URL
Rok
2003
Strany
22
Místo
Brno
BibTeX 
@misc{BUT193902,
  author="Ondřej {Ryšavý}",
  title="A Survey on Formal Representation of UML",
  year="2003",
  pages="22",
  address="Brno",
  url="https://www.fit.vut.cz/research/publication/7362/"
}
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru