Exportar Publicação

A publicação pode ser exportada nos seguintes formatos: referência da APA (American Psychological Association), referência do IEEE (Institute of Electrical and Electronics Engineers), BibTeX e RIS.

Exportar Referência (APA) 
Bastos, P. & Ramos, P. (2013). Finite satisfiability verification in UML class diagrams: a comparative study. IADIS: International Journal on Computer Science and Information Systems. 8 (1), 97-111
Exportar Referência (IEEE) 
P. R. Bastos and P. D. Ramos,  "Finite satisfiability verification in UML class diagrams: a comparative study", in IADIS: Int. Journal on Computer Science and Information Systems, vol. 8, no. 1, pp. 97-111, 2013
Exportar BibTeX 
@article{bastos2013_1715950701407,
	author = "Bastos, P. and Ramos, P.",
	title = "Finite satisfiability verification in UML class diagrams: a comparative study",
	journal = "IADIS: International Journal on Computer Science and Information Systems",
	year = "2013",
	volume = "8",
	number = "1",
	pages = "97-111",
	url = "http://www.iadisportal.org/ijcsis/papers/2013160107.pdf"
}
Exportar RIS 
TY  - JOUR
TI  - Finite satisfiability verification in UML class diagrams: a comparative study
T2  - IADIS: International Journal on Computer Science and Information Systems
VL  - 8
IS  - 1
AU  - Bastos, P.
AU  - Ramos, P.
PY  - 2013
SP  - 97-111
SN  - 1646-3692
UR  - http://www.iadisportal.org/ijcsis/papers/2013160107.pdf
AB  - Unified Modeling Language class diagrams are widely used for modeling, playing a key role in the
analysis and design of information systems, especially in development contexts that use modeling
oriented methodologies. Therefore, it is relevant to ensure the creation and maintenance of correct class
diagrams. With the use of class diagrams it is possible to specify classes, relations and restrictions,
however, such diagrams are subject to modeling errors made by their authors and may degenerate into
incorrect diagrams. A common cause of incorrect diagrams refers to the definition of contradictory and
inconsistent constraints, leading to finite satisfiability problems. Several approaches to the verification of
finite satisfiability are currently available, supported by different tools. Through this work, we proceed
with the identification and comparison of the existing approaches for the verification of finite
satisfiability in class diagrams, determining the effectiveness and efficiency of the proposed tools.
ER  -