Vers un système formel : Etude des incohérences sémantiques d'UML : Vue et corrigées par la programmation par contraintes

Notice brève
dc.contributor.authorMAMI Mohammed Amine
dc.date.accessioned2022-11-23T15:54:11Z
dc.date.available2022-11-23T15:54:11Z
dc.date.issued2006-11-14
dc.description.abstractDe plus en plus, les méthodes formelles sortent des prototypes des laboratoires pour s'attaquer à des applications industrielles et pour compléter les outils et langages non formels ou semi-formels afin de les rendre optimaux et sûres. Parmi ses langages, UML, vu son emprunt dans le monde de la modélisation et son progrès fracassants, est placé parmi les outils les plus utilisés sinon le plus convoité. Mais cela par sa spécificité semi-formelle l'existence des problèmes (dans notre étude ses problèmes ont une notation strictement sémantique) peuvent être éliminés en y intégrant des contraintes CSP et qui fait office de partie formelle. Ce jumelage reste, par contre, juste un prélude pour des travaux futurs dans le domaine de la formalisation du langage UML que nous espérons avec l'intégration d'un autre outil formel qu'est les réseaux de Pétri (un des outils les plus puissants dans le domaine de la modélisation) porteur de bonne solutions pour un langage qui, dans un avenir proche, prendra une place au sommet.
dc.identifier.urihttps://dspace.univ-oran1.dz/handle/123456789/1026
dc.language.isofr
dc.subjectUML
dc.subjectCSP
dc.subjectProgrammation par contraintes
dc.subjectLangage
dc.subjectFormel
dc.subjectSemi-formel
dc.subjectNon Formel
dc.subjectModélisation
dc.subjectSemantique
dc.titleVers un système formel : Etude des incohérences sémantiques d'UML : Vue et corrigées par la programmation par contraintes
grade.Co-rapporteurG. BELALEM, Chargé de cours, Université d’Oran
grade.ExaminateurB.BELJILALI, Maître de conférences, Université d’Oran
grade.ExaminateurA. BENYETTOU, Professeur, Université d’Oran
grade.OptionInformatique et Automatique
grade.PrésidentD. BENHAMAMOUCH, Maître de conférences, Université d’Oran
grade.RapporteurM.F. KHELFI, Maître de conférences, Université d’Oran
la.SpécialitéInformatique
la.coteTH2325
Fichiers
Bundle original
Voici les éléments 1 - 1 sur 1
Vignette d'image
Nom :
TH2325.pdf
Taille :
6.64 MB
Format :
Adobe Portable Document Format
Description :
Télécharger
Collections
Mémoires de Magister "Informatique"