Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach
COMPSAC '00 24th International Computer Software and Applications Conference
A Formal Framework for Reasoning on UML Class Diagrams
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Towards Dynamic Meta Modeling of UML Extensions: An Extensible Semantics for UML Sequence Diagrams
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
ICECCS '00 Proceedings of the 6th IEEE International Conference on Complex Computer Systems
Formalization of UML statechart models using Concurrent Regular Expressions
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
A Formal Semantics of UML Sequence Diagram
ASWEC '04 Proceedings of the 2004 Australian Software Engineering Conference
TURTLE: A Real-Time UML Profile Supported by a Formal Validation Toolkit
IEEE Transactions on Software Engineering
Toward a Formalization of UML2.0 Metamodel using Z Specifications
SNPD '07 Proceedings of the Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing - Volume 01
Formalize UML 2 Sequence Diagrams
HASE '08 Proceedings of the 2008 11th IEEE High Assurance Systems Engineering Symposium
Towards Formalizing UML Activity Diagrams in CSP
ISCSCT '08 Proceedings of the 2008 International Symposium on Computer Science and Computational Technology - Volume 02
Checking the consistency of UML class diagrams using larch prover
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Formalization of the design phase of software lifecycle: a grammar based approach
Proceedings of the International Workshop on Formalization of Modeling Languages
Finite satisfiability of UML class diagrams with constrained class hierarchy
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Behavioral and structural evolution of SOA from OO: an integrated approach
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
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 generated by any standard tool into string format and second module (UML-Compiler) is for verification of the diagrams. This paper focuses on the second module and proposes a formal context free grammar for the two of the commonly used UML diagrams - Class diagram (depicting the static design) and sequence diagram (depicting behavioral design) and validated by using Lex and YACC.