loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Thomas Raimbault ; David Genest and Stéphane Loiseau

Affiliation: Leria, University of Angers, France

Keyword(s): UML, First Order Logic, Knowledge Representation and Reasoning, Model-Based Reasoning, Knowledge Engineering, Visual Quering, Visual Checking, Positive Constraints, Negative Constrains.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Knowledge Representation and Reasoning ; Model-Based Reasoning ; Symbolic Systems

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.200.77.92

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - ICAART; ISBN 978-989-8111-66-1; ISSN 2184-433X, SciTePress, pages 179-184. DOI: 10.5220/0001556101790184

@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 - ICAART},
year={2009},
pages={179-184},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001556101790184},
isbn={978-989-8111-66-1},
issn={2184-433X},
}

TY - CONF

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