Raffinement Et Refactoring de Sp?ifications 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. L'activit? de refactoring consiste ? restructurer un mod?le en vue d'am?liorer certains facteurs de qualit?, tout en pr?servant la coh?rence de ce mod?le.Ce travail pr?conise l'utilisation de deux techniques de raffinement et de refactoring afin d'?tablir des mod?les UML de qualit? c'est-?-dire corrects par construction, extensibles, r?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 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 d'aider le concepteur lors de la restructuration des mod?les UML.

Author: Ammar-B

Publisher: Omniscriptum

Publication Date: Feb 28, 2018

Number of Pages: 184 pages

Binding: Paperback or Softback

ISBN-10: 613157457X

ISBN-13: 9786131574573