Enhancement of Consistency of UML Diagrams by Cross Checking Rules

Ilk Yu Ha; Chong Gun Kim

doi:10.4028/www.scientific.net/AMM.284-287.3409

Paper Titles

Design and Implementation for the Secure ID Management System Based on Virtualization
p.3390

Design and Implementation of a Low-Cost Scalar Multiplier-on-Chip for Elliptic Curve Cryptosystem
p.3395

Designing and Realizing of UAV Simulation System
p.3401

Efficient Book Recommendation System Based on a MapReduce Model
p.3405

Enhancement of Consistency of UML Diagrams by Cross Checking Rules
p.3409

Expansion-Free Grayscale Image Sharing Using Meaningful Share Images
p.3413

Exploiting Mobile Devices to Assist Identification System of Photos for Social Relationship
p.3418

Full Multiplexers Implementation of Dual Basis Multiplier over GF(2^m)
p.3423

GPU Computation for Online Realtime Multi-Pattern Matching
p.3428

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 284-287Enhancement of Consistency of UML Diagrams by...

Enhancement of Consistency of UML Diagrams by Cross Checking Rules

Abstract:

UML is a rich semantic language, but it is difficult to ensure consistency of the diagrams you have written. In this paper, we propose cross checking rules to improve consistency among UML diagrams, especially between UML static and dynamic diagrams. We derive integrated metamodels in order to reflect more clear interactions of UML elements in the checking rules and use OCL(Object Constraint Language) to represent the checking rules accurately. By comparing with the well-formed rules of UML specification, we study on consistency of UML diagrams. We also derive integrated metamodels of static and dynamic diagrams by analyzing the relationships of UML diagrams. Finally, we test the usability of derived rules through a case study.

You might also be interested in these eBooks

Innovation for Applied Science and Technology

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 284-287)

Pages:

3409-3412

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.284-287.3409

Citation:

Cite this paper

Online since:

January 2013

Authors:

Ilk Yu Ha, Chong Gun Kim

Keywords:

Checking Rule, Consistency, Diagram, OCL, UML

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language User Guide, Second ed., Addison Wesley, (2005).

Google Scholar

[2] T. Quatrani, Visual Modeling with Rational Rose 2000 and UML, Addison Wesley, (2000).

Google Scholar

[3] J. Warmer, A. Kleppe, The Object Constraint Language Precise Modeling with UML, Addison Wesley, (1998).

Google Scholar

[4] F. J. Lucas, F. Molina, A. Toval, A systematic review of UML model consistency management, Information and Software Technology, vol. 51 (2009), 1631-1645.

DOI: 10.1016/j.infsof.2009.04.009

Google Scholar

[5] M. Usman, A. Nadeem, A survey of consistency checking techniques for UML models, Proc. of Advanced Software Engineering & Its Applications 2008, (2008), 57-62.

DOI: 10.1109/asea.2008.40

Google Scholar

[6] R.F. Paige, P.J. Brooke, J.S. Ostroff, Metamodel-based model conformance and multiview consistency checking, ACM Trans. on Software Engineering and Methodology, vol. 16 (2007), 1-48.

DOI: 10.1145/1243987.1243989

Google Scholar

[7] G. Engles, J. H. Hausmann, R. Heckel, S. Sauer, Testing the Consistency of Dynamic UML diagrams, Proc. of the 6th Integrated Design and Process Science 2002, (2002), 1-9.

Google Scholar

[8] A. Egyed, Instant Consistency Checking for the UML, Proc. of the 28th International Conference on Software Engineering, (2006), 381-390.

DOI: 10.1145/1134285.1134339

Google Scholar

[9] M. Gogolla, M. Richters, USE: A UML-based specification environment for validating UML and OCL, Science of Computer Programming, vol. 69 (2007), 27-34.

DOI: 10.1016/j.scico.2007.01.013

Google Scholar