%0 Journal Article
%T Model Consistency Checker Using Object State Machine
%A Ahmed F.Shosha
%A Mahmoud Allam
%A Amr Kamel
%J International Journal of Software Engineering
%D 2011
%I Software Engineering Competence Center (SECC)
%X Unified Modeling Language (UML) is a standard modeling language forconstructing and documenting software artifacts. It provides a set of diagrams to model different views of the object oriented software development. However, the UML meta-data does not enforce the consistency of the models being built using UML nor provides a standard way to discover errors and faults in these models. Currently, research efforts are directed to verify the quality, correctness and completeness of UML models. Therefore, the qualityof the UML models is heavily dependent on the consistency of modelcomponents and its diagrams. In this paper, we propose a new approach to solve the problem of discovering the inconsistency in UML sequence diagrams, and verify the interaction between the system objects in these diagrams. The proposed approach is based on the object state machine and state chart diagrams and is referred to as the Model Consistency Checker using Object State Machines (MCC-OSM). Experimental results on small to midsize software design projects haveshowed that MCC-OSM is a promising approach in discovering inconsistency,and incompleteness and verifying the interactions of the UML dynamic view.
%K Model Consistency Checker
%K Model Based Testing
%K State Chart Testing
%K Finite State Machine
%K Design Verification
%U http://www.ijse.org.eg/Content/Vol4/No2/Vol4_No2_4.pdf