A Rule-Based System for Assessing Consistency Between UML Models

  • Carlos Mario Zapata
  • Guillermo González
  • Alexander Gelbukh
Conference paper

DOI: 10.1007/978-3-540-76631-5_21

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4827)
Cite this paper as:
Zapata C.M., González G., Gelbukh A. (2007) A Rule-Based System for Assessing Consistency Between UML Models. In: Gelbukh A., Kuri Morales Á.F. (eds) MICAI 2007: Advances in Artificial Intelligence. MICAI 2007. Lecture Notes in Computer Science, vol 4827. Springer, Berlin, Heidelberg

Abstract

The main goal of requirements specification is the transformation of a “rough draft” of stakeholder needs and expectations into a semi-formal specification, represented by several diagrams, commonly UML diagrams. These diagrams must be consistent with each other, but consistency among different UML diagrams is not defined by the UML specification, and the research about inter-model consistency is still immature. We propose, in this paper, a rule-based system to detect consistency problems among UML diagrams. In order to complete this task, we have defined a set of rules in OCL, and then we use a novel approach for implementing the system by means of Xquery and Xpath languages. The use of these languages helps the rule-based system to interact with traditional CASE tools.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Carlos Mario Zapata
    • 1
  • Guillermo González
    • 1
  • Alexander Gelbukh
    • 2
  1. 1.Escuela de Sistemas, Universidad Nacional de Colombia, Carrera 80 N° 65-23, Bloque M8. MedellínColombia
  2. 2.Computing Research Center (CIC), National Polytechnic Institute (IPN), Col. Zacatenco, 07738, DFMexico

Personalised recommendations