Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10071/10644
Autoria: | Bastos, P. Ramos, P. |
Data: | 2013 |
Título próprio: | Finite satisfiability verification in UML class diagrams: a comparative study |
Volume: | 8 |
Número: | 1 |
Paginação: | 97-111 |
ISSN: | 1646-3692 |
Palavras-chave: | Finite satisfiability Class diagrams Unified Modeling Language |
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. |
Arbitragem científica: | Sim |
Acesso: | Acesso Aberto |
Aparece nas coleções: | CTI-RI - Artigos em revistas científicas internacionais com arbitragem científica |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
publisher_version_IADIS.pdf | 278,96 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.