Abstract | ||
---|---|---|
Generating valid instantiations for a conceptual schema is instrumental in ensuring its quality by means of verification, validation or testing. This problem becomes even more challenging when we also require that the computed instantiations exhibit significant differences among them, i.e., they are diverse. In this work, we propose an automatic method that guarantees synthesizing a diverse set of instantiations from a conceptual schema by combining model finders, classifying terms and constraint strengthening techniques. This technique has been implemented in the USE tool for UML/OCL. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1007/978-3-030-33223-5_42 | CONCEPTUAL MODELING, ER 2019 |
Keywords | DocType | Volume |
Methodologies and tools for conceptual design, Quality of conceptual models, Integrity constraints | Conference | 11788 |
ISSN | Citations | PageRank |
0302-9743 | 0 | 0.34 |
References | Authors | |
0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Loli Burgueño | 1 | 146 | 20.64 |
Jordi Cabot | 2 | 1677 | 132.70 |
Robert Clarisó | 3 | 474 | 27.51 |
Martin Gogolla | 4 | 2398 | 578.76 |