Formalisation et vérification de modèles de styles architecturaux logiciels - Couverture souple

Dwivedi, Ashish Kumar

Couverture souple

ISBN 10 : 6202433671 ISBN 13 : 9786202433679

Editeur : Editions Notre Savoir, 2025

Synopsis

Dans cette étude, des modèles formels de systèmes ATM sont décrits à l'aide de langages basés sur les états tels que Z, B et Alloy, ainsi que de langages basés sur les événements tels que Monterey Phoenix. La vérification des modèles est effectuée à l'aide d'outils automatisés, à savoir Z/EVES, Atelier B et Alloy Analyzer pour les spécifications Z, B et Alloy respectivement. En outre, une analyse comparative des différentes caractéristiques présentées par diverses approches formelles a été présentée. L'architecture logicielle joue un rôle important dans la conception de haut niveau d'un système en termes de composants, de connecteurs et de configurations. Le principal élément constitutif de l'architecture logicielle est un style architectural qui fournit une sémantique de conception spécifique au domaine. Dans l'analyse des styles architecturaux complexes, nous avons tenté dans notre travail de formaliser un style complexe, par exemple C2 (composant et connecteur), à l'aide du langage de spécification formel Alloy. Pour vérifier la cohérence des notations de modélisation, nous utilisons l'outil de vérification de modèles Alloy Analyzer.

Détails de l'édition

• Éditeur: Editions Notre Savoir
• Date d'édition: 2025
• Langue: français
• ISBN 10: 6202433671
• ISBN 13: 9786202433679
• Reliure: Broché
• Nombre de pages: 88
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible