UML is the de-facto industry standard to design object-oriented software. UML provides a set of diagrams to model every aspect of an object-oriented application design in sufficient detail, but lacks any mechanism to rigorously check consistency between the models. Today, most of the effort is applied on creating accurate and consistent UML models rather than implementing the design. Automatic code generation from UML models has emerged as a promising area in recent years. The accuracy of generated code in some ways depends on UML models consistency. In this paper, we present a survey of UML consistency checking techniques. To analyze existing techniques, we identify some analysis parameters and construct an analysis table. The analysis table helps us to evaluate existing consistency checking techniques. We conclude that most of the approaches validates intra and inter level consistencies between UML models by using monitoring strategy. UML class, sequence, and statechart diagrams are used in most of the existing consistency checking techniques.
%0 Conference Paper
%1 usman_survey_2008
%A Usman, M.
%A Nadeem, A.
%A Kim, Tai-hoon
%A Cho, Eun-suk
%B Advanced Software Engineering and Its Applications, 2008. ASEA 2008
%D 2008
%K Language Modeling Unified analysis automatic checking class; code compilers; consistency design; diagnostics; diagram; generation; monitoring object-oriented program programming; sequence; software statechart strategy; table; technique; {UML} {verificationUML}
%P 57--62
%R 10.1109/ASEA.2008.40
%T A Survey of Consistency Checking Techniques for UML Models
%X UML is the de-facto industry standard to design object-oriented software. UML provides a set of diagrams to model every aspect of an object-oriented application design in sufficient detail, but lacks any mechanism to rigorously check consistency between the models. Today, most of the effort is applied on creating accurate and consistent UML models rather than implementing the design. Automatic code generation from UML models has emerged as a promising area in recent years. The accuracy of generated code in some ways depends on UML models consistency. In this paper, we present a survey of UML consistency checking techniques. To analyze existing techniques, we identify some analysis parameters and construct an analysis table. The analysis table helps us to evaluate existing consistency checking techniques. We conclude that most of the approaches validates intra and inter level consistencies between UML models by using monitoring strategy. UML class, sequence, and statechart diagrams are used in most of the existing consistency checking techniques.
@inproceedings{usman_survey_2008,
abstract = {{UML} is the de-facto industry standard to design object-oriented software. {UML} provides a set of diagrams to model every aspect of an object-oriented application design in sufficient detail, but lacks any mechanism to rigorously check consistency between the models. Today, most of the effort is applied on creating accurate and consistent {UML} models rather than implementing the design. Automatic code generation from {UML} models has emerged as a promising area in recent years. The accuracy of generated code in some ways depends on {UML} models consistency. In this paper, we present a survey of {UML} consistency checking techniques. To analyze existing techniques, we identify some analysis parameters and construct an analysis table. The analysis table helps us to evaluate existing consistency checking techniques. We conclude that most of the approaches validates intra and inter level consistencies between {UML} models by using monitoring strategy. {UML} class, sequence, and statechart diagrams are used in most of the existing consistency checking techniques.},
added-at = {2013-02-28T11:13:35.000+0100},
author = {Usman, M. and Nadeem, A. and Kim, Tai-hoon and Cho, Eun-suk},
biburl = {https://www.bibsonomy.org/bibtex/20f3a2a132fea2d9c05e8116c09a97f46/fritzsolms},
booktitle = {{Advanced Software Engineering and Its Applications, 2008. {ASEA} 2008}},
doi = {10.1109/ASEA.2008.40},
interhash = {ad6974e36f93a2c4f2f9ae24a039a02a},
intrahash = {0f3a2a132fea2d9c05e8116c09a97f46},
keywords = {Language Modeling Unified analysis automatic checking class; code compilers; consistency design; diagnostics; diagram; generation; monitoring object-oriented program programming; sequence; software statechart strategy; table; technique; {UML} {verificationUML}},
lccn = {0000},
month = dec,
pages = {57--62},
timestamp = {2013-02-28T11:14:10.000+0100},
title = {{A Survey of Consistency Checking Techniques for {UML} Models}},
year = 2008
}