Přístupnostní navigace
E-application
Search Search Close
Publication detail
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
Released
16. 11. 2003
Location
Brno
Pages count
22
URL
https://www.fit.vut.cz/research/publication/7362/
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/" }