A rule-based system for assessing consistency between UML models

Carlos Mario Zapata; Guillermo González; Alexander Gelbukh

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

A rule-based system for assessing consistency between UML models

Carlos Mario Zapata, Guillermo González, Alexander Gelbukh

Centro de Investigación en Computación (CIC)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

9 Scopus citations

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.

Original language	English
Title of host publication	MICAI 2007
Subtitle of host publication	Advances in Artificial Intelligence - 6th Mexican International Conference on Artificial Intelligence, Proceedings
Publisher	Springer Verlag
Pages	215-224
Number of pages	10
ISBN (Print)	9783540766308
DOIs	https://doi.org/10.1007/978-3-540-76631-5_21
State	Published - 2007
Event	6th Mexican International Conference on Artificial Intelligence, MICAI 2007 - Aguascalientes, Mexico Duration: 4 Nov 2007 → 10 Nov 2007

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	4827 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	6th Mexican International Conference on Artificial Intelligence, MICAI 2007
Country/Territory	Mexico
City	Aguascalientes
Period	4/11/07 → 10/11/07

Access to Document

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

Cite this

Zapata, C. M., González, G., & Gelbukh, A. (2007). A rule-based system for assessing consistency between UML models. In MICAI 2007: Advances in Artificial Intelligence - 6th Mexican International Conference on Artificial Intelligence, Proceedings (pp. 215-224). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4827 LNAI). Springer Verlag. https://doi.org/10.1007/978-3-540-76631-5_21

Zapata, Carlos Mario ; González, Guillermo ; Gelbukh, Alexander. / A rule-based system for assessing consistency between UML models. MICAI 2007: Advances in Artificial Intelligence - 6th Mexican International Conference on Artificial Intelligence, Proceedings. Springer Verlag, 2007. pp. 215-224 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{b6729261d72e4fca9ee2637b5ecfe95b,

title = "A rule-based system for assessing consistency between UML models",

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.",

author = "Zapata, {Carlos Mario} and Guillermo Gonz{\'a}lez and Alexander Gelbukh",

year = "2007",

doi = "10.1007/978-3-540-76631-5_21",

language = "Ingl{\'e}s",

isbn = "9783540766308",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "215--224",

booktitle = "MICAI 2007",

address = "Alemania",

note = "6th Mexican International Conference on Artificial Intelligence, MICAI 2007 ; Conference date: 04-11-2007 Through 10-11-2007",

}

Zapata, CM, González, G & Gelbukh, A 2007, A rule-based system for assessing consistency between UML models. in MICAI 2007: Advances in Artificial Intelligence - 6th Mexican International Conference on Artificial Intelligence, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4827 LNAI, Springer Verlag, pp. 215-224, 6th Mexican International Conference on Artificial Intelligence, MICAI 2007, Aguascalientes, Mexico, 4/11/07. https://doi.org/10.1007/978-3-540-76631-5_21

A rule-based system for assessing consistency between UML models. / Zapata, Carlos Mario; González, Guillermo; Gelbukh, Alexander.
MICAI 2007: Advances in Artificial Intelligence - 6th Mexican International Conference on Artificial Intelligence, Proceedings. Springer Verlag, 2007. p. 215-224 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4827 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 -

Zapata CM, González G, Gelbukh A. A rule-based system for assessing consistency between UML models. In MICAI 2007: Advances in Artificial Intelligence - 6th Mexican International Conference on Artificial Intelligence, Proceedings. Springer Verlag. 2007. p. 215-224. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-76631-5_21

A rule-based system for assessing consistency between UML models

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this