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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baget, J.F., Genest, D., Mugnier, M.L.: Knowledge acquisition with a pure graph-based knowledge representation model. In: Proc. of KAW 1999, vol. 2, pp. 7.1.1–7.1.20 (1999)
Baget, J.F., Genest, D., Mugnier, M.L.: A pure graph-based solution to the SCG-1 initiative. In: Tepfenhart, W.M. (ed.) ICCS 1999. LNCS (LNAI), vol. 1640, pp. 355–376. Springer, Heidelberg (1999)
Booch, G., Jacobson, C., Rumbaugh, J.: The Unified Modeling Language - a reference manual. Addison Wesley, Reading (1998)
Baget, J.F., Mugnier, M.L.: Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints. JAIR 16(12), 425–465 (2002)
Borland. Together software (2004), http://www.borland.com/together/
Chein, M., Mugnier, M.L.: Conceptual Graphs: Fundamental Notions. Revue d’intelligence artificielle 6(4), 365–406 (1992)
Chein, M., Mugnier, M.L.: Positive nested conceptual graphs. In: ICCS 1997 [ICC97], pp. 95–109
Chein, M., Mugnier, M.L.: Concept types and coreference in simple conceptual graphs. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol. 3127, pp. 303–318. Springer, Heidelberg (2004)
Chein, M., Mugnier, M.L., Simonet, G.: Nested graphs: A graph-based knowledge representation model with FOL semantics. In: Proc. of KR 1998, pp. 524–534. Morgan Kaufmann Publishers, San Francisco (1998)
Genest, D.: CoGITaNT 5.1.5 (2004), http://cogitant.sourceforge.net
Gentleware. Poseidon SE (2004), http://www.gentleware.com/
Haemmerlé, O.: La plate-forme CoGITo: manuel d’utilisation. Technical Report 95012, LIRMM (1995)
IBM. Rational rose (2004), http://www-306.ibm.com/software/rational/
Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.): ICCS 1997. LNCS, vol. 1257. Springer, Heidelberg (1997)
Kerdiles, G., Salvat, É.: A sound and complete CG proof procedure combining projection with analytic tableaux. In: ICCS 1997 [ICC97], pp. 371–385
Mugnier, M.L., Chein, M.: Représenter des connaissances et raisonner avec des graphes. Revue d’intelligence artificielle 10(1), 7–56 (1996)
OMG. XML Metadata Interchange (XMI) Specification (2002), http://www.omg.org/technology/documents/formal/xmi.htm
Salvat, É.: Theorem proving using graph operations in the conceptual graph formalism. In: Proc. of ECAI 1998 (1998)
Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)
Wermelinger, M.: Conceptual graphs and first-order logic. In: Malyshkin, V.E. (ed.) PaCT 1995. LNCS (LNAI), vol. 964, pp. 323–337. Springer, Heidelberg (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Raimbault, T., Genest, D., Loiseau, S. (2005). A New Method to Interrogate and Check UML Class Diagrams. In: Dau, F., Mugnier, ML., Stumme, G. (eds) Conceptual Structures: Common Semantics for Sharing Knowledge. ICCS 2005. Lecture Notes in Computer Science(), vol 3596. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11524564_24
Download citation
DOI: https://doi.org/10.1007/11524564_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27783-5
Online ISBN: 978-3-540-31885-9
eBook Packages: Computer ScienceComputer Science (R0)