A USEFUL LOGICAL SEMANTICS OF UML FOR QUERYING AND CHECKING UML CLASS DIAGRAM

Thomas Raimbault, David Genest, Stéphane Loiseau

Abstract

In Knowledge Engineering, UML class diagram is the defacto standard for modeling object oriented systems. We propose a way for logical reasoning on UML class diagram, concerning querying and checking class diagram. First, we define an original logical semantics to UML class diagram. Our approach differs from other existing works, because we use a same set of predicates to translate any class diagram instead of other “ad hoc” approaches. Second, we extend UML, especially with variable and bicoloration, to express query and constraint into the visual environment of (extended-)UML.

References

  1. Akkerman, H., Anjewierden, A., Hoog, R. D., Shadbolt, N., de Welde, W. V., and Wielenga, B. (1999). Knowledge engineering and management: the CommonKads methodology. MIT Press.
  2. Beckert, B., Keller, U., and Schmitt, P. H. (2002). Translating the Object Constraint Language into First-order Predicate Logic. In Proc.of VERIFY, Workshop at FLoC'02.
  3. Berardi, D., Calvanese, D., and De Giacomo, G. (2005). Reasoning on UML class diagrams. Artificial Intelligence, 168(1):70-118.
  4. Booch, G., Jacobson, C., and Rumbaugh, J. (1998). The Unified Modeling Language - a reference manual. Addison Wesley.
  5. Chein, M. and Mugnier, M.-L. (1992). Conceptual Graphs: Fundamental Notions. Revue d'intelligence artificielle, 6(4):365-406.
  6. Chein, M. and Mugnier, M.-L. (1997). Positive nested conceptual graphs. In Proc. of ICCS'97, volume 1257 of LNAI, pages 95-109. Springer.
  7. OMG. UML 2.0 Object Constraint Language Specification. http://www.omg.org/docs/ptc/03-10-14.
  8. OMG. Unified Modeling Language Specification: Infrastructure, v2.0. http://www.omg.org/cgibin/doc?ptc/04-10-14.
  9. OMG. Unified Modeling Language Specification: Superstructure, v2.0. http://www.omg.org/cgibin/doc?formal/05-07-04.
  10. Rosati, R. (2007). The Limits of Querying Ontologies. In Proceedings of 11th International Conference in Database Theory (ICDT'07), volume 4353 of Lecture Notes in Computer Science (LNCS), pages 164-178. Springer.
  11. Soon-Kyeong, K. and Carrington, D. (2000). A Formal Mapping between UML Models and Object-Z Specifications. In Proc. of ZB 7800, volume 1878 of LNCS, pages 2-21. Springer.
  12. Wermelinger, M. Conceptual Graphs and First-Order Logic. pages 323-337.
Download


Paper Citation


in Harvard Style

Raimbault T., Genest D. and Loiseau S. (2009). A USEFUL LOGICAL SEMANTICS OF UML FOR QUERYING AND CHECKING UML CLASS DIAGRAM . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, ISBN 978-989-8111-66-1, pages 179-184. DOI: 10.5220/0001556101790184


in Bibtex Style

@conference{icaart09,
author={Thomas Raimbault and David Genest and Stéphane Loiseau},
title={A USEFUL LOGICAL SEMANTICS OF UML FOR QUERYING AND CHECKING UML CLASS DIAGRAM},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,},
year={2009},
pages={179-184},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001556101790184},
isbn={978-989-8111-66-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 1: ICAART,
TI - A USEFUL LOGICAL SEMANTICS OF UML FOR QUERYING AND CHECKING UML CLASS DIAGRAM
SN - 978-989-8111-66-1
AU - Raimbault T.
AU - Genest D.
AU - Loiseau S.
PY - 2009
SP - 179
EP - 184
DO - 10.5220/0001556101790184