2010
DOI: 10.1007/978-3-642-11659-9_22
View full text
|
Sign up to set email alerts
|
Share

Abstract: Abstract. UML being semi formal in nature, it lacks formal syntax and hence automated verification of design specifications cannot be done. To address this we propose a UML Compiler that takes context free grammars for UML diagrams and verifies the syntactic correctness of the individual diagrams and semantic correctness in terms of consistency verification with other diagrams. This UML-Compiler is a part of a framework, which consists of two modules. First module converts XMI format of UML diagrams, as gener…

Expand abstract

Search citation statements

Order By: Relevance

Citation Types

0
6
0

Paper Sections

0
0
0
0
0

Publication Types

0
0
0
0

Relationship

0
0

Authors

Journals