TY - GEN
T1 - A rule-based system for assessing consistency between UML models
AU - Zapata, Carlos Mario
AU - González, Guillermo
AU - Gelbukh, Alexander
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=38149029054&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-76631-5_21
DO - 10.1007/978-3-540-76631-5_21
M3 - Contribución a la conferencia
SN - 9783540766308
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 215
EP - 224
BT - MICAI 2007
PB - Springer Verlag
T2 - 6th Mexican International Conference on Artificial Intelligence, MICAI 2007
Y2 - 4 November 2007 through 10 November 2007
ER -