Validating Distributed Software Modeled with the Unified Modeling Language - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

Validating Distributed Software Modeled with the Unified Modeling Language

Résumé

The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distributed systems (latency, error recovery, etc), leading to numerous problems such as deadlocks, race conditions, and many difficulties in trying to reproduce such error conditions and debug them. The OO technology is ill-equipped to deal with this dimension of the problem. On the other hand, the willingness of mastering this complexity in the context of telecommunication protocols gave birth to specific formal verification and validation tools. The aim of this paper is to explore how the underlying technology of these tools could be made available to the designer of OO distributed software. We propose a framework allowing the integration of formal verification and validation technology in a seamless OO life-cycle based on UML, the Unified Modeling Language.
Fichier principal
Vignette du fichier
uml98.pdf (651.78 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03807931 , version 1 (18-10-2022)

Identifiants

Citer

Jean-Marc Jézéquel, Alain Le Guennec, François Pennaneac’h. Validating Distributed Software Modeled with the Unified Modeling Language. UML 1998 - First International Conference on the Unified Modeling Language, Jun 1998, Mulhouse, France. pp.365-377, ⟨10.1007/978-3-540-48480-6_28⟩. ⟨hal-03807931⟩
27 Consultations
19 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More