A UML model consistency verification approach based on meta-modeling formalization
Proceedings of the 2006 ACM symposium on Applied computing
Comparing multiple state diagrams to sequence diagrams using super state analysis
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
A Usability Profile for Graphical Formal Modelling Methods
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
A precise approach for the analysis of the UML models consistency
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Hi-index | 0.00 |
This paper discusses how integrity consistencyconstraints between different UML models can beprecisely defined at a language level. In doing so, thispaper introduces a formal object-oriented metamodelingapproach. In the approach, integrity consistencyconstraints between UML models are defined in terms ofinvariants of the UML model elements used to define themodels at the language-level. Adopting a formalapproach, constraints are formally defined using Object-Z.This work demonstrates how integrity consistencyconstraints for UML models can be precisely defined atthe language-level and once completed, the formaldescription of the consistency constraints will be aprecise reference of checking consistency of UML modelsas well as for tool development.