We present a new method for graphically interrogating and checking UML class diagrams. We employ the model of conceptual graphs (CGs) as representation, calculation and visualisation model. The key idea of our work is to translate UML class diagrams into the formalism of CGs. First, UML notations are encoded into UML Ontology that is a support of CG. Second, using the UML Ontology, a UML class diagram can be translated into a CG, called CG class diagram. Third, CG class diagrams can be interrogated via the elementary operation of CG, named projection. Fourth, constraints and rules provides a way to model specifications for checking CG class diagrams. We use two approaches to check a class diagram: object-oriented specifications and field specifications. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Raimbault, T., Genest, D., & Loiseau, S. (2005). A new method to interrogate and check UML class diagrams. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3596 LNAI, pp. 353–366). Springer Verlag. https://doi.org/10.1007/11524564_24
Mendeley helps you to discover research relevant for your work.