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

Agency: Fond rozvoje vysokých škol MŠMT

Program:

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. (UIFS FIT VUT) , research leader
Dvořák Václav, prof. Ing., DrSc. (UPSY FIT VUT) , team leader
Publications

2004

2003

Back to top