Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet
type: Dataset
description: The coupling of object-oriented approaches with the B method makes improvement the activities of software specification and development. The B method provides notations for the specification and powerful tools, allowing to specify and verify models. The object-oriented approaches provide interesting mechanisms for the structuring and the development of large systems. The contribution of this thesis deals with the activities of coupling between these two formalisms by using the B provers to validate and verify UML specifications. By extending the derivation of UML to B of preceding works realised in the Dedale research group, we propose an approach of the derivation to B of the UML meta-models, the static diagrams and the dynamic diagrams. The aim of this proposition is to check semantics and coherence between different diagrams of UML specification. Our thesis brings also a contribution to the development of objects oriented specifications using B. The first proposition concerns the taking into account some types of association between classes during the derivation to B. The second relates the validation of object-oriented specifications described by UML2.0 sequence diagrams.
landing page: https://theses.hal.science/tel-00080852
keyword: b_
keyword: formal-verification
keyword: infoeu-reposemanticsdoctoralthesis
keyword: infoinfo-secomputer-science-cssoftware-engineering-csse
keyword: object-oriented-specification
keyword: obligations-de-preuve
keyword: proof-obligations
keyword: specification-orientee-objets
keyword: theses
keyword: uml
keyword: validation
keyword: verification-formelle
issued: 2026-05-11T16:13:12.995437
modified: 2026-05-11T16:13:12.995442
language: fr
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet
type: Distribution
format: HTML
access URL: https://theses.hal.science/tel-00080852
issued: 2026-05-11T16:13:13.001067
modified: 2026-05-11T16:13:12.976349