Formalization Of Uml Communication Diagrams Using Π-calculus
Résumé: UML is a general-purpose modeling language for object oriented systems. UML suffers from lack of semantics design due to its semi-formal structure. Formal methods have been used largely in order to deal with this problem. This paper presents a formalization of UML communication diagrams (collaboration diagrams in UML 1.x) semantics using π-calculus computation model. The formalization provides a formal theoretical basis as well as formal analysis and checking for UML communication diagrams. We illustrate our approach by an example in order to explain the general purpose usability of our approach for a wider audience. It also illustrates a practical usage which proved the effectiveness of the translation.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
