Ciência-IUL
Publicações
Descrição Detalhada da Publicação
Título Revista
IADIS: International Journal on Computer Science and Information Systems
Ano (publicação definitiva)
2013
Língua
Inglês
País
Portugal
Mais Informação
Web of Science®
Scopus
Esta publicação não está indexada na Scopus
Google Scholar
Abstract/Resumo
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.
Agradecimentos/Acknowledgements
--
Palavras-chave
Finite satisfiability, Class diagrams, Unified Modeling Language