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

Thomas Raimbault, David Genest, Stéphane Loiseau

2009

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.

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