Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Best of 2016 Recommended by Editor Recommended by Reviewer Recommended by Reader
Search
An approach to checking consistency between UML class model and its Java implementation
Chavez H., Shen W., France R., Mechling B., Li G. IEEE Transactions on Software Engineering42 (4):322-344,2016.Type:Article
Date Reviewed: Jan 12 2017

Checking for consistency between a design and its implementation is usually done manually. It is crucial to check that the diagrams, especially class diagrams, developed at the design level are consistent with the system as developed at the implementation level. Chavez et al. present an approach to check consistency automatically between UML class diagrams at the design level and their Java implementation.

The approach starts by formalizing the rules for the consistency check. The set of formal rules for functions is associated with class diagrams. Then, the formal rules are used for class name, attributes, operations, associations, and generalizations. Finally, the operational semantics approach is adopted in order to check the consistency between the class diagrams and its Java implementation.

The authors then propose the new algorithm, conformance checking between UML and Java (CCUJ), based on the formalization rules used in defining class diagrams. They define two methods of conformance based on class conformance and implementation conformance. The conformance of the consistency check is then tested based on the correctness of the algorithm using formal verification. The algorithm uses the stack algorithm with backtracking steps.

The authors successfully conducted the experiment to evaluate CCUJ in terms of its effectiveness and efficiency. The evaluation was performed to show that the well-formedness rules in the UML specification are carried out in the approach. Readers can use CCUJ as a tool for a theorem prover.

Reviewer:  Rosziati Ibrahim Review #: CR144994 (1704-0234)
Bookmark and Share
  Editor Recommended
 
 
UML (D.3.2 ... )
 
 
Formal Methods (D.2.4 ... )
 
 
Java (D.3.2 ... )
 
 
Testing And Debugging (D.2.5 )
 
Would you recommend this review?
yes
no
Other reviews under "UML": Date
The Unified Modeling Language user guide
Booch G., Rumbaugh J., Jacobson I. (ed), Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, 1999. Type: Book (9780201571684)
Jul 1 1999
UML in a nutshell
Alhir S., O’Reilly & Associates, Inc., Sebastopol, CA, 1998. Type: Book (9781565924482)
Aug 1 1999
Doing hard time
Douglass B., Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999. Type: Book (9780201498370)
Sep 1 1999
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy