UMLSlicer: A tool for modularizing the UML metamodel using slicing

Proceedings - 2008 IEEE 8th International Conference on Computer and Information Technology, CIT 2008

Volumn , Issue , 2008, Pages 772-777

  Bae, Jung Ho ^a   Chae, Heung Seok ^a  

^a Pusan National University   (South Korea)

Author keywords

Consistency checking and UML modeling tool; Model slicing; UML metamodel; Verification and validation

Indexed keywords

CHLORINE COMPOUNDS; CLASSIFICATION (OF INFORMATION); COMPUTER SIMULATION LANGUAGES; GRAPHIC METHODS; INFORMATION TECHNOLOGY; TECHNOLOGY;

CONSISTENCY CHECKING AND UML MODELING TOOL; INTERNATIONAL CONFERENCES; LARGE SIZES; META MODELLING; META-MODELS; MODEL ELEMENTS; MODEL SLICING; MODELING TOOLS; REDUCED-SIZE; U ML DIAGRAMS; UML METAMODEL; UML MODELING; VERIFICATION AND VALIDATION;

UNIFIED MODELING LANGUAGE;

EID: 51849101623     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CIT.2008.4594772     Document Type: Conference Paper

References (18)

1. MDT. http://www.eclipse.org/modeling/mdt.
2. Together. http://www.borland.com/us/products/together.
3. UML specification. http://www.omg.org/cgibin/doc?formal/05-07-04.
4. UML2.1.1. http://www.uml.org.
5. J. Alghamdi, R. A. Rufai, and S. M. Khan. OOMeter: A software quality assurance tool. In CSMR, pages 190-191, 2005.
6. A. David, M. O. Moller, and W. Yi. Formal verification of UML Statecharts with real-time extensions. In FASE, pages 218-232, 2002.
7. G. Engels, R. Heckel, and J. M. Küster. Rule-based specification of behavioral consistency based on the UML metamodel. In UML, pages 272-286, 2001.
8. W. Fangjun and Y. Tong. Dependence analysis for UML class diagrams. Journal of Electronics, 21(3):249-254, 2004.
9. Z. Huzar, L. Kuzniarz, G. Reggio, and J.-L. Sourrouille. Consistency problems in UML-based software development. In UML Satellite Activities, pages 1-12, 2004.
10. H. H. Kagdi, J. I. Maletic, and A. Sutton. Context-free slicing of UML class models. In ICSM, pages 635-638, 2005.
11. E. Korshunova, M. Petkovic, M. G. J. van den Brand, and M. R. Mousavi. CPP2XMI: Reverse engineering of UML class, sequence, and activity diagrams from c++ source code. In WCRE, pages 297-298, 2006.
12. C. F. J. Lange, M. A. M. Wijns, and M. R. V. Chaudron. MetricViewEvolution: UML-based views for monitoring model evolution and quality. In CSMR, pages 327-328, 2007.
13. S. Li and L. Tahvildari. A service-oriented componentization framework for Java software systems. In WCRE, pages 115-124, 2006.
14. Y. L. Lionel C. Briand, Massimiliano Di Penta. Assessing and improving state-based class testing: A series of experiments. IEEE TSE, 30(11):770-793, 2004.
15. Y. Qin, H. Hao, L. Jun, G. Jidong, and L. Jian. An approach to ensure service behavior consistency in osgi. apsec, 0:185-192, 2005.
16. J. Simmonds and M. C. Bastarrica. A tool for automatic UML model consistency checking. In ASE '05, pages 431-432. ACM Press, 2005.
17. G. Sunyé, D. Pollet, Y. L. Traon, and J.-M. Jézé quel. Refactoring UML models. In UML, pages 134-148, 2001.
18. M. Weiser. Program slicing. In ICSE, pages 439-449, 1981.