Generating FoCaLiZe Specifications from UML Models

Download Now
Provided by: RWSoftware
Topic: Software
Format: PDF
UML is the defacto standard language to graphically describe systems in an object oriented way. Once an application has been modeled, Model Driven Architecture (MDA) techniques can be applied to generate code from such models. Because UML lacks formal basis to analyze and check model consistency, it is pertinent to choose a formal target language (in the MDA process) to enable proofs and verification techniques. To achieve this goal, the authors have associated to UML the FoCaLiZe language, an object-oriented development environment using a proof-based formal approach.
Download Now

Find By Topic