Formalisme graphique de représentation de contraintes sémantiques UML

Formalisme graphique de représentation de contraintes sémantiques UML


49,90 €
inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

von Marc Philippe Parent

Beschreibung

L'utilisation à grande échelle de UML dans l'industrie informatique est en train d'en faire une norme incontournable pour toute activité de modélisation conceptuelle requise par l'informatisation de systèmes d'information. Toutefois, UML a ses limites. L'expression de contraintes sémantiques se fait par OCL (Object Constraint Language), langage basé sur la logique des prédicats du premier ordre. Les avantages d'avoir un formalisme formel, simple et graphique se perdent lorsque les contraintes associées au domaine doivent être décrites soit sous une forme textuelle, soit en logique des prédicats du 1er ordre. La méthodologie envisagée consiste donc en l'élaboration d'un formalisme graphique d'expression de contrainte de telle sorte que les contraintes ainsi exprimées puissent être automatiquement transformées en OCL. Les contraintes OCL peuvent alors être vérifiées afin qu'elles soient toutes satisfaites et qu'elles évitent l'introduction d'incohérence dans les données. Éventuellement, nous visons à ce que ces contraintes puissent s'assurer que la génération du code en tienne compte, d'où leur possible intégration à un outil de modélisation et de génération de code (outil CASE).


Tags: Informatik, EDV, Informatik


Taschenbuch - 9786131585975
Verlag: Editions universitaires europeennes EUE
Ersterscheinung: März 2014
ISBN-13: 9786131585975
Größe: 220 mm x 150 mm x 6 mm
Gewicht: 171 Gramm
104 Seiten
Versandfertig in 3-5 Tagen.