Project Details

Nástroje pro podporu formální specifikace a verifikace UML diagramů

Project Period: 1. 1. 2003 – 31. 12. 2003

Project Type: grant

Code: FR838/2003/G1

English title

Tools for support of formal specification and verification of UML based diagrams

Type

grant

Keywords

formal specification, object oriented design and modelling, UML, theorem proving, higher-order logics

Abstract

The project focuses on object-oriented techniques for development and specification of computer systems. Currently, the most used
industrial techniques of this area is UML. The UML provides a set of diagrams for support of analyzing and modeling
various aspects of computer systems. Nevertheless, a lack of formally defined semantics has invited several group
of researches to attempt providing a suitable formal basis. The proposed project aims at selecting of
currently available formal tools and theories for formal specification and developing of a formal theory interpreting of the UML meta-layer definitions to provide a formal foundation for the UML semantics.

Team members

Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS) – research leader
Dvořák Václav, prof. Ing., DrSc.