A useful logical semantics of UML for querying and checking UML class diagram

Thomas Raimbault; David Genest; Stéphane Loiseau

ACCUEIL
DÉPOSER
RECHERCHER
THÈSES & HDR
AIDE AU DEPÔT
CONSULTER
ASSISTANCE
OUTILS & SERVICES

Communication dans un congrès

A useful logical semantics of UML for querying and checking UML class diagram

Thomas Raimbault ^{1, 2} David Genest ² Stéphane Loiseau ²

1 LINA - Laboratoire d'Informatique de Nantes Atlantique

2 LERIA - Laboratoire d'Etudes et de Recherche en Informatique d'Angers

Thomas Raimbault ^{1, 2} AuthorId : 11488938

Auteur IdHAL : thomas-raimbault ORCID : https://orcid.org/0000-0001-9373-9231

David Genest ² AuthorId : 427627

Auteur IdHAL : david-genest ORCID : https://orcid.org/0000-0002-9773-358X

Stéphane Loiseau ² AuthorId : 12321268

Auteur

1 LINA - Laboratoire d'Informatique de Nantes Atlantique (LINA - Faculté des Sciences 2 rue de la Houssinière - BP 92208 44322 NANTES CEDEX 3 - France) StructId : 95421

CNRS - Centre National de la Recherche Scientifique : UMR6241 (France) StructId : 441569
Mines Nantes - Mines Nantes (La Chantrerie - 4, rue Alfred Kastler - BP 20722 - 44307 Nantes cedex 3 - France) StructId : 84538
UN - Université de Nantes (1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1 - France) StructId : 93263

2 LERIA - Laboratoire d'Etudes et de Recherche en Informatique d'Angers (Université d'Angers, LERIA - Facultés des Sciences, 2 Boulevard Lavoisier, Bâtiments G et H - 49045 Angers CEDEX 01 - France) StructId : 6258

UA - Université d'Angers : EA2645 (Université d'Angers - 40 Rue de Rennes, BP 73532 - 49035 Angers CEDEX 01 - France) StructId : 74911

Type de document :

Communication dans un congrès

Domaine :

Informatique [cs]

Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03255577
Contributeur : Okina Université d'Angers <>
Soumis le : mercredi 9 juin 2021 - 16:08:33
Dernière modification le : jeudi 10 juin 2021 - 03:39:58

Identifiants

HAL Id : hal-03255577, version 1
OKINA : ua4499

Collections

UNIV-ANGERS | LINA | UNIV-NANTES | CNRS | LERIA

Citation

Thomas Raimbault, David Genest, Stéphane Loiseau. A useful logical semantics of UML for querying and checking UML class diagram. International Conference on Agents and Artificial Intelligence, ICAART 2009, 2009, Porto, Portugal. pp.179 - 184. ⟨hal-03255577⟩

A useful logical semantics of UML for querying and checking UML class diagram

Identifiants

Collections

Citation

Exporter

Métriques

9

A useful logical semantics of UML for querying and checking UML class diagram

Identifiants

Collections

Citation

Exporter

Partager

Métriques

9