A new method to interrogate and check UML class diagrams

Authors:
Thomas Raimbault;David Genest;Stéphane Loiseau
Affiliations:
Laboratoire d'Etude et de Recherche d'Angers (LERIA), Université d'Angers, ANGERS Cedex 01, France;Laboratoire d'Etude et de Recherche d'Angers (LERIA), Université d'Angers, ANGERS Cedex 01, France;Laboratoire d'Etude et de Recherche d'Angers (LERIA), Université d'Angers, ANGERS Cedex 01, France
Venue:
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Year:
2005

Citing 6
Cited 0

Conceptual structures: information processing in mind and machine

Conceptual structures: information processing in mind and machine
Conceptual Graphs and First-Order Logic

ICCS '95 Proceedings of the Third International Conference on Conceptual Structures: Applications, Implementation and Theory
Positive Nested Conceptual Graphs

ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux

ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
A Pure Graph-Based Solution to the SCG-1 Initiative

ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Extensions of simple conceptual graphs: the complexity of rules and constraints

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.