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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Zapata, C. M., González, G., & Gelbukh, A. (2007). A rule-based system for assessing consistency between UML models. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4827 LNAI, pp. 215–224). Springer Verlag. https://doi.org/10.1007/978-3-540-76631-5_21
Mendeley helps you to discover research relevant for your work.