Raffinement Et Refactoring de Spécifications UML » książka
Raffinement Et Refactoring de Spécifications UML
ISBN-13: 9786131574573 / Francuski / Miękka / 2018 / 184 str.
La spA(c)cification de systA]mes complexes est une tA che difficile qui ne peut Aatre accomplie en une seule A(c)tape. Dans les mA(c)thodes formelles, le concept de raffinement a donnA(c) lieu A de nombreux travaux dans lesquels la preuve de la correction entre les diffA(c)rents A(c)tats de spA(c)cifications joue un rAle important. L'activitA(c) de refactoring consiste A restructurer un modA]le en vue d'amA(c)liorer certains facteurs de qualitA(c), tout en prA(c)servant la cohA(c)rence de ce modA]le.Ce travail prA(c)conise l'utilisation de deux techniques de raffinement et de refactoring afin d'A(c)tablir des modA]les UML de qualitA(c) c'est-A -dire corrects par construction, extensibles, rA(c)utilisables et efficaces. En outre, elle plaide en faveur de l'utilisation conjointe UML (semi-formel) et B et CSP (formels). Les principales contributions de ce travail sont: proposition des patterns de raffinement de diagrammes de classes UML/OCL afin de guider le concepteur lors de la modA(c)lisation statique de son application et proposition des schA(c)mas de refactoring des modA]les UML dA(c)crits par des diagrammes de classes, contraintes OCL et diagrammes d'A(c)tats-transitions afin d'aider le concepteur lors de la restructuration des modA]les UML.
La spécification de systèmes complexes est une tâche difficile qui ne peut être accomplie en une seule étape. Dans les méthodes formelles, le concept de raffinement a donné lieu à de nombreux travaux dans lesquels la preuve de la correction entre les différents états de spécifications joue un rôle important. Lactivité de refactoring consiste à restructurer un modèle en vue daméliorer certains facteurs de qualité, tout en préservant la cohérence de ce modèle.Ce travail préconise lutilisation de deux techniques de raffinement et de refactoring afin détablir des modèles UML de qualité cest-à-dire corrects par construction, extensibles, réutilisables et efficaces. En outre, elle plaide en faveur de lutilisation conjointe UML (semi-formel) et B et CSP (formels). Les principales contributions de ce travail sont: proposition des patterns de raffinement de diagrammes de classes UML/OCL afin de guider le concepteur lors de la modélisation statique de son application et proposition des schémas de refactoring des modèles UML décrits par des diagrammes de classes, contraintes OCL et diagrammes détats-transitions afin daider le concepteur lors de la restructuration des modèles UML.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
