Verification of UML Meta-Models
Project Award Date: 04-11-2001
The MetaV project is developing tools and techniques for verification of UML meta models developed under the DARPA MoBIES program. UML meta models are used to describe the syntax and semantics of domain-specific modeling languages. Such models are then used to automatically synthesize domain specific editors. Verification at the meta level provides correctness assurances for the semantic descriptions of these domain-specific model editors. The specific objectives of this project are to:
- (i) develop meta-modeling methodologies and libraries to support meta-model verification,
(ii) explore the use of traditional formal verification techniques on UML meta models, and
(iii) explore verification of the results of meta-model composition.
Primary Sponsor(s): U.S. Air Force